scientific article; zbMATH DE number 1550362
From MaRDI portal
Publication:4523482
zbMATH Open0972.03544MaRDI QIDQ4523482FDOQ4523482
Publication date: 11 January 2001
Title of this publication is not available (Why is that?)
Cited In (14)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS
- On formalization of model-theoretic proofs of Gödel's theorems
- A new theorem discovered by computer prover
- Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
- On constructivity and the Rosser property: a closer look at some Gödelean proofs
- Liar-type paradoxes and the incompleteness phenomena
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
- The scope of Gödel's first incompleteness theorem
- Rosser-type undecidable sentences based on Yablo's paradox
- The Discovery of My Completeness Proofs
- Truth and provability
- ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
- 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)
