Gödel and Intuitionism

DOI10.1007/978-94-017-9217-2_7zbMath1336.03003OpenAlexW1584938136MaRDI 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

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)

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

This page was built for publication: Gödel and Intuitionism