Gödel and Intuitionism
From MaRDI portal
Publication:5250219
DOI10.1007/978-94-017-9217-2_7zbMath1336.03003MaRDI QIDQ5250219
Publication date: 19 May 2015
Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-017-9217-2_7
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
03F55: Intuitionistic mathematics
Cites Work
- Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
- Intuitionism. An introduction
- Constructions, proofs and the meaning of logical constants
- Church's thesis and the ideal of informal rigour
- Constructivism in mathematics. An introduction. Volume II
- Reflections of my adviser: stories of mathematics and mathematicians
- The selected correspondence of L. E. J. Brouwer.
- Semantic values for natural deduction derivations
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Explicit Provability and Constructive Semantics
- Godel's Unpublished Papers on Foundations of Mathematics†
- Consistency of Heyting arithmetic in natural deduction
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- BLICK VON DER INTUITIONISTISCHEN WARTE
- Future Tasks for Gödel Scholars
- Another intuitionistic completeness proof
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- An intuitionistically plausible interpretation of intuitionistic logic
- On the Philosophical Development of Kurt Gödel
- The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940
- Intensional interpretations of functionals of finite type I
- On weak completeness of intuitionistic predicate logic
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
- Intuitionistische Untersuchungen der formalistischen Logik
- Points and Spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item