Hacker News new | past | comments | ask | show | jobs | submit login

To be clear this is an explanation of the consequences of Gödel's Incompleteness Theorem



Exactly. An "explain like I'm twelve" for Godel's Incompleteness Theorum itself would revolve around the idea of self-referential statements (such as 'the set of all sets which don't contain themselves', or 'the barber of Seville shaves everybody who doesn't shave themselves').

In my understanding, Godel created a system that mapped statements to numbers, and then looked at the numbers that represented statements like 'this statement is provable' and found a way to show that the equivalent number had a property that wasn't provable.


Or to put another way ..

reducing a holy book to logic analysis of text still produces something not reliable..


Is that so? I think you mean that this is an explanation of the theorem, but not of a proof of the theorem.


You are correct - I was expecting an explanation of the proof because that's the part that is more difficult for me to understand, not because it was advertised.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: