Back to Search
Start Over
RIGOUR AND PROOF.
- 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]
- Subjects :
- *DISPUTE resolution
*MATHEMATICAL proofs
*MATHEMATICIANS
*THEORY of knowledge
Subjects
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