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: 8. PreprintEastaugh, Benedict (2018) Set existence principles and closure conditions: unravelling the standard view of reverse mathematics. [Preprint] Hsiung, Ming (2018) What Paradoxes Depends on. [Preprint] Lampert, Timm (2017) Turing's Fallacies. [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 Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461. |