Number of items at this level: **34**.

## A

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

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

Avigad, Jeremy
(2021)
*The design of mathematical language.*
[Preprint]

## B

Bacelar Valente, Mario
(2020)
*On the correctness of problem solving in ancient mathematical procedure texts.*
[Preprint]

Bacelar Valente, Mario
(2020)
*On the formal justification of informal proofs.*
[Preprint]

Bacelar Valente, Mario
(2020)
*The correctness of reasoning, logical models, and the faithfulness problem.*
[Preprint]

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

Bentzen, Bruno
(2020)
*What types should not be.*
Philosophia Mathematica, 28 (1).
pp. 60-76.
ISSN 0031-8019

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

Brown, James Robert
(2021)
*Rigour and Thought Experiments: Burgess and Norton.*
[Preprint]

## C

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

## D

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

## E

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]

## F

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

## H

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]

## K

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

## L

Lampert, Timm
(2021)
*Newton’s experimental proofs.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (2).
pp. 261-283.
ISSN 2171-679X

Lampert, 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

## M

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

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

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

## P

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

## R

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

## S

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

## W

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

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

This list was generated on **Sun Oct 24 21:30:03 2021 EDT**.