Non-Formal Properties of Real Mathematical Proofs

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988 (1):249-254 (1988)
  Copy   BIBTEX

Abstract

Suppose you attend a seminar where a mathematician presents a proof to some of his colleagues. Suppose further that what he is proving is an important mathematical statement Now the following happens: as the mathematician proceeds, his audience is amazed at first, then becomes angry and finally ends up disturbing the lecture (some walk out, some laugh, …). If in addition, you see that the proof he is presenting is formally speaking (nearly) correct, would you say you are witnessing an extraordinary event in urgent need of explanation? Surely, your answer would be yes. But do events of this type actually occur? The matter of the fact is, yes, they do. This paper presents the details of such an event, suggests a possible explanation and examines its implications for our understanding of mathematical practice.

Links

PhilArchive



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

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

Non-Formal Properties of Real Mathematical Proofs.Jean Paul van Bendegem - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:249-254.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
Proofs and arguments: The special case of mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.

Analytics

Added to PP
2023-07-30

Downloads
2 (#1,801,846)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean Paul Van Bendegem
Vrije Universiteit Brussel

Citations of this work

No citations found.

Add more citations

References found in this work

Explanation, independence and realism in mathematics.Michael D. Resnik & David Kushner - 1987 - British Journal for the Philosophy of Science 38 (2):141-158.
Non-deductive logic in mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.

Add more references