Remix.run Logo
griffzhowl 5 hours ago

Yes, the misconception is to think Godel's theorem shows that there are true but unprovable statements.

In fact, what it means for a mathematical statement to be true is that it's provable. Godel showed that the concept of provability is much more subtle than following from a single axiom system, but it doesn't show that there's some kind of transcendent form of mathematical truth that doesn't depend on proof, in my view.