scientific article; zbMATH DE number 3950473
From MaRDI portal
Publication:3720554
Recommendations
- scientific article; zbMATH DE number 47172
- Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
- scientific article; zbMATH DE number 107511
- The Gödel Editorial Project: A Synopsis
- Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
Cited in
(55)- The Gödel Editorial Project: A Synopsis
- Why Turing’s Thesis Is Not a Thesis
- Complexity among the finitely generated subgroups of Thompson's group
- Gödel's cantorianism
- scientific article; zbMATH DE number 2229434 (Why is no real title available?)
- 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
- A correct polynomial translation of S4 into intuitionistic logic
- Otto Sterns Veröffentlichungen – Band 2
- On adopting Kripke semantics in set theory
- A semantic hierarchy for intuitionistic logic
- Gödel on deduction
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- Kurt Gödel and the logic of concepts
- scientific article; zbMATH DE number 730318 (Why is no real title available?)
- Putnam's theorem on the complexity of models
- On Boolean automata isolated cycles and tangential double-cycles dynamics
- Lattice NExtS4 from the embedding theorem viewpoint
- THE GENEALOGY OF ‘’
- scientific article; zbMATH DE number 1855556 (Why is no real title available?)
- The American Mathematical Society and applied mathematics from the 1920s to the 1950s: a revisionist account
- scientific article; zbMATH DE number 47172 (Why is no real title available?)
- Nonlinear dispersion analysis using dynamic traveling wave model in chemical kinetics
- On the diagonal lemma of Gödel and Carnap
- Automated reasoning for mathematics
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- What is intuitionistic arithmetic?
- The collected works of Alonzo Church. Edited by Tyler Burge and Herbert B. Enderton
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- Choice-free topological duality for implicative lattices and Heyting algebras
- On mind \& Turing's machines
- On causality as the fundamental concept of Gödel's philosophy
- The scope of Gödel's first incompleteness theorem
- Kolmogorov's Calculus of Problems and its Legacy
- Introducing heuristic philosophy of mathematics
- Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
- Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
- Gödel's modal interpretation of intuitionistic logic and its proof theory
- Lewis meets Brouwer: constructive strict implication
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
- Gödel's absolute proofs and Girard's ludics: mutual insights
- Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
- Conservative translations revisited
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- scientific article; zbMATH DE number 527283 (Why is no real title available?)
- Computational universes
- Dugundji's theorem revisited
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
- Bounded arithmetic, proof complexity and two papers of Parikh
- On combining intuitionistic and S4 modal logic
- Gödel's undecidability theorems and the search for a theory of everything
- scientific article; zbMATH DE number 1855559 (Why is no real title available?)
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- scientific article; zbMATH DE number 107511 (Why is no real title available?)
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)
