Informal proofs and mathematical rigour

Studia Logica 96 (2):261-272 (2010)
  Copy   BIBTEX

Abstract

The aim of this paper is to provide epistemic reasons for investigating the notions of informal rigour and informal provability. I argue that the standard view of mathematical proof and rigour yields an implausible account of mathematical knowledge, and falls short of explaining the success of mathematical practice. I conclude that careful consideration of mathematical practice urges us to pursue a theory of informal provability

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9280-4

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,667

External links

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

Through your library

My notes

Similar books and articles

Mathematical Rigour and Informal Proof.Fenner Stanley Tanswell - 2024 - Cambridge University Press.
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
Rigour and Proof – Corrigendum.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (1):338-338.
On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Benacerraf’s dilemma and informal mathematics.Gregory Lavers - 2009 - Review of Symbolic Logic 2 (4):769-785.
Carnap, formalism, and informal rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.
Structuralism and informal provability.Georg Schiemer & John Wigglesworth - 2023 - Synthese 202 (2):1-26.
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.

Analytics

Added to PP
2010-11-17

Downloads
239 (#116,088)

6 months
10 (#383,144)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
Audience role in mathematical proof development.Zoe Ashton - 2020 - Synthese 198 (Suppl 26):6251-6275.
Informal proof, formal proof, formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.

View all 20 citations / Add more citations

References found in this work

Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos, Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
Visual Thinking in Mathematics: An Epistemological Study.Marcus Giaquinto - 2007 - Oxford, England: Oxford University Press.
Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: Oxford University Press.
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.

View all 20 references / Add more references