scientific article; zbMATH DE number 107511
From MaRDI portal
Publication:4023115
Recommendations
Cited in
(53)- Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
- von Neumann standard quantum mechanics is logically inconsistent
- Time in philosophy and in physics: from Kant and Einstein to Gödel.
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- Can Church's thesis be viewed as a Carnapian explication?
- Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
- Current status of the foundations of mathematics. Translated from the English by J. M. Almira.
- scientific article; zbMATH DE number 2185576 (Why is no real title available?)
- Stanley Tennenbaum's Socrates
- All properties are divine or god exists -- the sacred thesis and its ontological argument
- Kripke semantics for the logic of problems and propositions
- The Gödel Editorial Project: A Synopsis
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- The paradox of the knower revisited
- scientific article; zbMATH DE number 47172 (Why is no real title available?)
- Tableaux and hypersequents for justification logics
- scientific article; zbMATH DE number 527283 (Why is no real title available?)
- scientific article; zbMATH DE number 1550343 (Why is no real title available?)
- scientific article; zbMATH DE number 1855556 (Why is no real title available?)
- scientific article; zbMATH DE number 1855559 (Why is no real title available?)
- scientific article; zbMATH DE number 833164 (Why is no real title available?)
- Kurt Gödel on logical, theological, and physical antinomies
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
- Visualization of the Gödel universe
- The developments of the concept of machine computability from 1936 to the 1960s
- Gödel and intuitionism
- Gödel's Notre Dame course
- Russell and Gödel
- Carnap's defense of impredicative definitions
- In praise of replacement
- Gödel and Set Theory
- scientific article; zbMATH DE number 2229434 (Why is no real title available?)
- On Gödel's awareness of Skolem's Helsinki lecture
- GÖDEL ON MANY-VALUED LOGIC
- Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach
- Cardinality reduction theorem for logics QHC and QH4
- Kurt Gödel and the logic of concepts
- Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
- Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles
- Gödel, Gentzen, and Constructive Consistency Proofs
- From probabilistic topologies to Feynman diagrams: Hans Reichenbach on time, genidentity, and quantum physics
- A constructive interpretation of the logical constants
- Gödel's introduction to deduction
- Gödel's absolute proofs and Girard's ludics: mutual insights
- Truth in Russell, early Wittgenstein and Gödel
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- Judgment and commitment
- Peano arithmetic, games and descent recursion
- What is intuitionistic arithmetic?
- Is the concept of computation a conceptual fixed point?
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 Q4023115)
