logoalt Hacker News

dahart • today at 2:58 PM • 0 replies • view on HN

> of course it can’t?

If obvious, can you prove it without reading Gödel’s proof or anyone else’s?

The important (2nd) part of Gödel’s proof is not that a model can’t contain all truth, it’s that a model cannot prove itself true, which is a far stronger statement than the intuition you describe. Of course, belief that your own intuition is independent of history is also highly questionable; you were raised and educated in an environment in which people were already aware of Gödel. It’s like saying the number zero is obvious (which it is now) despite the fact that it took thousands of years before it was used formally as a number. There was a time when it wasn’t obvious to the smartest people alive.

Note that formal axiomatic systems aren’t physical systems; what Gödel was talking about and what George Box was talking about are related but somewhat different concepts. It is obvious in physics that a parabolic ballistic trajectory model doesn’t account for air turbulence. It’s not at all obvious that all of math itself is guaranteed to produce contradictions and cannot prove itself, especially if you’re allowed to change math or use any system you want.