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.

Other Versions

reprint van Bendegem, Jean Paul (1988) "Non-Formal Properties of Real Mathematical Proofs". PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988():249-254

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

The Paradox of Predictability.J. T. Ismael - 2016 - In Jenann Ismael (ed.), How Physics Makes Us Free. , US: Oxford University Press USA.
Socializing Aspects of Proof Procedure.Jaroslaw Mrozek - 2018 - Proceedings of the XXIII World Congress of Philosophy 56:25-31.
On Seeing That Someone is Angry.William McNeill - 2010 - European Journal of Philosophy 20 (4):575-597.
Confession of a causal decision theorist.Adam Elga - 2022 - Analysis 82 (2):203-213.
Why Is Proof the Only Way to Acquire Mathematical Knowledge?Marc Lange - 2024 - Australasian Journal of Philosophy 102 (2):333-353.
Introduction to proof through number theory.Bennett Chow - 2023 - Providence, Rhode Island, USA: American Mathematical Society.

Analytics

Added to PP
2023-07-30

Downloads
8 (#1,574,674)

6 months
5 (#1,002,523)

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