Gödel and Intuitionism

DOI10.1007/978-94-017-9217-2_7zbMath1336.03003MaRDI QIDQ5250219

Mark van Atten

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

zbMATH Keywords

Dialectica interpretationGödelintuitionism

Mathematics Subject Classification ID

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