|
|
|
|
| LEADER |
01617nam a2200289 a 4500 |
| 001 |
1897214 |
| 005 |
20171111234728.0 |
| 008 |
040819s2003 enka ob 001 0 eng d |
| 020 |
|
|
|a 0511042701
|q (electronic bk.)
|
| 020 |
|
|
|a 9780511042706
|q (electronic bk.)
|
| 020 |
|
|
|a 9780521817226
|
| 020 |
|
|
|a 0521817226
|
| 020 |
|
|
|a 0511054459
|
| 020 |
|
|
|a 9780511054457
|
| 040 |
|
|
|a N$T
|b eng
|e pn
|
| 050 |
|
4 |
|a QA8.4
|b .C67 2003eb
|
| 100 |
1 |
|
|a Corfield, David.
|
| 245 |
1 |
0 |
|a Towards a philosophy of real mathematics /
|c David Corfield.
|
| 260 |
|
|
|a Cambridge, UK ;
|b Cambridge University Press,
|c 2003.
|a New York :
|
| 300 |
|
|
|a 1 online resource (x, 288 pages) :
|b illustrations
|
| 504 |
|
|
|a Includes bibliographical references (pages 274-285) and index.
|
| 505 |
0 |
|
|a 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.
|
| 650 |
|
0 |
|a Mathematics
|x Philosophy.
|
| 650 |
|
7 |
|a MATHEMATICS
|x History & Philosophy.
|
| 650 |
|
7 |
|a Mathematics
|x Philosophy.
|
| 856 |
4 |
0 |
|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0465306c5ad14ac1eec93d
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
