{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T03:06:35Z","timestamp":1767150395416,"version":"build-2238731810"},"reference-count":83,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T00:00:00Z","timestamp":1603238400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are so good at resolving disputes about validity, and that of whether rigorous proofs are necessarily formalizable.<\/jats:p>","DOI":"10.1017\/s1755020320000398","type":"journal-article","created":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T00:52:35Z","timestamp":1603241555000},"page":"480-508","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":5,"title":["RIGOUR AND PROOF"],"prefix":"10.1017","volume":"16","author":[{"given":"OLIVER","family":"TATTON-BROWN","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2020,10,21]]},"reference":[{"key":"S1755020320000398_r70","volume-title":"A Friendly Introduction to Number Theory","author":"Silverman","year":"2012"},{"key":"S1755020320000398_r7","first-page":"317","volume-title":"The Philosophy of Mathematical Practice","author":"Avigad","year":"2011"},{"key":"S1755020320000398_r18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6313-5"},{"key":"S1755020320000398_r41","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814532"},{"key":"S1755020320000398_r24","volume-title":"The Geometry of Schemes","author":"Eisenbud","year":"2000"},{"key":"S1755020320000398_r9","doi-asserted-by":"publisher","DOI":"10.1007\/b97662"},{"key":"S1755020320000398_r28","volume-title":"Measure Theory","author":"Fremlin","year":"2010"},{"key":"S1755020320000398_r36","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020319000443"},{"key":"S1755020320000398_r4","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9280-4"},{"key":"S1755020320000398_r45","volume-title":"Mathematical Thought from Ancient to Modern Times","author":"Kline","year":"1990a"},{"key":"S1755020320000398_r55","volume-title":"Ricci Flow and the Poincare Conjecture","author":"Morgan","year":"2007"},{"key":"S1755020320000398_r6","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2005.1655"},{"key":"S1755020320000398_r66","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkm023"},{"key":"S1755020320000398_r84","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020315000234"},{"key":"S1755020320000398_r37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3849-0"},{"key":"S1755020320000398_r43","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1093\/oso\/9780198514763.003.0011","volume-title":"Truth in Mathematics","author":"Jones","year":"1998"},{"key":"S1755020320000398_r59","volume-title":"An Introduction to the Theory of Numbers","author":"Niven","year":"1991"},{"key":"S1755020320000398_r77","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1994-00502-6"},{"key":"S1755020320000398_r14","first-page":"60","volume-title":"From Kant to Hilbert Volume 1: A Source Book in the Foundations of Mathematics","author":"Berkeley","year":"1999"},{"key":"S1755020320000398_r33","doi-asserted-by":"publisher","DOI":"10.1090\/noti988"},{"key":"S1755020320000398_r11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7288-0"},{"key":"S1755020320000398_r61","unstructured":"Perelman, G. (2002). The entropy formula for the Ricci flow and its geometric applications. arXiv:math\/0211159."},{"key":"S1755020320000398_r82","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511808234"},{"key":"S1755020320000398_r15","doi-asserted-by":"publisher","DOI":"10.1023\/B:LOGI.0000036831.48866.12"},{"key":"S1755020320000398_r23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"S1755020320000398_r50","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9982-5"},{"key":"S1755020320000398_r75","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-019-00180-9"},{"key":"S1755020320000398_r10","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/12.2.81"},{"key":"S1755020320000398_r2","volume-title":"Algebra: Chapter 0","author":"Aluffi","year":"2009"},{"key":"S1755020320000398_r58","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1977-14398-X"},{"key":"S1755020320000398_r54","doi-asserted-by":"publisher","DOI":"10.1016\/0315-0860(89)90019-0"},{"key":"S1755020320000398_r38","volume-title":"Algebraic Topology by Allen Hatcher","author":"Hatcher","year":"2001"},{"key":"S1755020320000398_r22","first-page":"3","volume-title":"Proof and Other Dilemmas: Mathematics and Philosophy","author":"Detlefsen","year":"2009"},{"key":"S1755020320000398_r42","volume-title":"Set Theory: The Third Millennium Edition","author":"Jech","year":"2006"},{"key":"S1755020320000398_r51","volume-title":"Introduction to Topological Manifolds","author":"Lee","year":"2000"},{"key":"S1755020320000398_r63","unstructured":"Perelman, G. (2003b). Ricci flow with surgery on three-manifolds. arXiv:math\/0303109."},{"key":"S1755020320000398_r52","doi-asserted-by":"publisher","DOI":"10.1057\/9780230245198_13"},{"key":"S1755020320000398_r69","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1954.11988420"},{"key":"S1755020320000398_r57","first-page":"773","article-title":"Desperately seeking mathematical truth","volume":"55","author":"Nathanson","year":"2008","journal-title":"Notices of the American Mathematical Society"},{"key":"S1755020320000398_r80","first-page":"162","volume-title":"Proof, Logic and Formalization","author":"Tragesser","year":"1992"},{"key":"S1755020320000398_r8","volume-title":"Category Theory","author":"Awodey","year":"2010"},{"key":"S1755020320000398_r21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28582-5_3"},{"key":"S1755020320000398_r13","volume-title":"Introduction to Real Analysis","author":"Bartle","year":"2000"},{"key":"S1755020320000398_r34","first-page":"45","article-title":"Jordan\u2019s proof of the Jordan Curve theorem","volume":"10","author":"Hales","year":"2007","journal-title":"Studies in Logic, Grammar and Rhetoric"},{"key":"S1755020320000398_r35","volume-title":"Naive Set Theory","author":"Halmos","year":"2011"},{"key":"S1755020320000398_r53","volume-title":"Categories for the Working Mathematician","author":"MacLane","year":"1998"},{"key":"S1755020320000398_r72","volume-title":"Algebraic Topology\u2014Homotopy and Homology","author":"Switzer","year":"2002"},{"key":"S1755020320000398_r44","unstructured":"Jordan, C. (1887). Cours d\u2019analyse de l\u2019ecole polytechnique."},{"key":"S1755020320000398_r48","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-0007-5"},{"key":"S1755020320000398_r30","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"S1755020320000398_r68","volume-title":"Real and Complex Analysis","author":"Rudin","year":"1987"},{"key":"S1755020320000398_r3","doi-asserted-by":"publisher","DOI":"10.1080\/08989621.2016.1274885"},{"key":"S1755020320000398_r73","first-page":"199","article-title":"On sets of integers containing no k elements in arithmetic progression","volume":"27","author":"Szemer\u00e9di","year":"1975","journal-title":"Polska Akademia Nauk. Instytut Matematyczny Acta Arithmetica"},{"key":"S1755020320000398_r27","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1947-08785-1"},{"key":"S1755020320000398_r81","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1905-1500697-4"},{"key":"S1755020320000398_r40","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1993-00413-0"},{"key":"S1755020320000398_r17","first-page":"1","volume-title":"Deduction, Computation, Experiment","author":"Celluci","year":"2009"},{"key":"S1755020320000398_r56","volume-title":"Topology","author":"Munkres","year":"2000"},{"key":"S1755020320000398_r49","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-017-1558-x"},{"key":"S1755020320000398_r71","doi-asserted-by":"publisher","DOI":"10.1080\/01445340.2013.835099"},{"key":"S1755020320000398_r32","volume-title":"The Princeton Companion to Mathematics","author":"Gowers","year":"2008"},{"key":"S1755020320000398_r31","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9284-0"},{"key":"S1755020320000398_r60","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkn030"},{"key":"S1755020320000398_r67","doi-asserted-by":"publisher","DOI":"10.1515\/9781400884223"},{"key":"S1755020320000398_r12","volume-title":"Theory of Linear Operations","author":"Banach","year":"1987"},{"key":"S1755020320000398_r16","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198722229.001.0001"},{"key":"S1755020320000398_r46","volume-title":"Mathematical Thought from Ancient to Modern Times","author":"Kline","year":"1990b"},{"key":"S1755020320000398_r76","volume-title":"Understanding Mathematical Proof","author":"Taylor","year":"2014"},{"key":"S1755020320000398_r64","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"Prawitz","year":"1965"},{"key":"S1755020320000398_r1","volume-title":"The Argument of Mathematics. Logic, Epistemology, and the Unity of Science","author":"Aberdein","year":"2013"},{"key":"S1755020320000398_r29","volume-title":"Representation Theory: A First Course","author":"Fulton","year":"1991"},{"key":"S1755020320000398_r47","volume-title":"Introductory Modal Logic","author":"Konyndyk","year":"1986"},{"key":"S1755020320000398_r62","unstructured":"Perelman, G. (2003a). Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv:math\/0307245."},{"key":"S1755020320000398_r74","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkv008"},{"key":"S1755020320000398_r78","doi-asserted-by":"publisher","DOI":"10.1515\/9781400865321"},{"key":"S1755020320000398_r79","first-page":"57","volume-title":"Proof, Logic and Formalization","author":"Tieszen","year":"1992"},{"key":"S1755020320000398_r83","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61935-9"},{"key":"S1755020320000398_r20","volume-title":"Dictionary of Scientific Biography Volume II: Hans Berger\u2014Christoph Buys Ballot","author":"Coulston","year":"1970"},{"key":"S1755020320000398_r65","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/7.1.5"},{"key":"S1755020320000398_r5","volume-title":"Algebra","author":"Artin","year":"1991"},{"key":"S1755020320000398_r39","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9449-5"},{"key":"S1755020320000398_r19","volume-title":"Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras and Predicate Calculus: A Course with Exercises","author":"Cori","year":"2000"},{"key":"S1755020320000398_r26","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2003.11920029"}],"updated-by":[{"DOI":"10.1017\/s1755020322000028","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T00:00:00Z","timestamp":1603238400000}}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020320000398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T01:09:52Z","timestamp":1723770592000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020320000398\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,21]]},"references-count":83,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["S1755020320000398"],"URL":"https:\/\/doi.org\/10.1017\/s1755020320000398","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10,21]]},"assertion":[{"value":"\u00a9 The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}