Rigour and Proof

Oliver M W Tatton-Brown*

*Corresponding author for this work

Research output: Contribution to journalArticle (Academic Journal)

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
JournalReview of Symbolic Logic
Publication statusAccepted/In press - 13 Sep 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