Quanta Magazine’s Science and Math Podcasts
Wp-Block-Co-Authors-Plus-Coauthors Is-Layout-Flow
Podcasts
Featured Episode
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 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.