DescriptionThis book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.
3. Set Theory.
5. Intuitionistic Mathematics.
7. The Incompleteness Theorems.
"This book includes just the right mix of helpful historical exposition and clear, tight philosophical argument. It is extremely well written and does an excellent job of making difficult material accessible. There is nothing else currently available that discusses in a single volume such a wide range of important material. The authors are to be commended for a job well done." Andrew Irvine, University of British Columbia
"This is a well-written, informative and innovative introduction to philosophies of mathematics. It is a very valuable addition to the existing literature." Wilfried Sieg, Carnegie Mellon University
- Systematically presents both philosophical and mathematical aspects of the three central approaches to mathematics: logicism, intuitionism, and formalism.
- Requires only that students have a basic familiarity with quantificational logic and very fundamental parts of set theory and analysis.
- Comprehensive and accessible.