Rigour and Proof

Oliver M W Tatton-Brown*

*Corresponding author for this work

Research output: Contribution to journalArticle (Academic Journal)peer-review

55 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 languageEnglish
Number of pages29
JournalReview of Symbolic Logic
Early online date21 Oct 2020
DOIs
Publication statusE-pub ahead of print - 21 Oct 2020

Keywords

  • Mathematical rigour
  • Mathematical proof
  • Validity
  • Formalizability
  • Mathematical practice
  • Length of proofs

Fingerprint

Dive into the research topics of 'Rigour and Proof'. Together they form a unique fingerprint.

Cite this