4
$\begingroup$

I was thinking about the incompleteness theorem. In a book it said that say RH might be unprovable and that a Mathematician could be working on a problem that is unprovable. But, was wondering is it even worse than that.

Are there problems such that it's unprovable, but cannot be proven unprovable. So the problem wouldn't be able to be solved by a Mathematician and the Mathematician will never know if it can be solved.

  • 2
    Sure, but one will find many interesting things along the way.2012-04-05
  • 1
    @AndréNicolas so the answer is yes? I didn't think Mathematics was that bad. Who has proven this?2012-04-05
  • 1
    This might be of interest: http://math.stackexchange.com/questions/65248/are-there-statements-that-are-undecidable-but-not-provably-undecidable2012-04-05
  • 0
    @simplicity: Folklore, I do not have specific reference. Can push through a proof, it is easy to see what to do. As to "that bad," Incompleteness does not prevent beautiful results from being proved every year.2012-04-05
  • 1
    @simplicity: "didn't think mathematics was that bad". Ooh, so much to learn.2012-04-05
  • 0
    @DejanGovc Is there a more general proof that isn't based on ZFC?2012-04-05
  • 7
    The word "unprovable" makes it easy to confuse oneself, because it invites thinking that "unprovable" is a property of a particular formula _in itself_. Really, however, it is a _relation_ between a formula and a particular set of axioms/assumptions. So, you want a sentence $\phi$ such that $T\not\vdash \phi$ but $S\not\vdash (T\not\vdash \phi)$ for some theories $S$ and $T$? Do you require that $S$ and $T$ are the same theory?2012-04-05

1 Answers 1