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