3 ms·
To be clear this is an explanation of the consequences of Gödel's Incompleteness Theorem
by VMG 15y ago
To be clear this is an explanation of the consequences of Gödel's Incompleteness Theorem
- zipdog 15y agoExactly. 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.
- shareme 15y agoOr to put another way .. reducing a holy book to logic analysis of text still produces something not reliable..
- baddox 15y agoIs that so? I think you mean that this is an explanation of the theorem, but not of a proof of the theorem.
- VMG 15y agoYou 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.