Audio Edition: ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard
About this episode
This episode discusses how metamathematical techniques reveal the logical equivalence of certain theorems that appear distinct.
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.
Topics covered
- mathematics
- metamathematics
- theorems
- logical equivalence
- problem-solving
Keywords
- reverse mathematics
- hard problems
- theorems
- metamathematics
- logical equivalence
Mentioned in this episode
Organizations: Quanta Magazine
Books & works: Reverse Mathematics
More episodes of The Quanta Podcast
- Does Computer Science Need Computers?
- How the Brain Compresses Our Noisy World
- Audio Edition: A Cell So Minimal That It Challenges Definitions of Life
- Picking Teams With the Math of Imbalance
- What Makes a Fluid a Fluid?
- Audio Edition: New Proofs Probe Soap-Film Singularities
Explore listener stats, chart rankings, contacts and more on the The Quanta Podcast podcast page.