6 ms·
This is my layman's understanding of Godel's incompleteness theorems: Any set of axioms powerful enough to decide all its theorems will always have inconsistenc
by RockofStrength 15y ago
This is my layman's understanding of Godel's incompleteness theorems: Any set of axioms powerful enough to decide all its theorems will always have inconsistencies in its theorems (e.g. "if true then false"). To be consistent, the set of axioms must be incomplete (some of its theorems are undecidable).
The following sentences have some of the 'flavor' of Godel's theorems:
"This sentence is false." →if true, then false.
"These are not words." →if true, then irreconcilable with its own truth.
- cdog46 15y agoThank god-you are one of the rare individuals who can use the English language to explain a complex idea. The hideous bias I have encountered in the "hi tech" world is because my mind works like yours and I have always found your talent to be rare gem. Why anyone would think the reduction of complexity into simple terms means putting it into "12 year old" terms is beyond me. So I remain an exile.