Boolos-style proofs of limitative theorems

DOI10.1002/MALQ.200310091MaRDI QIDQ4459602zbMATH OpenOpenAlexFDO

Authors György Serény

Publication date 29 March 2004

Published in MLQ (Search for Journal in Brave)

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

zbMATH Keywords

Berry's paradoxBoolos's incompleteness proofLimitative results of logic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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

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

Cited in

(4)

• 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
• A Berry-type paradox
• On the diagonal lemma of Gödel and Carnap

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)