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
Jump to: A | B | C | D | E | F | H | K | L | M | P | R | S | W | Z
Number of items at this level: 41.

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

Carlson, Matthew (2022) Anti-Exceptionalism and the Justification of Basic Logical Principles. [Preprint]

Clarke-Doane, Justin (2022) Mathemtics and Metaphilosophy. Cambridge Elements.

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

D'Alessandro, William and Lehet, Ellen (2022) Mathematical Explanation and Understanding: A Noetic Account. In: UNSPECIFIED.

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

Halák, Jan (2021) Mathematics Embodied: Merleau-Ponty on Geometry and Algebra as Fields of Motor Enaction. [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]

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]

Lange, Marc (2021) Challenges Facing Counterfactual Accounts of Explanation in Mathematics. [Preprint]

Larvor, Brendan (2012) How to think about informal proofs. Synthese, 187 (2). pp. 715-730. ISSN 0039-7857

Larvor, Brendan (2022) On the unreasonable reliability of mathematical inference. [Preprint]

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]

Z

Zayton, Benjamin (2022) Open Texture, Rigor, and Proof. [Preprint]

This list was generated on Thu Oct 6 00:25:29 2022 EDT.