Rigor and Structure

Nonfiction, Religion & Spirituality, Philosophy, Logic, Science & Nature, Mathematics
Cover of the book Rigor and Structure by John P. Burgess, OUP Oxford
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: John P. Burgess ISBN: 9780191033605
Publisher: OUP Oxford Publication: February 12, 2015
Imprint: OUP Oxford Language: English
Author: John P. Burgess
ISBN: 9780191033605
Publisher: OUP Oxford
Publication: February 12, 2015
Imprint: OUP Oxford
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from OUP Oxford

Cover of the book Building Better Beings by John P. Burgess
Cover of the book Culture and Anarchy by John P. Burgess
Cover of the book Immigration and Welfare State Retrenchment by John P. Burgess
Cover of the book Training in Ophthalmology by John P. Burgess
Cover of the book Introduction to Computational Economics Using Fortran by John P. Burgess
Cover of the book The Memoirs of Sherlock Holmes by John P. Burgess
Cover of the book The Oxford Handbook of the Welfare State by John P. Burgess
Cover of the book Communities of Respect by John P. Burgess
Cover of the book Management: A Very Short Introduction by John P. Burgess
Cover of the book Measuring Peace by John P. Burgess
Cover of the book The American Senator by John P. Burgess
Cover of the book Comparative Literature: A Very Short Introduction by John P. Burgess
Cover of the book The Oxford Handbook of Project Management by John P. Burgess
Cover of the book International Law by John P. Burgess
Cover of the book Borderline Personality Disorder by John P. Burgess
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy