Audio Edition: 'Reverse Mathematics' Illuminates Why Hard Problems Are Hard
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent. The article ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard first appeared on Quanta Magazine.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from The Quanta Podcast
Four-Color Theorem Is Still a Math Favorite
Does Computer Science Need Computers?
How the Brain Compresses Our Noisy World
Audio Edition: A Cell So Minimal That It Challenges Definitions of Life
Get summaries like this every morning.
Free AI-powered recaps of The Quanta Podcast and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.