- How to Frame Understanding in Mathematics: A Case Study Using Extremal Proofs.Merlin Carl, Marcos Cramer, Bernhard Fisseni, Deniz Sarikaya & Bernhard Schröder - 2021 - Axiomathes 31 (5):649-676.details
|
|
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.details
|
|
How to Nominalize Formalism &dagger.Jody Azzouni - 2005 - Philosophia Mathematica 13 (2):135-159.details
|
|
Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.details
|
|
Audience role in mathematical proof development.Zoe Ashton - 2020 - Synthese 198 (Suppl 26):6251-6275.details
|
|
Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.details
|
|
Existence, Mathematical Nominalism, and Meta-Ontology: An Objection to Azzouni on Criteria for Existence.Farbod Akhlaghi-Ghaffarokh - 2018 - Philosophia Mathematica 26 (2):251-265.details
|
|
Mathematics and argumentation.Andrew Aberdein - 2009 - Foundations of Science 14 (1-2):1-8.details
|
|
Depth and Clarity * Felix Muhlholzer. Braucht die Mathematik eine Grundlegung? Eine Kommentar des Teils III von Wittgensteins Bemerkungen uber die Grundlagen der Mathematik [Does Mathematics need a Foundation? A Commentary on Part III of Wittgenstein's Remarks on the Foundations of Mathematics]. Frankfurt: Vittorio Klostermann, 2010. ISBN: 978-3-465-03667-8. Pp. xiv + 602. [REVIEW]Juliet Floyd - 2015 - Philosophia Mathematica 23 (2):255-276.details
|
|
And so on... : reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371-386.details
|
|
Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?Simon Weisgerber - 2022 - In Giardino V., Linker S., Burns R., Bellucci F., Boucheix J.-M. & Viana P. (eds.), Diagrammatic Representation and Inference. 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. Springer, Cham. pp. 37-53.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding.Sven Delarivière & Bart Van Kerkhove - 2017 - In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Birkhäuser. pp. 173-198.details
|
|
Open texture, rigor, and proof.Benjamin Zayton - 2022 - Synthese 200 (4):1-20.details
|
|
Informal proof, formal proof, formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.details
|
|
The role of syntactic representations in set theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.details
|
|
Role of Imagination and Anticipation in the Acceptance of Computability Proofs: A Challenge to the Standard Account of Rigor.Keith Weber - 2022 - Philosophia Mathematica 30 (3):343-368.details
|
|
Mathematical consensus: a research program.Roy Wagner - 2022 - Axiomathes 32 (3):1185-1204.details
|
|
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.details
|
|
Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
On the Contemporary Practice of Philosophy of Mathematics.Colin Jakob Rittberg - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):5-26.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
Deflating existence away? A critique of Azzouni's nominalism.Yvonne Raley - 2009 - Philosophia Mathematica 17 (1):73-83.details
|
|
Why do we believe theorems?Andrzej Pelc - 2009 - Philosophia Mathematica 17 (1):84-94.details
|
|
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.details
|
|
What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.details
|
|
Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide.John Mumma - 2011 - Les Etudes Philosophiques 97 (2):243.details
|
|
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.details
|
|
Formalizability and Knowledge Ascriptions in Mathematical Practice.Eva Müller-Hill - 2009 - Philosophia Scientiae 13 (2):21-43.details
|
|
Formalizability and Knowledge Ascriptions in Mathematical Practice.Eva Müller-Hill - 2009 - Philosophia Scientiae 13:21-43.details
|
|
Measuring the Agreement of Mathematical Peer Reviewers.Benedikt Löwe - forthcoming - Axiomathes:1-15.details
|
|
Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge.Brendan Larvor - 2016 - Philosophia Mathematica 24 (3):401-404.details
|
|
On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.details
|
|
From Euclidean geometry to knots and nets.Brendan Larvor - 2017 - Synthese:1-22.details
|
|
From Euclidean geometry to knots and nets.Brendan Larvor - 2019 - Synthese 196 (7):2715-2736.details
|
|
Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society.Deborah Kant & Deniz Sarikaya - 2020 - Synthese 199 (1-2):3405-3429.details
|
|
Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.details
|
|
On Mathematicians' Different Standards When Evaluating Elementary Proofs.Matthew Inglis, Juan Pablo Mejia-Ramos, Keith Weber & Lara Alcock - 2013 - Topics in Cognitive Science 5 (2):270-282.details
|
|
Andrew Aberdein and Ian J. Dove (eds): The Argument of Mathematics (Logic, Epistemology and the Unity of Science, Vol. 30): Springer, Dordrecht, The Netherlands, 2013, x + 393 pp. [REVIEW]David Hitchcock - 2014 - Argumentation 28 (2):245-258.details
|
|
Mathematical rigor, proof gap and the validity of mathematical inference.Yacin Hamami - 2014 - Philosophia Scientiae 18 (1):7-26.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician.Norma B. Goethe & Michèle Friend - 2010 - Studia Logica 96 (2):273-288.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
And so on...: reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.details
|
|
Rebutting and undercutting in mathematics.Kenny Easwaran - 2015 - Philosophical Perspectives 29 (1):146-162.details
|
|
Towards a theory of mathematical argument.Ian J. Dove - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), Foundations of Science. Springer. pp. 291--308.details
|
|
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.details
|
|
Andrew Aberdein and Ian J. Dove, eds. The Argument of Mathematics. Logic, Epistemology, and the Unity of Science; 30. Dordrecht: Springer, 2013. ISBN: 978-94-007-6533-7 ; 978-94-007-6534-4 . Pp. x + 393. [REVIEW]David DeVidi - 2015 - Philosophia Mathematica 23 (2):276-280.details
|
|
Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.details
|
|