Boolos-style proofs of limitative theorems

DOI10.1002/MALQ.200310091zbMATH Open1036.03041arXivmath/0309345OpenAlexW2044495841MaRDI QIDQ4459602FDOQ4459602

Authors: György Serény 

Publication date: 29 March 2004

Published in: MLQ (Search for Journal in Brave)

Abstract: Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free proofs of some classical limitative theorems of logic.

Full work available at URL: https://arxiv.org/abs/math/0309345

Recommendations

• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Other Proofs of Old Results
• Gödel, Tarski, Church, and The Liar
• The incompleteness theorems after 70 years
• scientific article; zbMATH DE number 5037238

zbMATH Keywords

Berry's paradoxBoolos's incompleteness proofLimitative results of logic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (4)

• On the diagonal lemma of Gödel and Carnap
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• A Berry-type paradox
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos

This page was built for publication: Boolos-style proofs of limitative theorems

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