Rigor and Structure
Feb. 2015 · OUP Oxford
E-boek
224
Bladsye
family_home
Geskik
info
reportGraderings en resensies word nie geverifieer nie. Kom meer te wete
Meer oor hierdie e-boek
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental mathematics on the one hand and computerized formal proofs on the other hand. The main theses of Rigor and Structure are that the features of mathematical practice that a large group of philosophers of mathematics, the structuralists, have attributed to the peculiar nature of mathematical objects are better explained in a different way, as artefacts of the manner in which the ancient ideal of rigor is realized in modern mathematics. Notably, the mathematician must be very careful in deriving new results from the previous literature, but may remain largely indifferent to just how the results in the previous literature were obtained from first principles. Indeed, the working mathematician may remain largely indifferent to just what the first principles are supposed to be, and whether they are set-theoretic or category-theoretic or something else. Along the way to these conclusions, a great many historical developments in mathematics, philosophy, and logic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed.
Meer oor die skrywer
John P. Burgess joined the philosophy department at Princeton University shortly after receiving his Ph.D. in logic from Berkeley, and has remained there ever since, serving for many years as director of undergraduate studies. He is the author or co-author of seven previous books and over a hundred papers and reviews in mathematical and philosophical logic, philosophy of mathematics and of language, and history of analytic philosophy.
Gradeer hierdie e-boek
Sê vir ons wat jy dink.
Lees inligting
Slimfone en tablette
Installeer die Google Play Boeke-app vir Android en iPad/iPhone. Dit sinkroniseer outomaties met jou rekening en maak dit vir jou moontlik om aanlyn of vanlyn te lees waar jy ook al is.
Skootrekenaars en rekenaars
Jy kan jou rekenaar se webblaaier gebruik om na oudioboeke wat jy op Google Play gekoop het, te luister.
E-lesers en ander toestelle
Om op e-inktoestelle soos Kobo-e-lesers te lees, moet jy ’n lêer aflaai en dit na jou toestel toe oordra. Volg die gedetailleerde hulpsentrumaanwysings om die lêers na ondersteunde e-lesers toe oor te dra.
