Gödel's third incompleteness theorem

DOI10.1111/1746-8361.12134MaRDI QIDQ2834879zbMATHOpenAlexFDO

Authors Timothy McCarthy

Publication date 24 November 2016

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/1746-8361.12134

zbMATH Keywords

Gödel's second incompleteness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 2222023
• On Godel's Second Incompleteness Theorem
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• What does Gödel's second theorem say?

Cited in

(8)

• scientific article; zbMATH DE number 3891318 (Why is no real title available?)
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• scientific article; zbMATH DE number 5037238 (Why is no real title available?)
• scientific article; zbMATH DE number 2222023 (Why is no real title available?)
• What does Gödel's second theorem say?
• A note on derivability conditions
• scientific article; zbMATH DE number 922629 (Why is no real title available?)
• Heterologicality and imcompleteness

This page was built for publication: Gödel's third incompleteness theorem

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