Godel's interpretation of intuitionism
From MaRDI portal
Publication:3422401
DOI10.1093/philmat/nkj004zbMath1111.03004MaRDI QIDQ3422401
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
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
Related Items
The typed lambda-calculus is not elementary recursive, Strong normalization for non-structural subtyping via saturated sets, A higher-order calculus and theory abstraction