Article ID: CBB618974991

Checking correctness in mathematical peer review (2024)

unapi

Mathematics is often treated as different from other disciplines, since arguments in the field rely on deductive proof rather than empirical evidence as in the natural sciences. A mathematical paper can therefore, at least in principle, be replicated simply by reading it. While this distinction is sometimes taken as the basis to claim that the results in mathematics are therefore certain, mathematicians themselves know that the published literature contains many mistakes. Reading a proof is not easy, and checking whether an argument constitutes a proof is surprisingly difficult. This article uses peer review of submissions to mathematics journals as a site where referees are explicitly concerned with checking whether a paper is correct and therefore could be published. Drawing on 95 qualitative interviews with mathematics journal editors, as well as a collection of more than 100 referee reports and other correspondence from peer review processes, this article establishes that while mathematicians acknowledge that peer review does not guarantee correctness, they still value it. For mathematicians, peer review ‘adds a bit of certainty’, especially in contrast to papers only submitted to preprint servers such as arXiv. Furthermore, during peer review there can be disagreements not just regarding the importance of a result, but also whether a particular argument constitutes a proof or not (in particular, whether there are substantial gaps in the proof). Finally, the mathematical community is seen as important when it comes to accepting arguments as proofs and assigning certainty to results. Publishing an argument in a peer-reviewed journal is often only the first step in having a result accepted. Results get accepted if they stand the test of time and are used by other mathematicians.

...More
Citation URI
https://data.isiscb.org/isis/citation/CBB618974991/

Similar Citations

Article Miller, Boaz; (2009)
What Does It Mean That PRIMES Is in P? Popularization and Distortion Revisited (/isis/citation/CBB000953541/)

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos (/isis/citation/CBB001210991/)

Article Baldwin, Melinda Clare; (2015)
Credibility, Peer Review, and Nature, 1945--1990 (/isis/citation/CBB001552651/)

Article Toshev, B. V.; Daiev, Ch.; (2003)
A Touch to the Ethics of Science: The Swindler and His/Her Letter of 1840 (/isis/citation/CBB000401006/)

Chapter Jane Russo; Sérgio Carrara; Alain Giami; Sharman Levinson; (2021)
Politics, Religion, and Sexuality: Psychoanalysis and Sexology in the Brazilian Publishing Market in the First Decades of the Twentieth Century (/isis/citation/CBB599790446/)

Book Philip Ording; (2019)
99 Variations on a Proof (/isis/citation/CBB176394056/)

Article Lorenat, Jemma; (2012)
Not Set in Stone: Nineteenth-Century Geometrical Constructions and the Malfatti Problem (/isis/citation/CBB001212294/)

Article Favio Ezequiel Miranda Perea; Lourdes del Carmen González Huesca; (2023)
On Conceptual changes in Computer Assisted Proofs (/isis/citation/CBB686392053/)

Article Andrea Del Centina; Alessandra Fiocca; (2021)
The chords theorem recalled to life at the turn of the eighteenth century (/isis/citation/CBB673858384/)

Book Gabriele Lolli; (2022)
The Meaning of Proofs: Mathematics as Storytelling (/isis/citation/CBB293361801/)

Article Jullien, Vincent; (2011)
Le Calcul Logique de Roberval (/isis/citation/CBB001220639/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Lützen, Jesper; (2009)
Why Was Wantzel Overlooked for a Century? The Changing Importance of an Impossibility Result (/isis/citation/CBB000953071/)

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 Cox, David A.; (2011)
Why Eisenstein Proved the Eisenstein Criterion and Why Schönemann Discovered It First (/isis/citation/CBB001211029/)

Article Grünbaum, Branko; (2012)
Is Napoleon's Theorem Really Napoleon's Theorem? (/isis/citation/CBB001211025/)

Authors & Contributors
Abeles, Francine F.
Babbitt, Donald
Baldwin, Melinda Clare
Carrara, Sérgio Luís
Centrone, Stefania
Cox, David A.
Journals
Almagest
American Mathematical Monthly
Historia Mathematica
British Society for the History of Mathematics Bulletin
History and Philosophy of Logic
Isis: International Review Devoted to the History of Science and Its Cultural Influences
Publishers
MIT Press
Princeton University Press
Springer International Publishing
Concepts
Mathematics
Proof
Publishers and publishing
Geometry
Peer review
Logic
People
Bolzano, Bernard
Calvino, Italo
Carroll, Lewis
Duchamp, Marcel
Eisenstein, Ferdinand Gotthold Max
Enriques, Federigo
Time Periods
19th century
18th century
21st century
20th century, early
20th century, late
17th century
Places
Brazil
Bulgaria
France
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment