scientific article; zbMATH DE number 1749189

MaRDI QIDQ4532190zbMATH OpenFDO

Authors Raymond M. Smullyan

Publication date 5 July 2003

zbMATH Keywords

diagonalizationGödel machineincompletenessself-reference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Recommendations

• Gödel incompleteness theorems and the limits of their applicability. I
• On the incompleteness theorems of Kurt Gödel
• Gödel's incompleteness theorems
• Incompleteness, Mechanism, and Optimism
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006

Cited in

(31)

• Phase transitions for Gödel incompleteness
• Self-reference and incompleteness in a non-monotonic setting
• Incompleteness in a topos
• Wittgenstein's inversion of Gödel's theorem
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• Gödel incompleteness theorems and the limits of their applicability. I
• Finite mimicry of Gödel's incompleteness theorem
• scientific article; zbMATH DE number 3891318 (Why is no real title available?)
• scientific article; zbMATH DE number 4200174 (Why is no real title available?)
• Truth and provability
• On the incompleteness theorems of Kurt Gödel
• scientific article; zbMATH DE number 3920465 (Why is no real title available?)
• scientific article; zbMATH DE number 3715498 (Why is no real title available?)
• scientific article; zbMATH DE number 12906 (Why is no real title available?)
• scientific article; zbMATH DE number 1051668 (Why is no real title available?)
• scientific article; zbMATH DE number 1089032 (Why is no real title available?)
• HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS
• Gödel
• The Gödelian foundations of self-reference, the liar and incompleteness: arms race in complex strategic innovation
• On Gödel's incompleteness theorems. III
• On Gödel's incompleteness theorems. IV
• Duplex diagonalization
• In search of the sources of incompleteness
• On Gödel's incompleteness theorems
• Gödel’s Disjunction
• scientific article; zbMATH DE number 5037238 (Why is no real title available?)
• Gödel's incompleteness phenomenon -- computationally
• A direct proof of Gödel's incompleteness theorems
• Logical Approaches to Computational Barriers
• An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006

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 Q4532190)