Towards a philosophy of real mathematics /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, UK ; New York :
Cambridge University Press,
2003.
|
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689 |
Table of Contents:
- 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.