Undecidability: Difference between revisions

no edit summary
No edit summary
Tags: Mobile edit Mobile web edit
No edit summary
Tags: Mobile edit Mobile web edit
Line 1: Line 1:
{{A|myth|}}{{d|undecidability||n}}
{{A|myth|}}{{d|Undecidability|/ʌndɪˌsaɪdəˈbɪlɪtɪ/|n}}


''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.
''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.