scientific article; zbMATH DE number 3950473

zbMATH Open0592.01035MaRDI QIDQ3720554FDOQ3720554

Authors: Kurt Gödel 

Publication date: 1986

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

Recommendations

• scientific article
• Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
• scientific article
• The Gödel Editorial Project: A Synopsis
• Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori

zbMATH Keywords

foundationslogic

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)

Cited In (46)

• Title not available (Why is that?)
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Skolem redux
• A new method for undecidability proofs of first order theories
• Otto Sterns Veröffentlichungen – Band 2
• On adopting Kripke semantics in set theory
• Gödel on deduction
• A semantic hierarchy for intuitionistic logic
• Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
• Kurt Gödel and the logic of concepts
• Title not available (Why is that?)
• Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle
• On Boolean automata isolated cycles and tangential double-cycles dynamics
• THE GENEALOGY OF ‘’
• Gödel’s Cantorianism
• Title not available (Why is that?)
• Title not available (Why is that?)
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Choice-free topological duality for implicative lattices and Heyting algebras
• On causality as the fundamental concept of Gödel's philosophy
• The scope of Gödel's first incompleteness theorem
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• On mind \& Turing's machines
• Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
• ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
• Lewis meets Brouwer: constructive strict implication
• Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
• A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
• Conservative translations revisited
• Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
• Title not available (Why is that?)
• Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
• Computational universes
• Dugundji's theorem revisited
• Putnam’s Theorem on the Complexity of Models
• Bounded arithmetic, proof complexity and two papers of Parikh
• Gödel's undecidability theorems and the search for a theory of everything
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
• The American Mathematical Society and Applied Mathematics from the 1920s to the 1950s: A Revisionist Account
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• Lattice NExtS4 from the Embedding Theorem Viewpoint
• Title not available (Why is that?)
• Title not available (Why is that?)
• Why Turing’s Thesis Is Not a Thesis
• The Gödel Editorial Project: A Synopsis
• Complexity among the finitely generated subgroups of Thompson's group

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