- Justification and the growth of error.Sherrilyn Roush - 2013 - Philosophical Studies 165 (2):527-551.details
|
|
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.details
|
|
(1 other version)Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.details
|
|
Mathematical explanation: Problems and prospects.Paolo Mancosu - 2001 - Topoi 20 (1):97-117.details
|
|
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.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
|
|
A Historical Approach to Understanding Explanatory Proofs Based on Mathematical Practices.Erika Oshiro - 2018 - Dissertation, University of South Floridadetails
|
|
Technology and Mathematics.Sven Ove Hansson - 2020 - Philosophy and Technology 33 (1):117-139.details
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem.G. D. Secco - 2017 - In Marcos Silva (ed.), How Colours Matter to Philosophy. Cham: Springer. pp. 289-307.details
|
|
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 11--29.details
|
|
The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond.Leo Corry - 1997 - Science in Context 10 (2):253-296.details
|
|
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.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
|
|
On mathematical error.David Sherry - 1997 - Studies in History and Philosophy of Science Part A 28 (3):393-416.details
|
|
Linearity and Reflexivity in the Growth of Mathematical Knowledge.Leo Corry - 1989 - Science in Context 3 (2):409-440.details
|
|
Fallibility and Fruitfulness of Deductions.Cesare Cozzo - 2021 - Erkenntnis (7):1-17.details
|
|
Theory of Quantum Computation and Philosophy of Mathematics. Part II.Krzysztof Wójtowicz - forthcoming - Logic and Logical Philosophy:1.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
|
|
Kuhnian issues, scientific revolutions and the history of mathematics.Leo Corry - 1993 - Studies in History and Philosophy of Science Part A 24 (1):95-117.details
|
|
(1 other version)Towards a theory of mathematical argument.Ian J. Dove - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 291--308.details
|
|