The Fundamental Tension at the Heart of Math

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 computer program Lean. Mathematicians have mixed feelings. On this episode of The Quanta Podcast, host Samir Patel speaks with math editor Jordana Cepelewicz about how mathematicians today are navigating the tricky balancing act between creativity and formalization. This topic was covered in a recent story for Quanta Magazine. Each week on The Quanta Podcast, Quanta Magazine editor in chief Samir Patel speaks with the people behind the award-winning publication to navigate through some of the most important and mind-expanding questions in science and math.