Search

Home > Quanta Science Podcast > The Fundamental Tension at the Heart of Math
Podcast: Quanta Science Podcast
Episode:

The Fundamental Tension at the Heart of Math
Category: Science & Medicine
Duration: 00:28:40
Publish Date: 2026-04-07 10:00:00
Description: 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.

The post In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? first appeared on Quanta Magazine
Total Play: 0

Some more Podcasts by Quanta Magazine

300+ Episodes
Quanta Scien .. 1    
60+ Episodes
The Joy of W ..    
60+ Episodes
The Joy of W ..