- 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
|
|
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.details
|
|
Signs as a Theme in the Philosophy of Mathematical Practice.David Waszek - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer.details
|
|
Aritmética e conhecimento simbólico: notas sobre o Tractatus Logico-Philosophicus e o ensino de filosofia da matemática.Gisele Dalva Secco - 2020 - Perspectiva Filosófica 47 (2):120-149.details
|
|
Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - 2023 - Episteme 20 (2):281-307.details
|
|
Mathematicians’ Assessments of the Explanatory Value of Proofs.Juan Pablo Mejía Ramos, Tanya Evans, Colin Rittberg & Matthew Inglis - 2021 - Axiomathes 31 (5):575-599.details
|
|
Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.details
|
|
The Enculturated Move From Proto-Arithmetic to Arithmetic.Markus Pantsar - 2019 - Frontiers in Psychology 10.details
|
|
A fresh look at research strategies in computational cognitive science: The case of enculturated mathematical problem solving.Regina E. Fabry & Markus Pantsar - 2019 - Synthese 198 (4):3221-3263.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
|
|
Mathematical Explanation: A Contextual Approach.Sven Delarivière, Joachim Frans & Bart Van Kerkhove - 2017 - Journal of Indian Council of Philosophical Research 34 (2):309-329.details
|
|
Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.details
|
|
The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression.Jeremy Avigad & Rebecca Morris - 2014 - Archive for History of Exact Sciences 68 (3):265-326.details
|
|
Understanding, formal verification, and the philosophy of mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.details
|
|
Rigour, Proof and Soundness.Oliver M. W. Tatton-Brown - 2020 - Dissertation, University of Bristoldetails
|
|
Philosophy of mathematical practice: A primer for mathematics educators.Yacin Hamami & Rebecca Morris - 2020 - ZDM Mathematics Education 52:1113–1126.details
|
|
Skepticism and Information.Eric T. Kerr & Duncan Pritchard - 2012 - In Hilmi Demir (ed.), Philosophy of Engineering and Technology Volume 8. Springer.details
|
|
Unificatory Understanding and Explanatory Proofs.Joachim Frans - 2020 - Foundations of Science 26 (4):1105-1127.details
|
|
Functional explanation in mathematics.Matthew Inglis & Juan Pablo Mejía Ramos - 2019 - Synthese 198 (26):6369-6392.details
|
|
The Mark of Understanding: In Defense of an Ability Account.Sven Delarivière & Bart Van Kerkhove - 2021 - Axiomathes 31 (5):619-648.details
|
|
Mathematical Beauty, Understanding, and Discovery.Carlo Cellucci - 2015 - Foundations of Science 20 (4):339-355.details
|
|
Prolegomena to virtue-theoretic studies in the philosophy of mathematics.James V. Martin - 2020 - Synthese 199 (1-2):1409-1434.details
|
|
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.Lourdes del Carmen González-Huesca, Favio E. Miranda-Perea & P. Selene Linares-Arévalo - 2019 - Journal of Applied Non-Classical Logics 29 (3):255-287.details
|
|