Intuitionism and formalism
From MaRDI portal
Publication:4942803
DOI10.1090/S0273-0979-99-00802-2zbMath1010.03500OpenAlexW4237852760MaRDI QIDQ4942803
Publication date: 15 March 2000
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0273-0979-99-00802-2
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items
The future of mathematics in economics: a philosophically grounded proposal ⋮ Preconceptual concepts of mathematics
This page was built for publication: Intuitionism and formalism
