Rigour and Proof

Oliver M W Tatton-Brown

doi:10.1017/S1755020320000398

Rigour and Proof

Oliver M W Tatton-Brown^*

^*Corresponding author for this work

Research output: Contribution to journal › Article (Academic Journal) › peer-review

2 Citations (Scopus)

244 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	480 - 508
Number of pages	29
Journal	Review of Symbolic Logic
Volume	16
Issue number	2
Early online date	21 Oct 2020
DOIs	https://doi.org/10.1017/S1755020320000398
Publication status	Published - 1 Jun 2023

Bibliographical note

Publisher Copyright:
© The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.

Keywords

Mathematical rigour
Mathematical proof
Validity
Formalizability
Mathematical practice
Length of proofs

Access to Document

10.1017/S1755020320000398Licence: Unspecified

Full-text PDF (author accepted manuscript)
This is the author accepted manuscript (AAM). The final published version (version of record) is available online via Cambridge University Press at [insert hyperlink] . Please refer to any applicable terms of use of the publisher.
Accepted author manuscript, 399 KB

Handle.net

Persistent link

Cite this

@article{782f5737dd3141cc91f5542c24e7d4dc,

title = "Rigour and Proof",

abstract = "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.",

keywords = "Mathematical rigour, Mathematical proof, Validity, Formalizability, Mathematical practice, Length of proofs",

author = "Tatton-Brown, \{Oliver M W\}",

note = "Publisher Copyright: {\textcopyright} The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.",

year = "2023",

month = jun,

day = "1",

doi = "10.1017/S1755020320000398",

language = "English",

volume = "16",

pages = "480 -- 508",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Rigour and Proof

AU - Tatton-Brown, Oliver M W

N1 - Publisher Copyright: © The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.

PY - 2023/6/1

Y1 - 2023/6/1

N2 - 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.

AB - 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.

KW - Mathematical rigour

KW - Mathematical proof

KW - Validity

KW - Formalizability

KW - Mathematical practice

KW - Length of proofs

U2 - 10.1017/S1755020320000398

DO - 10.1017/S1755020320000398

M3 - Article (Academic Journal)

SN - 1755-0203

VL - 16

SP - 480

EP - 508

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 2

ER -

Rigour and Proof

Abstract

Bibliographical note

Keywords

Access to Document

Handle.net

Fingerprint

Cite this