scientific article

From MaRDI portal
Publication:3720554

zbMath0592.01035MaRDI QIDQ3720554

Kurt Gödel

Publication date: 1986


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (33)

Gödel on deductionLife on the Ship of Neurath: Mathematics in the Philosophy of MathematicsThe American Mathematical Society and Applied Mathematics from the 1920s to the 1950s: A Revisionist AccountGödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistencyOn mind \& Turing's machinesTHE GENEALOGY OF ‘’Lewis meets Brouwer: constructive strict implicationConservative translations revisitedChoice-free topological duality for implicative lattices and Heyting algebrasWhy Turing’s Thesis Is Not a ThesisComplexity among the finitely generated subgroups of Thompson's groupGödel’s CantorianismA semantic hierarchy for intuitionistic logicPluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s PrincipleDugundji's theorem revisitedThe scope of Gödel's first incompleteness theoremComputational universesON ADOPTING KRIPKE SEMANTICS IN SET THEORYA new method for undecidability proofs of first order theoriesPutnam’s Theorem on the Complexity of ModelsA Generalization of Maksimova’s Criterion for the Disjunction PropertyLattice NExtS4 from the Embedding Theorem ViewpointOn causality as the fundamental concept of Gödel's philosophyON THE DIAGONAL LEMMA OF GÖDEL AND CARNAPA CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGICAcerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940Bounded arithmetic, proof complexity and two papers of ParikhON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGSOn Boolean automata isolated cycles and tangential double-cycles dynamicsREDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATIONNew formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theoremsSkolem redux




This page was built for publication: