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

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:	Creators Email ORCID Avigad, Jeremy avigad@cmu.edu 0000-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

• Reliability of mathematical inference. (deposited 02 Aug 2019 23:26) [Currently Displayed]
  • Reliability of mathematical inference. (deposited 17 Dec 2019 15:30)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item