A Note on Boolos' Proof of the Incompleteness Theorem

DOI10.1002/MALQ.19940400409MaRDI QIDQ4315327zbMATH OpenOpenAlexFDO

Authors Makoto Kikuchi

Publication date 8 December 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19940400409

zbMATH Keywords

Berry's paradoxGödel's first incompleteness theoremsecond incompleteness theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A note on the first incompleteness theorem
• Remarks on the Incompleteness Proof
• On the incompleteness theorems
• scientific article; zbMATH DE number 5037238
• A remark concerning decidability of complete theories
• A direct proof of Gödel's incompleteness theorems
• On Gödel's incompleteness theorems
• scientific article; zbMATH DE number 205734
• scientific article; zbMATH DE number 4006256
• scientific article; zbMATH DE number 3920465

Cited in

(10)

• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• On formalization of model-theoretic proofs of Gödel's theorems
• The scope of Gödel's first incompleteness theorem
• Existentially closed structures and Gödel's second incompleteness theorem
• Heterologicality and imcompleteness
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Liar-type paradoxes and the incompleteness phenomena
• Boole's annotations on ‘the mathematical analysis of logic’
• Current research on Gödel's incompleteness theorems
• The incompleteness theorems after 70 years

This page was built for publication: A Note on Boolos' Proof of the Incompleteness Theorem

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