PhilSci Archive

Reliability of mathematical inference

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

WarningThere is a more recent version of this item available.
[img]
Preview
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:
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: 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: https://philsci-archive.pitt.edu/id/eprint/16283

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