Burgess, John P. (Author)
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 theother 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 mannerin 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, andlogic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed.
...MoreReview Mark Zelcer (2016) Review of "Rigor and Structure". Metascience: An International Review Journal for the History, Philosophy and Social Studies of Science (pp. 147-150).
Book
Gabriele Lolli;
(2022)
The Meaning of Proofs: Mathematics as Storytelling
(/isis/citation/CBB293361801/)
Article
Cohoe, Caleb;
(2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series
(/isis/citation/CBB001201144/)
Article
Dick, Stephanie;
(2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration
(/isis/citation/CBB001220009/)
Article
Abeles, Francine F.;
(2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees
(/isis/citation/CBB001214122/)
Article
Centrone, Stefania;
(2012)
Strenge Beweise und das Verbot der metábasis eis állo génos
(/isis/citation/CBB001210991/)
Article
Babbitt, Donald;
Goodstein, Judith;
(2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem”
(/isis/citation/CBB001211747/)
Article
Anellis, Irving;
(2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History
(/isis/citation/CBB001214119/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Article
Rusnock, Paul;
(2013)
On Bolzano's Concept of a Sum
(/isis/citation/CBB001212145/)
Essay Review
Klement, Kevin C.;
(2007--2008)
A New Century in the Life of a Paradox
(/isis/citation/CBB001567033/)
Book
Ricketts, Tom;
Potter, Michael D.;
(2010)
The Cambridge Companion to Frege
(/isis/citation/CBB001211647/)
Book
Elena Anne Corie Marchisotto;
Francisco Rodriguez-Consuegra;
James T. Smith;
(2021)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
(/isis/citation/CBB763111584/)
Book
Juliette Kennedy;
(2014)
Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)
Book
Gauthier, Yvon;
(2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
(/isis/citation/CBB000301820/)
Book
Kurt Godel;
Solomon Feferman;
John W. Dawson;
Warren Goldfarb;
Charles Parsons;
Wilfried Sieg;
(2013)
Kurt Gödel: Collected Works: Volume IV
(/isis/citation/CBB660754544/)
Article
Bar-Am, Nimrod;
(2003)
A Framework for a Critical History of Logic
(/isis/citation/CBB000501730/)
Thesis
Campos, Daniel Gerardo;
(2005)
The Discovery of Mathematical Probability Theory: A Case Study in the Logic of Mathematical Inquiry
(/isis/citation/CBB001561608/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Article
Schirn, Matthias;
(2010)
On Translating Frege's Die Grundlagen der Arithmetik
(/isis/citation/CBB001210971/)
Book
Rashed, Roshdi;
Bellosta, Hélène;
(2000)
Ibrāhīm ibn Sinān. Logique et Géométrie au Xe siècle
(/isis/citation/CBB000111392/)
Be the first to comment!