scientific article; zbMATH DE number 1550362

zbMATH Open0972.03544MaRDI QIDQ4523482FDOQ4523482

Authors: George Boolos 

Publication date: 11 January 2001

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (14)

• On formalization of model-theoretic proofs of Gödel's theorems
• A new theorem discovered by computer prover
• Current research on Gödel's incompleteness theorems
• Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
• On the diagonal lemma of Gödel and Carnap
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• Liar-type paradoxes and the incompleteness phenomena
• The scope of Gödel's first incompleteness theorem
• Rosser-type undecidable sentences based on Yablo's paradox
• The Discovery of My Completeness Proofs
• Gödel's second incompleteness theorem: how it is derived and what it delivers
• Truth and provability
• Kurt Gödel on logical, theological, and physical antinomies
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS

This page was built for publication:

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