Informal proofs and mathematical rigour

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

Authors
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
Keywords mathematical proof  mathematical rigour  foundations  formalisation  formal method
Categories (categorize this paper)
DOI 10.1007/s11225-010-9280-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 48,857
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.

View all 17 references / Add more references

Citations of this work BETA

Informal Proof, Formal Proof, Formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.

View all 7 citations / Add more citations

Similar books and articles

How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Carnap, Formalism, and Informal Rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Managing Informal Mathematical Knowledge: Techniques From Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
Mathematical Arguments in Context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Why Do Informal Proofs Conform to Formal Norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.

Analytics

Added to PP index
2010-11-17

Total views
163 ( #51,750 of 2,309,421 )

Recent downloads (6 months)
13 ( #54,653 of 2,309,421 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature