PhilSci Archive

Reliability of mathematical inference

Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]

This is the latest version of this item.

[img]
Preview
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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Avigad, Jeremyavigad@cmu.edu0000-0003-1275-315X
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

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item