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.

You can listen to The Fundamental Tension at the Heart of Math online on Radio and Podcast. Open the player on this page to stream the available audio.

The Fundamental Tension at the Heart of Math is an episode from Quanta Science Podcast by Quanta Magazine.

This episode is 28:40 long.

This episode was published on Apr 7, 2026.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Quanta Science Podcast when more episodes are available from the podcast feed.