Logicism, Intuitionism, and Formalism: What Has Become of Them?
Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
Springer Science & Business Media, Nov 25, 2008 - Mathematics - 512 pages
This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.