scientific article; zbMATH DE number 1550362

zbMath0972.03544MaRDI QIDQ4523482

George Boolos

Publication date: 11 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

On formalization of model-theoretic proofs of Gödel's theorems, Liar-type paradoxes and the incompleteness phenomena, On constructivity and the Rosser property: a closer look at some Gödelean proofs, Truth and provability, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Rosser-type undecidable sentences based on Yablo's paradox, The scope of Gödel's first incompleteness theorem, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP, GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS, KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES