PhilSci Archive

Items where Subject is "Specific Sciences > Mathematics > Proof"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Number of items at this level: 6.

Preprint

Lampert, Timm (2017) Turing's Fallacies. [Preprint]

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. [Preprint]

Werndl, Charlotte (2009) Justifying Definitions in Mathematics—Going Beyond Lakatos. [Preprint]

Published Article or Volume

D'Alessandro, William (2017) Mathematical Explanation Beyond Explanatory Proof. The British Journal for the Philosophy of Science.

Larvor, Brendan (2012) How to think about informal proofs. Synthese, 187 (2). pp. 715-730. ISSN 0039-7857

Larvor, Brendan (2016) Why the Naive Derivation Recipe Model Cannot Explain How Mathematician's Proofs Secure Mathematical Knowledge. Philosophia Mathematica, 24 (3). pp. 401-404. ISSN 0031-8019

This list was generated on Fri Sep 22 00:12:39 2017 EDT.