Items where Subject is "Specific Sciences > Mathematics > Proof"
Group by: Creators | Item Type Number of items at this level: 10. BBordg, Anthony (2018) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. [Preprint] DD'Alessandro, William (2017) Mathematical Explanation Beyond Explanatory Proof. The British Journal for the Philosophy of Science. EEastaugh, Benedict (2018) Computational reverse mathematics and foundational analysis. [Preprint] Eastaugh, Benedict (2018) Set existence principles and closure conditions: unravelling the standard view of reverse mathematics. [Preprint] HHsiung, Ming (2018) What Paradoxes Depends on. [Preprint] LLampert, Timm (2017) Turing's Fallacies. [Preprint] 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 SSarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461. WWerndl, Charlotte (2009) Justifying Definitions in Mathematicsâ€”Going Beyond Lakatos. [Preprint] |