The Fundamental Tension at the Heart of Math
· 29 min
Episode 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.
Links in the notes 1
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.