Current browse context:
cs.SC
Change to browse by:
References & Citations
Computer Science > Symbolic Computation
Title: Explosive Proofs of Mathematical Truths
(Submitted on 31 Mar 2020 (this version), latest version 12 Apr 2022 (v2))
Abstract: Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record. Their very explicitness, however, leads to a paradox, because their probability of error grows exponentially as the argument expands. Here we show that under a cognitively-plausible belief formation mechanism that combines deductive and abductive reasoning, mathematical arguments can undergo what we call an epistemic phase transition: a dramatic and rapidly-propagating jump from uncertainty to near-complete confidence at reasonable levels of claim-to-claim error rates. To show this, we analyze an unusual dataset of forty-eight machine-aided proofs from the formalized reasoning system Coq, including major theorems ranging from ancient to 21st Century mathematics, along with four hand-constructed cases from Euclid, Apollonius, Spinoza, and Andrew Wiles. Our results bear both on recent work in the history and philosophy of mathematics, and on a question, basic to cognitive science, of how we form beliefs, and justify them to others.
Submission history
From: Simon DeDeo [view email][v1] Tue, 31 Mar 2020 18:39:56 GMT (4040kb,D)
[v2] Tue, 12 Apr 2022 15:25:22 GMT (4470kb,D)
Link back to: arXiv, form interface, contact.