On the diagonal lemma of Gödel and Carnap

DOI10.1017/BSL.2019.58MaRDI QIDQ3386609zbMATH OpenOpenAlexWikidataFDO

Authors Saeed Salehi

Publication date 5 January 2021

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/bsl.2019.58

zbMATH Keywords

Carnapself-referencediagonal lemmaBerry's paradoxGödel's incompleteness theoremTarski's undefinability theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Tarski’s Undefinability Theorem and the Diagonal Lemma
• A simple character string proof of the ``true but unprovable version of Gödel's first incompleteness theorem
• scientific article; zbMATH DE number 5037238
• The incompleteness theorems after 70 years
• Other Proofs of Old Results

Cites work

• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 1215494 (Why is no real title available?)
• scientific article; zbMATH DE number 1327755 (Why is no real title available?)
• scientific article; zbMATH DE number 1550362 (Why is no real title available?)
• An introduction to Gödel's theorems
• Boolos-style proofs of limitative theorems
• Computability and Logic
• Extensions of some theorems of Gödel and Church
• Kleene's amazing second recursion theorem
• Naming and Diagonalization, from Cantor to Godel to Kleene
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• The incompleteness theorems after 70 years
• The surprise examination paradox and the second incompleteness theorem
• Undecidable theories
• Why Do Mathematicians Re-prove Theorems?
• Why prove it again? Alternative proofs in mathematical practice. With the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub

Cited in

(6)

• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Tarski’s Undefinability Theorem and the Diagonal Lemma
• scientific article; zbMATH DE number 7340563 (Why is no real title available?)
• Diagonalization and truth functional operators
• AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS
• Diagonalisation and Church's Thesis: Kleene's Homework

This page was built for publication: On the diagonal lemma of Gödel and Carnap

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3386609)