Towards a philosophy of real mathematics/ David Corfield.
Publication details: Cambridge, UK: New York: Cambridge University Press, 2003.Description: x, 288 p.: ill.; 24 cmISBN:- 0521817226
- 510.1 C797t
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 510.1 C797t 2003 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000604655 |
Includes bibliographical references (p. 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 .
There are no comments on this title.