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: 27.


Ashton, Zoe (2020) Audience Role in Mathematical Proof Development. [Preprint]

Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]

Bentzen, Bruno (2019) Naive cubical type theory. [Preprint]

Cobreros, P and La Rosa, E and Tranchini, L (2020) (I Can’t Get No) Antisatisfaction. [Preprint]

Eastaugh, 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]

Friedman, Michael and Rittberg, Colin Jakob (2019) The Material Reasoning of Folding Paper. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

Hsiung, Ming (2018) What Paradoxes Depends on. [Preprint]

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

Mazurek, Leszek (2020) Division by zero. [Preprint]

Mizrahi, Moti (2020) Proof, Explanation, and Justification in Mathematical Practice. [Preprint]

Redhead, Michael (2019) A Simplified Version of Gödel’s Theorem. [Preprint]

Weber, Keith (2019) The role of syntactic representations in set theory. [Preprint]

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

Published Article or Volume

Bordg, Anthony (2019) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. in Reflections on the Foundations of Mathematics, Synthese Library, 407.

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

D'Alessandro, William (2020) Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth. Synthese. ISSN 1573-0964

Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X

Koshkin, Sergiy (2020) Wittgenstein, Peirce, and paradoxes of mathematical proof. Analytic Philosophy. ISSN 2153-960X

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

Morris, Rebecca (2019) Do mathematical explanations have instrumental value? Synthese. ISSN 1573-0964

Patton, Lydia (2018) Laws of Thought and Laws of Logic After Kant. Logic from Kant to Russell.

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461.

This list was generated on Thu Jul 9 00:33:51 2020 EDT.