2020/10/28 by David H. Wolpert, Wolpert, David H., David Kinney +1
Arts and Humanities · Computer Science · Decision Sciences · Mathematics · Physics and Astronomy · #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #History and Philosophy of Physics (physics.hist-ph) #Logic (math.LO) #Philosophy and History of Science #Statistics Education and Methodologies #cs.AI #math.LO #physics.hist-ph
paper · pdf · doi:10.48550/arxiv.2012.08298
Forthcoming in Undecidability, Uncomputability, and Unpredictability. Springer. Ed. Anthony Aguirre, Zeeya Merali, and David Sloan. (Collection of winning essays from FQXi's 2020 Essay Context)
arxiv created 2020/10/28 · openalex publication_date 2020/10/28 · arxiv updated 2020/12/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present a computational model of mathematical reasoning according to which mathematics is a fundamentally stochastic process. That is, on our model, whether or not a given formula is deemed a theorem in some axiomatic system is not a matter of certainty, but is instead governed by a probability distribution. We then show that this framework gives a compelling account of several aspects of mathematical practice. These include: 1) the way in which mathematicians generate research programs, 2) the applicability of Bayesian models of mathematical heuristics, 3) the role of abductive reasoning in mathematics, 4) the way in which multiple proofs of a proposition can strengthen our degree of belief in that proposition, and 5) the nature of the hypothesis that there are multiple formal systems that are isomorphic to physically possible universes. Thus, by embracing a model of mathematics as not perfectly predictable, we generate a new and fruitful perspective on the epistemology and practice of mathematics.