82,853
edits
Undecidability: Difference between revisions
no edit summary
Amwelladmin (talk | contribs) (Created page with "{{A|myth|}} Kurt Gödel’<nowiki/>s earth-shattering idea, from his 1931 incompleteness theorems, that it is impossible to prove all axioms in a closed logic...") |
Amwelladmin (talk | contribs) No edit summary Tags: Mobile edit Mobile web edit |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{A| | {{A|bi|[[File:Fractal.jpg|frameless|450px|center]]}}{{d|Undecidability|/ʌndɪˌsaɪdəˈbɪlɪtɪ/|n}} | ||
[[Kurt Gödel|Kurt | ''Epistemology'': The pickle you get in when you manage to prove, by consistent and correct application of axioms in a closed logical system, that one cannot definitely prove anything, purely by consistent and correct application of axioms in a closed logical system. The inherent [[paradox]] at the heart of the [[enlightenment]]. The set of all sets whose members do not include themselves both does, and at the same time dies not, include itself. | ||
[[Kurt Gödel|Kurt Gödel]]’s earth-shattering idea, from his 1931 incompleteness theorems, that it is impossible to prove all axioms in a closed logical system, which in turn means it is possible to know everything and [[determinism]] is false. Hoorah! | |||
The theorems are widely interpreted as showing that Hilbert[[Kurt Gödel|’]]<nowiki/>s program to find a complete and consistent set of axioms for all mathematics is impossible. | The theorems are widely interpreted as showing that Hilbert[[Kurt Gödel|’]]<nowiki/>s program to find a complete and consistent set of axioms for all mathematics is impossible. | ||
| Line 14: | Line 16: | ||
* [[The Hitch-Hiker’s Guide to the Galaxy|Deep Thought]] | * [[The Hitch-Hiker’s Guide to the Galaxy|Deep Thought]] | ||
{{C|paradox}} | |||