Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]
This is the latest version of this item.
|
Text
reliability.pdf - Accepted Version Download (262kB) | Preview |
Abstract
Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification.
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: | 17 Dec 2019 15:30 | ||||||
Last Modified: | 17 Dec 2019 15:30 | ||||||
Item ID: | 16725 | ||||||
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: | 15 December 2019 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/16725 |
Available Versions of this Item
-
Reliability of mathematical inference. (deposited 02 Aug 2019 23:26)
- Reliability of mathematical inference. (deposited 17 Dec 2019 15:30) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |