- The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Recalcitrant Disagreement in Mathematics: An “Endless and Depressing Controversy” in the History of Italian Algebraic Geometry.Silvia De Toffoli & Claudio Fontanari - 2023 - Global Philosophy 33 (38):1-29.details
|
|
Theorem proving in artificial neural networks: new frontiers in mathematical AI.Markus Pantsar - 2024 - European Journal for Philosophy of Science 14 (1):1-22.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics.Ulianov Montano - 2013 - Dordrecht, Netherland: Springer.details
|
|
Arguments over Intuitions?Tomasz Wysocki - 2016 - Review of Philosophy and Psychology 8 (2):477-499.details
|
|
Theory of Quantum Computation and Philosophy of Mathematics. Part II.Krzysztof Wójtowicz - forthcoming - Logic and Logical Philosophy:1.details
|
|
Reading proofs with understanding.George Weaver - 1988 - Theoria 54 (1):31-47.details
|
|
Epistemic phase transitions in mathematical proofs.Scott Viteri & Simon DeDeo - 2022 - Cognition 225 (C):105120.details
|
|
The own character of mathematics discussed with consideration of the proof of the four-color theorem.W. A. Verloren van Themaat - 1989 - Zeitschrift Für Allgemeine Wissenschaftstheorie 20 (2):340-350.details
|
|
Simulation, computation and dynamics in economics.K. Vela Velupillai & Stefano Zambelli - 2015 - Journal of Economic Methodology 22 (1):1-27.details
|
|
The own character of mathematics discussed with consideration of the proof of the four-color theorem.W. A. Verloren van Themaat - 1989 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 20 (2):340-350.details
|
|
Gödel and the concept of meaning in mathematics.Thomas Tymoczko - 1998 - Synthese 114 (1):25-40.details
|
|
Mathematics, science and ontology.Thomas Tymoczko - 1991 - Synthese 88 (2):201 - 228.details
|
|
Formal systems as physical objects: A physicalist account of mathematical truth.la´Szlo´ E. Szabo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.details
|
|
Epistemic Entitlements and the Practice of Computer Simulation.John Symons & Ramón Alvarado - 2019 - Minds and Machines 29 (1):37-60.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
The generalizability of critical thinking.Harvey Siegel - 1991 - Educational Philosophy and Theory 23 (1):18–30.details
|
|
What is a Computer Simulation? A Review of a Passionate Debate.Nicole J. Saam - 2017 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 48 (2):293-309.details
|
|
Non-ontological Structuralism†.Michael Resnik - 2019 - Philosophia Mathematica 27 (3):303-315.details
|
|
2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.details
|
|
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.details
|
|
What is empirical in mathematics?Philip L. Peterson - 1991 - Philosophia Mathematica (1):91-110.details
|
|
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.details
|
|
The Deformity-Related Conception of Ugliness.Panos Paris - 2017 - British Journal of Aesthetics 57 (2):139-160.details
|
|
Philosophical Assumptions Behind the Rejection of Computer-Based Proofs.Katia Parshina - 2023 - Kriterion – Journal of Philosophy 37 (2-4):105-122.details
|
|
The Weak Objectivity of Mathematics and Its Reasonable Effectiveness in Science.Daniele Molinini - 2020 - Axiomathes 30 (2):149-163.details
|
|
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.details
|
|
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.details
|
|
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.details
|
|
Mathematical explanation: Problems and prospects.Paolo Mancosu - 2001 - Topoi 20 (1):97-117.details
|
|
Pinto, Robert C. (2001) Argument, Inference and Dialectic.Jim Mackenzie - 2002 - Argumentation 16 (4):507-514.details
|
|
Forms of knowledge and forms of discussion.Jim Mackenzie - 1998 - Educational Philosophy and Theory 30 (1):27–49.details
|
|
Forms of Knowledge and Forms of Discussion.Jim Mackenzie - 1998 - Educational Philosophy and Theory 30 (1):27-49.details
|
|
Proof, Semiotics, and the Computer: On the Relevance and Limitation of Thought Experiment in Mathematics.Johannes Lenhard - 2022 - Axiomathes 32 (1):29-42.details
|
|
Computing the perfect model: Why do economists Shun simulation?Aki Lehtinen & Jaakko Kuorikoski - 2007 - Philosophy of Science 74 (3):304-329.details
|
|
Formal systems as physical objects: A physicalist account of mathematical truth.la´Szlo´ E. Szabo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.details
|
|
Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs.Stanisław Krajewski - 2020 - Studia Humana 9 (3-4):154-164.details
|
|
Computer-aided proof of Erdős discrepancy properties.Boris Konev & Alexei Lisitsa - 2015 - Artificial Intelligence 224 (C):103-118.details
|
|
Computers as a Source of A Posteriori Knowledge in Mathematics.Mikkel Willum Johansen & Morten Misfeldt - 2016 - International Studies in the Philosophy of Science 30 (2):111-127.details
|
|
Cognitive Artifacts for Geometric Reasoning.Mateusz Hohol & Marcin Miłkowski - 2019 - Foundations of Science 24 (4):657-680.details
|
|
Prove—once more and again.Reuben Hersh - 1997 - Philosophia Mathematica 5 (2):153-165.details
|
|
Technology and Mathematics.Sven Ove Hansson - 2020 - Philosophy and Technology 33 (1):117-139.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
|
|
Modernizing the philosophy of mathematics.Nicolas D. Goodman - 1991 - Synthese 88 (2):119 - 126.details
|
|
Mathematics as natural science.Nicolas D. Goodman - 1990 - Journal of Symbolic Logic 55 (1):182-193.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Mathematics, The Computer Revolution and the Real World.James Franklin - 1988 - Philosophica 42:79-92.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
|
|