Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]
There is a more recent version of this item available. 

Text
reliability.pdf Download (266kB)  Preview 
Abstract
Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. This is also a demand that is especially hard to fulfill, given the fragility and complexity of mathematical proof. This essay considers some of ways that mathematics supports reliable assessment, which is necessary to maintain the coherence and stability of the practice.
Export/Citation:  EndNote  BibTeX  Dublin Core  ASCII/Text Citation (Chicago)  HTML Citation  OpenURL 
Social Networking: 
Item Type:  Preprint  

Creators: 


Keywords:  mathematical proof, formalization, reliability  
Subjects:  Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof Specific Sciences > Mathematics > Values 

Depositing User:  Prof. Jeremy Avigad  
Date Deposited:  02 Aug 2019 23:26  
Last Modified:  02 Aug 2019 23:26  
Item ID:  16283  
Subjects:  Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof Specific Sciences > Mathematics > Values 

Date:  1 August 2019  
URI:  http://philsciarchive.pitt.edu/id/eprint/16283 
Available Versions of this Item
 Reliability of mathematical inference. (deposited 02 Aug 2019 23:26) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item 