0
$\begingroup$

Is there a analysis conjecture proven to be unprovable or a proof is non-existence?

So, is it once a math history milestone

  • 0
    why two downvote2012-06-28
  • 1
    There is a large number of assertions of analysis that have been proved independent of ZFC.2012-06-28
  • 0
    @AndréNicolas - Maybe you could explain what is a ZFC in your answer.2012-06-28
  • 3
    @Victor Google "ZFC" and click the first result, which for me is the Wikipedia page on Zermelo–Fraenkel set theory (+ Choice). This is usually assumed to be the underpinning of mathematics. If you want to worry about provability, you should probably read that page.2012-06-28
  • 0
    Victor, did you mean to ask "why two upvotes"?2012-06-28

1 Answers 1

4

There is a large number of statements in analysis that have been proved independent of the axioms of ZFC. For a partial list, see this. A fair number of them are questions that had already been asked, and worked on seriously, long before they were proved independent.

Added: ZFC is Zermelo-Fraenkel set theory, with Axiom of Choice added. It is currently, and has been for quite a while, the standard "background theory" for most of mathematics.