附註:Includes bibliographical references (pages 274-285) and index.
Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra.
摘要:In 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.