Godel's interpretation of intuitionism

DOI10.1093/philmat/nkj004zbMath1111.03004OpenAlexW2158516540MaRDI QIDQ3422401

William W. Tait

Publication date: 13 February 2007

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/nkj004

zbMATH Keywords

GödelDialectica functional interpretation

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)

Related Items (6)

Strong normalization for non-structural subtyping via saturated sets ⋮ A higher-order calculus and theory abstraction ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ The typed lambda-calculus is not elementary recursive ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections

This page was built for publication: Godel's interpretation of intuitionism