Back to Search Start Over

RIGOUR AND PROOF.

Authors :
TATTON-BROWN, OLIVER
Source :
Review of Symbolic Logic. Jun2023, Vol. 16 Issue 2, p480-508. 29p.
Publication Year :
2023

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. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
17550203
Volume :
16
Issue :
2
Database :
Academic Search Index
Journal :
Review of Symbolic Logic
Publication Type :
Academic Journal
Accession number :
163757871
Full Text :
https://doi.org/10.1017/S1755020320000398