| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Towards a philosophy of real mathematics/ David Corfield. |
| Author: |
Corfield, David. |
| Published: |
Cambridge, UK ;Cambridge University Press, : 2003., |
| Description: |
x, 288 p. :ill. ;24 cm. |
| [NT 15003449]: |
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. |
| Subject: |
Mathematics - Philosophy. - |
| Online resource: |
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689An electronic book accessible through the World Wide Web; click for information |
| ISBN: |
0511042701 (electronic bk.) |