On the diagonal lemma of Gödel and Carnap

DOI10.1017/BSL.2019.58zbMATH Open1459.03089OpenAlexW3034452530WikidataQ124813076 ScholiaQ124813076MaRDI QIDQ3386609FDOQ3386609

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

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

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)

Cites Work

• Undecidable theories
• Extensions of some theorems of Gödel and Church
• Title not available (Why is that?)
• Computability and Logic
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• The surprise examination paradox and the second incompleteness theorem
• Title not available (Why is that?)
• Why Do Mathematicians Re-prove Theorems?
• Kleene's amazing second recursion theorem
• An introduction to Gödel's theorems
• The incompleteness theorems after 70 years
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• Boolos-style proofs of limitative theorems
• Naming and Diagonalization, from Cantor to Godel to Kleene
• 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
• Title not available (Why is that?)
• 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)