Items where Subject is "Specific Sciences > Mathematics > Proof"
Group by: Creators | Item Type Jump to: Preprint | Published Article or Volume Number of items at this level: 6. PreprintLampert, 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 VolumeD'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 |