|
|
|
|
| LEADER |
00000pam a22000004a 4500 |
| 001 |
4904071 |
| 003 |
ICU |
| 005 |
20040520115500.0 |
| 008 |
021029s2003 enka b 001 0 eng |
| 010 |
|
|
|a 2002038841
|
| 020 |
|
|
|a 0521817226 (hardback)
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d NhCcYBP
|d OCoLC
|d OrLoB-B
|
| 042 |
|
|
|a pcc
|
| 050 |
0 |
0 |
|a QA8.4
|b .C67 2003
|
| 082 |
0 |
0 |
|a 510/.1
|2 21
|
| 100 |
1 |
|
|a Corfield, David.
|0 http://id.loc.gov/authorities/names/n2001108357
|1 http://viaf.org/viaf/56847608
|
| 245 |
1 |
0 |
|a Towards a philosophy of real mathematics /
|c David Corfield.
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 2003.
|
| 300 |
|
|
|a x, 288 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 504 |
|
|
|a Includes bibliographical references (p. 274-285) and index.
|
| 505 |
0 |
0 |
|g 1.
|t Introduction: a role for history --
|g 2.
|t Communicating with automated theorem provers --
|g 3.
|t Automated conjecture formation --
|g 4.
|t The role of analogy in mathematics --
|g 5.
|t Bayesianism in mathematics --
|g 6.
|t Uncertainty in mathematics and science --
|g 7.
|t Lakatos's philosophy of mathematics --
|g 8.
|t Beyond the methodology of mathematical research programmes --
|g 9.
|t The importance of mathematical conceptualisation --
|g 10.
|t Higher-dimensional algebra.
|
| 650 |
|
0 |
|a Mathematics
|x Philosophy.
|0 http://id.loc.gov/authorities/subjects/sh85082153
|
| 650 |
|
7 |
|a Mathematics
|x Philosophy.
|2 fast
|0 http://id.worldcat.org/fast/fst01012213
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)50919787
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 6e647801-54f7-5325-b88d-1dde38acf8ab
|s eb9acc2a-2b38-5117-9490-adc9b76b6801
|
| 928 |
|
|
|t Library of Congress classification
|a QA8.4 .C67 2003
|l ASR
|c ASR-SciASR
|i 4577978
|
| 927 |
|
|
|t Library of Congress classification
|a QA8.4 .C67 2003
|l ASR
|c ASR-SciASR
|e CRERAR
|b 64031690
|i 7480352
|
