Description
Book SynopsisIn this ambitious study, David Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics, and challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines.
Trade Review'Corfield's book as a whole is itself a fine specimen of a philosophical approach to mathematics that takes its questions and its resources from 'real' mathematics, showing convincingly the richness and fruitfulness of such an approach.' Philosophia Mathematica
'I found this book interesting and it is certainly worth looking at if only to increase one's sense of the possibilities for the philosophy of mathematics.' Metascience
'What is really special about the book under review is that it demonstrates a philosopher struggling to grapple with modern mathematics as it is actually carried out by practitioners. This is what the author means by 'real mathematics' as quoted in the book title.' Zentralblatt MATH
Table of ContentsPreface; 1. Introduction: a role for history; Part I. Human and Artificial Mathematicians: 2. Communicating with automated theorem provers; 3. Automated conjecture formation; 4. The role of analogy in mathematics; Part II. Plausibility, Uncertainty and Probability: 5. Bayesianism in mathematics; 6. Uncertainty in mathematics and science; Part III. The Growth of Mathematics: 7. Lakatos's philosophy of mathematics; 8. Beyond the methodology of mathematical research programmes; 9. The importance of mathematical conceptualisation; Part IV. The Interpretation of Mathematics: 10. Higher dimensional algebra; Appendix; Bibliography; Index.
