Rigor and Structure
2015 ots. · OUP Oxford
Liburu elektronikoa
224
orri
family_home
Egokia
info
reportBalorazioak eta iritziak ez daude egiaztatuta Lortu informazio gehiago
Liburu elektroniko honi buruz
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.
Egileari buruz
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.
Baloratu liburu elektroniko hau
Eman iezaguzu iritzia.
Irakurtzeko informazioa
Telefono adimendunak eta tabletak
Instalatu Android eta iPad/iPhone gailuetarako Google Play Liburuak aplikazioa. Zure kontuarekin automatikoki sinkronizatzen da, eta konexioarekin nahiz gabe irakurri ahal izango dituzu liburuak, edonon zaudela ere.
Ordenagailu eramangarriak eta mahaigainekoak
Google Play-n erositako audio-liburuak entzuteko aukera ematen du ordenagailuko web-arakatzailearen bidez.
Irakurgailu elektronikoak eta bestelako gailuak
Tinta elektronikoa duten gailuetan (adibidez, Kobo-ko irakurgailu elektronikoak) liburuak irakurtzeko, fitxategi bat deskargatu beharko duzu, eta hura gailura transferitu. Jarraitu laguntza-zentroko argibide xehatuei fitxategiak irakurgailu elektroniko bateragarrietara transferitzeko.
