Why Is Proof the Only Way to Acquire Mathematical Knowledge?

References

• Adams, Ernest (1970) ‘Subjunctive and Indicative Conditionals’, Foundations of Language 6: 89–94. doi:10.2307/2272204.
   Google Scholar
• Baker, Alan (2007) ‘Is There a Problem of Induction for Mathematics?’, in M. Potter, ed., Mathematical Knowledge: 57–71. Oxford University Press.
   Google Scholar
• Baker, Alan (2009) ‘Mathematical Accidents and the End of Explanation’, in Otávio Bueno and Øysten Linnebo, eds., New Waves in Philosophy of Mathematics: 137–59. Palgrave Macmillan.
   Google Scholar
• Bressoud, David (1994) A Radical Approach to Real Analysis. Mathematical Association of America.
   Google Scholar
• Brown, James Robert (2017) ‘Proofs and Guarantees’, Mathematical Intelligencer 39: 47–50. doi:10.1007/s00283-017-9730-1.
   Web of Science ®Google Scholar
• Brown, James Robert (2020) ‘Legitimate Mathematical Methods’, Croatian Journal of Philosophy 58: 1–6.
   Google Scholar
• Buchak, Lara (2014) ‘Belief, Credence, and Norms’, Philosophical Studies 169: 285–311. doi:10.1007/s11098-013-0182-y.
   Web of Science ®Google Scholar
• Carroll, John (1999) ‘The Two Dams and That Damned Paresis’, British Journal for the Philosophy of Science 50: 65–81. doi:10.1093/bjps/50.1.65.
   Web of Science ®Google Scholar
• Colyvan, Mark (2012) An Introduction to the Philosophy of Mathematics. Cambridge University Press.
   Google Scholar
• Davis, Philip (1995) ‘The Rise, Fall, and Possible Transfiguration of Triangle Geometry: A Mini-History’, American Mathematical Monthly 102: 204–14. doi:10.2307/2975007.
   Web of Science ®Google Scholar
• Dawson, John W. (2006) ‘Why Do Mathematicians Re-Prove Theorems?’ Philosophia Mathematica 14: 269–86. doi:10.1093/philmat/nkl009.
   Google Scholar
• Easwaran, Kenny (2009) ‘Probabilistic Proofs and Transferability’, Philosophia Mathematica 17: 341–62. doi:10.1093/philmat/nk032.
   Web of Science ®Google Scholar
• Easwaran, Kenny (2015) ‘Rebutting and Undercutting in Mathematics’, Philosophical Perspectives 29: 146–62. doi:10.1111/phpe.12058.
   Web of Science ®Google Scholar
• Fallis, Don (1996) ‘Mathematical Proof and the Reliability of DNA Evidence’, American Mathematical Monthly 103: 491–97. doi:10.2307/2974716.
   Web of Science ®Google Scholar
• Fallis, Don (1997) ‘The Epistemic Status of Probabilistic Proof’, Journal of Philosophy 94: 165–86. doi:10.2307/2940964.
   Web of Science ®Google Scholar
• Fallis, Don (2002) ‘What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians’, Logique et Analyse 179-80: 373–88.
   Google Scholar
• Fallis, Don (2011) ‘Probabilistic Proofs and the Collective Epistemic Goals of Mathematicians’, in Hans Bernhard Schmid, Daniel Sirtes, and Marcel Weber, eds., Collective Epistemology: 157–75. Ontos Verlag.
   Google Scholar
• van Fraassen, Bas (1980) The Scientific Image. Clarendon Press.
   Google Scholar
• Franklin, James (2013) ‘Non-Deductive Logic in Mathematics: The Probability of Conjectures’, in Andrew Aberdein and Ian J. Dove, eds., The Argument of Mathematics: 11–29. Springer.
   Google Scholar
• Garfinkel, Alan (1990) Forms of Explanation. Yale University Press.
   Google Scholar
• Guy, Richard (1988) ‘The Strong Law of Small Numbers’, American Mathematical Monthly 95: 697–712. doi:10.2307/2322249.
   Web of Science ®Google Scholar
• Hamami, Yacin (2022) ‘Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge’, Philosophical Quarterly 72: 77–89. doi:10.1093/pq/pqab007.
   Web of Science ®Google Scholar
• Hersh, Reuben (1997) What is Mathematics, Really? Oxford University Press.
   Google Scholar
• Jackson, Jeffrey C. (2009) ‘Randomized Arguments are Transferable’, Philosophia Mathematica 17: 363–68. doi:10.1093/philmat/nkp012.
   Web of Science ®Google Scholar
• Jones, V.F.R. (1998) ‘A Credo of Sorts’, in H.G. Dales and G. Oliveri, eds., Truth in Mathematics: 203–14. Clarendon Press.
   Google Scholar
• Kitcher, Philip (1989) ‘Explanatory Unification and the Causal Structure of the World’, in Philip Kitcher and Wesley Salmon, eds., Scientific Explanation: 410–505. University of Minnesota Press.
   Google Scholar
• Kyburg, Henry (1961) Probability and the Logic of Rational Belief. Wesleyan University Press.
   Google Scholar
• Lange, Marc (2017) Because Without Cause: Non-Causal Explanation in Science and Mathematics. Oxford University Press.
   Google Scholar
• Lange, Marc (2018) ‘Mathematical Explanations that are not Proofs’, Erkenntnis 83: 1285–302. doi:10.1007/s10670-017-9941-z.
   Web of Science ®Google Scholar
• Lange, Marc (2019) ‘Are There both Causal and Non-Causal Explanations of a Rocket’s Acceleration?’, Perspectives on Science 27: 7–25. doi:10.1162/posc_a_00297.
   Google Scholar
• Lange, Marc (2022) ‘Putting Explanation Back into “Inference to the Best Explanation”’, Noûs 56: 84–109. doi:10.1111/nous.12349.
   Web of Science ®Google Scholar
• Leavitt, David (2007) The Indian Clerk. Bloomsbury USA.
   Google Scholar
• Lewis, David (1986) ‘Causal Explanation’, in Philosophical Papers, vol. 2: 214–40. Oxford University Press.
   Google Scholar
• Littlejohn, Clayton and Julien Dutant (2020) ‘Justification, Knowledge, and Normality’, Philosophical Studies 177: 1593–609. doi:10.1007/s11098-019-01276-2.
   Web of Science ®Google Scholar
• Nelkin, Dana (2000) ‘The Lottery Paradox, Knowledge, and Rationality’, Philosophical Review 109: 373–409. doi:10.2307/2693695.
   Web of Science ®Google Scholar
• Nummela, Eric (1987) ‘No Coincidence’, Mathematical Gazette 71: 147. doi:10.2307/3636509.
   Google Scholar
• Oliveira e Silva, Tomás, Siegfried Herzog, and Silvio Pardi (2014) ‘Empirical Verification of the Even Goldbach Conjecture and Computation of Prime Gaps up to 4·1018’, Mathematics of Computation 83: 2033–60. doi:10.1093/bjps/axu012.
   Web of Science ®Google Scholar
• Paseau, Alexander (2015) ‘Knowledge of Mathematics Without Proof’, British Journal for the Philosophy of Science 66: 775–99. doi:10.1093/bjps/axu012.
   Web of Science ®Google Scholar
• Peressini, Anthony (2003) ‘Proof, Reliability, and Mathematical Knowledge’, Theoria 69: 211–32. doi:10.1111/j.1755-2567.2003.tb00763.x.
   Google Scholar
• Pólya, George (1954) Induction and Analogy in Mathematics. Princeton University Press.
   Google Scholar
• Pomerance, Carl (1982) ‘The Search for Prime Numbers’, Scientific American 247: 136–47.
   Web of Science ®Google Scholar
• Pritchard, Duncan (2008) ‘Sensitivity, Safety, and Antiluck Epistemology’, in John Greco, ed., The Oxford Handbook of Skepticism: 437–55. Oxford University Press.
   Google Scholar
• Rabin, Michael (1976) ‘Probabilistic Algorithms’, in J.F. Traub, ed., Algorithms and Complexity: 21–39. Academic.
   Google Scholar
• Rabin, Michael (1980) ‘Probabilistic Algorithm for Testing Primality’, Journal of Number Theory 12: 128–38. doi:10.1016/0022-314x(80)90084-0.
   Web of Science ®Google Scholar
• Ramaré, Olivier (1995) ‘On Šnirel’man’s Constant’, Annali della Scuola Normale Superiore di Pisa 22: 645–706.
   Google Scholar
• Roland, Jeffrey and Jon Cogburn (2011) ‘Anti-Luck Epistemologies and Necessary Truths’, Philosophia 39: 547–61. doi:10.1007/s11406-010-9295-0.
   Web of Science ®Google Scholar
• Salmon, Wesley (1984) Scientific Explanation and the Causal Structure of the World. Princeton University Press.
   Google Scholar
• Scriven, Michael (1959) ‘Explanation and Prediction in Evolutionary Theory’, Science 130: 477–82. doi:10.1126/science.130.3374.477.
   PubMed Web of Science ®Google Scholar
• Seymour, Paul (2016) ‘Hadwiger’s Conjecture’, in John Forbes Nash, Jr. and Michael Th. Rassias, eds., Open Problems in Mathematics: 417–38. Springer.
   Google Scholar
• Smith, Martin (2010) ‘What Else Justification Could Be’, Noûs 44: 10–31. doi:10.1111/j.1468-0068.2009.00729.x
   Web of Science ®Google Scholar
• Smith, Martin (2016) Between Probability and Certainty: What Justifies Belief. Oxford University Press.
   Google Scholar
• Smith, Martin (2018) ‘When Does Evidence Suffice for Conviction?’, Mind 127: 1193–218. doi:10.1093/mind/fzx026.
   Web of Science ®Google Scholar
• Spivak, Michael (1980) Calculus. 2nd edition. Publish or Perish.
   Google Scholar
• Staffel, Julia (2016) ‘Beliefs, Buses and Lotteries’, Philosophical Studies 173: 1721–34. doi:10.1007/s11098-015-0574-2.
   Web of Science ®Google Scholar
• De Toffoli, Silvia (2021) ‘Groundwork for a Fallibilist Account of Mathematics’, Philosophical Quarterly 71: 823–44. doi:10.1093/pq/pqaa076.
   Web of Science ®Google Scholar
• Williams, H.C. and R. Holte (1978) ‘Some Observations on Primality Testing’, Mathematics of Computation 32: 905–91. doi:10.1090/s0025-5718-1978-0476625-0.
   Web of Science ®Google Scholar
• Womach, Catherine and Matrin Farach (2003) ‘Randomization, Persuasiveness and Rigor in Proofs’, Synthese 134: 71–83. doi:10.1023/a:1022183530114.
   Web of Science ®Google Scholar
• Zeilberger, Doron (1993) ‘Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture’, Notices of the American Mathematical Society 40: 978–81. doi:10.48550/arXiv.math/9301202.
   Google Scholar