Corfield, David <br/><br/>
Towards a philosophy of real mathematics/ 
David Corfield. 
 - Cambridge, UK:  New York:  Cambridge University Press,  2003. 
 - x, 288 p.:  ill.;  24 cm. 
<br/><br/>Includes bibliographical references (p. 274-285) and index. 
<br/><br/>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 . 
<br/><br/><label>ISBN: </label>0521817226 
<br/><br/><label>LCCN: </label>00203884 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics---Philosophy.
<br/><br/><label>Dewey Class. No.: </label>510.1  / C797t