The Diagonal Lemma: An Informal Exposition

Abstract

This is a completely informal presentation of the ideas behind the diagonal lemma. One really can't see this important result from too many different angles. This one aims at getting the main idea across. (For the cognoscenti, it is in the spirit of Quine's treatment in terms of "appended to its own quotation".)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

On the diagonal lemma of Gödel and Carnap.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (1):80-88.
Tarski’s Undefinability Theorem and the Diagonal Lemma.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (3):489-498.
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
An Exploration of Reflexivity.Harry Fan Lee - 1990 - Dissertation, Boston University
Existentially Closed Structures and Godel's Second Incompleteness Theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Wittgenstein’s analysis on Cantor’s diagonal argument.Chaohui Zhuang - manuscript
Putting right the wording and the proof of the Truth Lemma for APAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.
Dickson's Lemma and Higman's Lemma are Equivalent.Berger Josef - 2016 - South American Journal of Logic 2 (1):35-39.
On the Hamkins approximation property.William J. Mitchell - 2006 - Annals of Pure and Applied Logic 144 (1-3):126-129.
The logic of quantum systems with diagonal singularities.I. Antoniou & Z. Suchanecki - 1994 - Foundations of Physics 24 (10):1439-1457.
Парадокс лжеца и первая теорема геделя о неполноте.Vitaly Tselishchev - 2017 - Schole 11 (2):415-427.
Consistency and konsistenz.William Boos - 1987 - Erkenntnis 26 (1):1 - 43.
Yablo Without Gödel.Volker Halbach & Shuoying Zhang - 2017 - Analysis 77 (1):53-59.
Did Descartes make a Diagonal Argument?Toby Meadows - 2021 - Journal of Philosophical Logic 51 (2):219-247.

Analytics

Added to PP
2022-07-04

Downloads
220 (#87,275)

6 months
52 (#77,901)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Kimberly Heck
Brown University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references