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

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: 104,556

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

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.
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.
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 (#115,051)

6 months
10 (#380,435)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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