The Fundamental Tension at the Heart of Math

Quanta Science Podcast by Quanta Magazine

We tend to think of math as all about logic and rigor. But what “rigor” actually means has been shaken up quite a few times over the past few centuries. The newest attempt to formalize math comes in the form of the compu...View more