John W. Dawson, Jr. Why Prove it Again: Alternative Proofs in Mathematical Practice

Philosophia Mathematica 24 (2):256-263 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,038

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

Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - Cambridge and London: Cambridge University Press.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.

Analytics

Added to PP
2016-06-21

Downloads
29 (#484,299)

6 months
1 (#1,087,801)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Wittgenstein on the Foundations of Mathematics.Crispin Wright - 1980 - Cambridge, Mass.: Harvard University Press.
Wittgenstein on the Foundations of Mathematics. [REVIEW]Mark Steiner - 1980 - Journal of Symbolic Logic 49 (4):1415-1417.

Add more references