Godel's Unpublished Papers on Foundations of Mathematics†

DOI10.1093/PHILMAT/9.1.87zbMath0990.03001OpenAlexW2162525172MaRDI QIDQ2765288

William W. Tait

Publication date: 18 July 2002

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

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

zbMATH Keywords

realismDialectica interpretationprovabilityintuitionistic logictype theoryaxiom of choicePlatonismfinitismconstructivityconceptual realismimpredicativitycumulative set theories

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) 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)

Related Items (6)

LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ AGAINST CUMULATIVE TYPE THEORY ⋮ Absolute Infinity in Class Theory and in Theology ⋮ On reflection principles ⋮ Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation ⋮ Gödel and Intuitionism

This page was built for publication: Godel's Unpublished Papers on Foundations of Mathematics†