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: 34,999
Through your library

References found in this work BETA

Why Do We Prove Theorems?Y. Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford University Press.
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 16 references / Add more references

Citations of this work BETA

Informal Proof, Formal Proof, Formalism.Alan Weir - forthcoming - Review of Symbolic Logic:1-21.
Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - forthcoming - Philosophia Mathematica:nky011.
Proof Systems for BAT Consequence Relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.

View all 6 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.
Why Do We Prove Theorems?Y. Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Objects and Processes in Mathematical Practice.Uwe 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 downloads
124 ( #48,470 of 2,275,137 )

Recent downloads (6 months)
4 ( #111,836 of 2,275,137 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature