Logicism, Intuitionism, and Formalism
Author | : Sten Lindström |
Publisher | : Springer Science & Business Media |
Total Pages | : 509 |
Release | : 2008-11-25 |
ISBN-10 | : 9781402089268 |
ISBN-13 | : 1402089260 |
Rating | : 4/5 (260 Downloads) |
Download or read book Logicism, Intuitionism, and Formalism written by Sten Lindström and published by Springer Science & Business Media. This book was released on 2008-11-25 with total page 509 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.