I'm suspicious of the phrase 'true but unprovable'. Sounds to me like 'green, but uncoloured'.
Gödel's proof in the form of an example of a true, unprovable thing. That it is hard to understand is a given.
-
-
Apparently it's hard to understand that if that's the only example, it's almost certainly merely an error. If it predicts nothing, it is nothing.
-
If it was the only example it wouldn't be interesting. The proof is that /any/ sufficiently-powerful formal system /must/ contain true but unprovable statements.
-
If you can solve this quandary in mathematical terms, you can get the great project back on track. Can you?
-
Actually, I can't get the great project back on track, because nobody would listen anyway.
-
And in any case, the proof that Godel merely made an error doesn't prove that the project is doable. However, it does prove that mathematicians can be thoroughly fooled.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.