Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):345-360 (2014)
  Copy   BIBTEX

Abstract

Mathematics seems to have a special status when compared to other areas of human knowledge. This special status is linked with the role of proof. Mathematicians often believe that this type of argumentation leaves no room for errors and unclarity. Philosophers of mathematics have differentiated between absolutist and fallibilist views on mathematical knowledge, and argued that these views are related to whether one looks at mathematics-in-the-making or finished mathematics. In this paper we take a closer look at mathematical practice, more precisely at the publication process in mathematics. We argue that the apparent view that mathematical literature, given the special status of mathematics, is highly reliable is too naive. We will discuss several problems in the publication process that threaten this view, and give several suggestions on how this could be countered.Las matemáticas parecen tener un estatuto especial cuando se las compara con otras áreas del conocimiento humano. Este estatuto especial está conectado con el papel de la demostración. Los matemáticos creen con frecuencia que este tipo de argumentos no deja margen para el error o la falta de claridad. Los filósofos de la matemática han distinguido entre una concepción absolutista y una falibilista del conocimiento matemático, argumentando que estas concepciones están relacionadas con una consideración de las matemáticas-en-proceso o en tanto que matemáticas ya hechas. En este artículo examinamos más de cerca la práctica matemática, más en concreto el proceso de publicación en matemáticas. Argumentaremos que la idea preconcebida de que la literatura matemática, dado el estatuto especial de las matemáticas, es altamente fiable, es demasiado ingenua. Discutiremos algunos problemas del proceso de edición que amenazan esta visión y haremos algunas sugerencias sobre cómo enfrentarlos.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2015-01-22

Downloads
21 (#718,251)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joachim Frans
Vrije Universiteit Brussel

Citations of this work

Epistemic autonomy and group knowledge.Chris Dragos - 2019 - Synthese 198 (7):6259-6279.
“Peer Review is Melting Our Glaciers”: What Led the Intergovernmental Panel on Climate Change to Go Astray?Laszlo Kosolosky - 2015 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 46 (2):351-366.

Add more citations

References found in this work

No references found.

Add more references