scientific article; zbMATH DE number 53543

MaRDI QIDQ4003735zbMATH OpenFDO

Authors Raymond M. Smullyan

Publication date 23 January 1993

zbMATH Keywords

axiomatic arithmetic based on plus, times and powerfixed point principleGödel's incompleteness theoremsmodal logicMontague-Kalish axiomatization for first-order logicoriginal Gödel proofPeano arithmeticprovabilityrepresentation and separation theorems of ShepherdsonRosser's proofTarski truth set

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30)

Recommendations

• An introduction to Gödel's theorems
• Gödel's incompleteness theorems
• scientific article; zbMATH DE number 49449
• A concise introduction to mathematical logic
• A course on mathematical logic

Cited in

(46)

• Phase transitions for Gödel incompleteness
• Wittgenstein's inversion of Gödel's theorem
• A deductive approach towards reasoning about algebraic transition systems
• On fuzzification of Tarski's fixed point theorem without transitivity
• The knower paradox in the light of provability interpretations of modal logic
• Existence and definability of states of the world
• Is independence an exception?
• Mechanism, truth, and Penrose's new argument
• Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
• Multiple Fibonacci trees
• Constructibility and decidability versus domain independence and absoluteness
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• On the semantics of intensionality
• Gödel incompleteness theorems and the limits of their applicability. I
• Much ado about nothing—an introductive inquiry about zero
• scientific article; zbMATH DE number 3891318 (Why is no real title available?)
• An Introduction to Gödel's Theorems
• Incompleteness in the land of sets
• scientific article; zbMATH DE number 193204 (Why is no real title available?)
• scientific article; zbMATH DE number 481375 (Why is no real title available?)
• Metamathematics, Machines and Gödel's Proof
• Categorical pairs and the indicative shift
• HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS
• An introduction to Gödel's theorems
• Current research on Gödel's incompleteness theorems
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• SUFFICIENT CONDITIONS FOR THE EXISTENCE OF UNDECIDABLE INDIRECTLY REFLECTIVE SENTENCES
• scientific article; zbMATH DE number 7533333 (Why is no real title available?)
• The complexity of quantified constraints using the algebraic formulation
• Gödel's Theorems and Zermelo's Axioms
• Gödel’s Disjunction
• Metamathematics of first-order arithmetic
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• scientific article; zbMATH DE number 5037238 (Why is no real title available?)
• scientific article; zbMATH DE number 7591884 (Why is no real title available?)
• The concept of truth in a finite universe
• Quantum logic, Hilbert space, revision theory
• The indefinability of truth in the ``Wahrheitsbegriff
• Curves in Gödel-space: towards a structuralist ontology of mathematical signs
• A step towards absolute versions of metamathematical results
• Consequences of Gödel theorems on third quantized theories like string field theory and group field theory
• Money, time, and information: inspirations from Gödel, Tarski, and Chaitin
• How should we understand the modal potentialist's modality?
• Application of Chaitin's incompleteness theorem to quantum gravity
• Consequences of Gödel's theorems on quantum gravity
• Some new results on decidability for elementary algebra and geometry

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