Gödel’s Master Argument: what is it, and what can it do?

Makinson, David (2015) Gödel’s Master Argument: what is it, and what can it do? IfCoLog Journal of Logics and their Applications, 2 (2). pp. 1-16. ISSN 2055-3706
Copy

This text is expository. We explain Gödel’s ‘Master Argument’ for incompleteness as distinguished from the 'official' proof of his 1931 paper, highlight its attractions and limitations, and explain how some of the limitations may be transcended by putting it in a more abstract form that makes no reference to truth.


picture_as_pdf
subject
Published Version

Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads