Annual Lecture Series (in-person)
Lunchtime Talks (in-person)
Conferences (in-person)
Online-Only Events
- This event has passed.
LTT: Simon DeDeo
March 17, 2020 @ 12:00 pm - 1:30 pm EDT
Explosive Proofs of Mathematical Truths
Simon DeDeo, CMU & the Santa Fe Institute
Abstract: Justifications for believing a mathematical proof are traditionally based in the validity of its underlying deductive steps. However, in a skeptical argument going back to Hume, this should make even weak belief in a theorem unjustified because errors compound exponentially. To understand how and why mathematical arguments appear, by contrast, to be paradigms of certainty, we undertake a data science study of the epistemic structure of actual proofs, ranging from Euclid’s Geometry and Apollonius’ Conics to fifty computer-assisted contemporary proofs including Godel Incompleteness and the Four Color Theorem. Our analysis shows that these proofs share an underlying network structure. This structure enables the emergence of certainty even in the presence of skepticism of the correctness of any particular step. This emergence is explosive, and has an isomorphism to phase transitions in material objects. I finish with some remarks from practicing mathematicians that serve to validate the model of mathematical belief formation we propose.
Details
- Date:
- March 17, 2020
- Time:
-
12:00 pm - 1:30 pm EDT
- Event Category:
- Lunchtime Talks
Venue
- 1117 Cathedral of Learning
-
4200 Fifth Ave
Pittsburgh, PA 15260 United States