- Visual thinking in mathematics: an epistemological study.Marcus Giaquinto - 2007 - New York: Oxford University Press.details
|
|
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.details
|
|
Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm.Henrik Kragh Sørensen - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP: philosophy of mathematics: sociological aspsects and mathematical practice. London: College Publications. pp. 341--360.details
|
|
Rules for the Direction of the Mind.René Descartes - 1952 - Indianapolis: Liberal Arts Press.details
|
|
Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino - 2014 - Erkenntnis 79 (4):829-842.details
|
|
Diagrams.Sun-Joo Shin - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The four-color problem and its philosophical significance.Thomas Tymoczko - 1979 - Journal of Philosophy 76 (2):57-83.details
|
|
Rule-Circularity and the Justification of Deduction.Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625 - 648.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.details
|
|
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.details
|
|
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.details
|
|
Believing the axioms. II.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (3):736-764.details
|
|
Can we resolve the continuum hypothesis?Shivaram Lingamneni - 2020 - Synthese 197 (2):599-622.details
|
|
Proofs and refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.details
|
|
Randomized arguments are transferable.Jeffrey C. Jackson - 2009 - Philosophia Mathematica 17 (3):363-368.details
|
|
The justification of deduction.Susan Haack - 1976 - Mind 85 (337):112-119.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
Non-deductive logic in mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.details
|
|
Probabilistic Proofs and the Collective Epistemic Goals of Mathematicians.Don Fallis - 2011 - In Hans Bernhard Schmid, Daniel Sirtes & Marcel Weber (eds.), Collective Epistemology. Heusenstamm, Germany: Ontos. pp. 157-175.details
|
|
Intentional gaps in mathematical proofs.Don Fallis - 2003 - Synthese 134 (1-2):45 - 69.details
|
|
The Role of Axioms in Mathematics.Kenny Easwaran - 2008 - Erkenntnis 68 (3):381-391.details
|
|
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.details
|
|
What The Tortoise Said To Achilles.Lewis Carroll - 1895 - Mind 104 (416):691-693.details
|
|
Proof and the Virtues of Shared Enquiry.Don Berry - forthcoming - Philosophia Mathematica:nkw022.details
|
|
Experimental Mathematics.Alan Baker - 2008 - Erkenntnis 68 (3):331-344.details
|
|
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.details
|
|
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.details
|
|
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.details
|
|
Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.details
|
|
Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.details
|
|
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.details
|
|
Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures.James Robert Brown - 2008 - New York: Routledge.details
|
|
Is there a problem of induction for mathematics?Alan Baker - 2007 - In M. Potter (ed.), Mathematical Knowledge. Oxford University Press. pp. 57-71.details
|
|
The Epistemic Status of Probabilistic Proof.Don Fallis - 1997 - Journal of Philosophy 94 (4):165-186.details
|
|
Should Mathematicians Play Dice?Don Berry - 2019 - Logique Et Analyse 246 (62):135-160.details
|
|
Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics.David H. Bailey & Jonathan M. Borwein - unknowndetails
|
|
Towards a Philosophy of Real Mathematics.David Corfield - 2003 - Studia Logica 81 (2):285-289.details
|
|
Mathematical explanation: Why it matters.Paolo Mancosu - 2008 - In The Philosophy of Mathematical Practice. Oxford University Press. pp. 134--149.details
|
|
How to Choose New Axioms for Set Theory?Laura Fontanella - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.details
|
|
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.details
|
|
A Machine-Checked Proof of the Odd Order Theorem.Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Francois Garillot, Stephane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi & Laurent Thery - unknowndetails
|
|