Towards a philosophy of real mathematics
Mathematics sähkökirjat
Cambridge University Press
2003
EISBN 9780511042706
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.
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.
