A Note on Boolos' Proof of the Incompleteness Theorem

DOI10.1002/malq.19940400409zbMath0805.03052OpenAlexW2048704688MaRDI QIDQ4315327

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

Gödel's first incompleteness theoremsecond incompleteness theoremBerry's paradox

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (9)

On formalization of model-theoretic proofs of Gödel's theorems ⋮ Liar-type paradoxes and the incompleteness phenomena ⋮ On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos ⋮ On constructivity and the Rosser property: a closer look at some Gödelean proofs ⋮ The incompleteness theorems after 70 years ⋮ Heterologicality and Incompleteness ⋮ Existentially closed structures and Gödel's second incompleteness theorem ⋮ The scope of Gödel's first incompleteness theorem ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

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