Podcasts
Featured Episode
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.
Explore All Podcasts
The Joy of Why
The mathematician and author Steven Strogatz and the astrophysicist and author Janna Levin interview leading researchers about the great scientific and mathematical questions of our time.
The Quanta Podcast
Every Tuesday, editor in chief Samir Patel sits down with writers and editors to discuss our most thought-provoking stories in science and math. Audio editions of Quanta’s stories with Susan Valot will appear biweekly on Thursdays.
The Joy of x
The acclaimed mathematician and author Steven Strogatz interviews some of the world’s leading scientists about their lives and work.