Logicism, Intuitionism, and Formalism
Author: Sten Lindström
Publisher: Springer Science & Business Media
Published: 2008-11-25
Total Pages: 509
ISBN-13: 1402089260
DOWNLOAD EBOOK →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.