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

Makinson, D. (2015). Gödel’s Master Argument: what is it, and what can it do? IfCoLog Journal of Logics and their Applications, 2(2), 1-16.
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

Export as

EndNote BibTeX Reference Manager Refer Atom Dublin Core JSON Multiline CSV
Export