Rigour and Intuition

Oliver M W Tatton-Brown

doi:10.1007/s10670-019-00180-9

Rigour and Intuition

Oliver M W Tatton-Brown

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

3 Citations (Scopus)

150 Downloads (Pure)

Abstract

This paper sketches an account of the standard of acceptable proof in mathematics - rigour - arguing that the key requirement of rigour in mathematics is that nontrivial inferences be provable in greater detail. This account is contrasted with a recent perspective put forward by De Toffoli and Giardino, who base their claims on a case study of an argument from knot theory. I argue that De Toffoli and Giardino's conclusions are not supported by the case study they present, which instead is a very good illustration of the kind of view of proof defended here.

Original language	English
Number of pages	25
Journal	Erkenntnis
DOIs	https://doi.org/10.1007/s10670-019-00180-9
Publication status	Published - 13 Dec 2019

Keywords

Rigour
Proof
Intuition
Knot Theory
Formalizability

Access to Document

10.1007/s10670-019-00180-9

Full-text PDF (final published version)
This is the final published version of the article (version of record). It first appeared online via Springer Nature at https://link.springer.com/article/10.1007/s10670-019-00180-9. Please refer to any applicable terms of use of the publisher.
Final published version, 1.06 MBLicence: CC BY

Handle.net

Persistent link

Embargoed Document

Full-text PDF (author’s accepted manuscript)
Accepted author manuscript, 152 KB
Request copy

Rigour, Proof and Soundness
Tatton-Brown, O. M. W. (Author), Campbell-Moore, C. (Supervisor) & Welch, P. (Supervisor), 12 May 2020
Student thesis: Doctoral Thesis › Doctor of Philosophy (PhD)

File

Cite this

@article{35b84e4d4423454985621ed8bc580065,

title = "Rigour and Intuition",

abstract = "This paper sketches an account of the standard of acceptable proof in mathematics - rigour - arguing that the key requirement of rigour in mathematics is that nontrivial inferences be provable in greater detail. This account is contrasted with a recent perspective put forward by De Toffoli and Giardino, who base their claims on a case study of an argument from knot theory. I argue that De Toffoli and Giardino's conclusions are not supported by the case study they present, which instead is a very good illustration of the kind of view of proof defended here.",

keywords = "Rigour, Proof, Intuition, Knot Theory, Formalizability",

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

year = "2019",

month = dec,

day = "13",

doi = "10.1007/s10670-019-00180-9",

language = "English",

journal = "Erkenntnis",

issn = "0165-0106",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Rigour and Intuition

AU - Tatton-Brown, Oliver M W

PY - 2019/12/13

Y1 - 2019/12/13

N2 - This paper sketches an account of the standard of acceptable proof in mathematics - rigour - arguing that the key requirement of rigour in mathematics is that nontrivial inferences be provable in greater detail. This account is contrasted with a recent perspective put forward by De Toffoli and Giardino, who base their claims on a case study of an argument from knot theory. I argue that De Toffoli and Giardino's conclusions are not supported by the case study they present, which instead is a very good illustration of the kind of view of proof defended here.

AB - This paper sketches an account of the standard of acceptable proof in mathematics - rigour - arguing that the key requirement of rigour in mathematics is that nontrivial inferences be provable in greater detail. This account is contrasted with a recent perspective put forward by De Toffoli and Giardino, who base their claims on a case study of an argument from knot theory. I argue that De Toffoli and Giardino's conclusions are not supported by the case study they present, which instead is a very good illustration of the kind of view of proof defended here.

KW - Rigour

KW - Proof

KW - Intuition

KW - Knot Theory

KW - Formalizability

U2 - 10.1007/s10670-019-00180-9

DO - 10.1007/s10670-019-00180-9

M3 - Article (Academic Journal)

SN - 0165-0106

JO - Erkenntnis

JF - Erkenntnis

ER -

Rigour and Intuition

Abstract

Keywords

Access to Document

Handle.net

Embargoed Document

Fingerprint

Student theses

Rigour, Proof and Soundness

Cite this