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: B | D | E | F | H | L | M | P | R | S | W
Number of items at this level: 15.

B

Bordg, Anthony (2018) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. [Preprint]

D

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

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

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

L

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

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 Wed Apr 24 05:41:40 2019 EDT.