The Genius Who Invented Reverse Mathematics
From Theories of Everything with Curt Jaimungal by Theories of Everything
May 18, 2026 · 1h 39m
About this episode
Harvey Friedman discusses the implications of reverse mathematics and the trustworthiness of finite math.
SPONSORS: - Go to https://www.plaud.ai/curt to get a Plaud device today - Go to https://shortform.com/toe for a free trial and an exclusive $50 OFF on your annual subscription - I personally subscribe to The Economist. TOE listeners get 35% off the annual subscription. No other podcast has this! https://economist.com/TOE Harvey Friedman — the youngest professor in Stanford's history, founder of reverse mathematics, and the mathematician Kurt Gödel chose to sponsor his final paper — has spent 60 years on one question: can ordinary, finite math be trusted? His theorems show that even concrete statements involving nothing more exotic than rational numbers cannot be proved or refuted within ZFC. The foundations of mathematics, Friedman argues, are not settled bedrock but vertiginous — made more mysterious, not less, by his own work. FOLLOW: - Spotify: https://open.spotify.com/show/4gL14b92xAErofYQA7bU4e - Substack: https://curtjaimungal.substack.com/subscribe - Twitter: https://twitter.com/TOEwithCurt - Discord Invite: https://discord.com/invite/kBcnfNVwqs - Crypto: https://nowpayments.io/donation/TOE - PayPal: https://www.paypal.com/donate?hosted_button_id=XUBHNMFXUX5S4 TIMESTAMPS…
People in this episode
Host: Curt Jaimungal
Guest: Harvey Friedman
Topics covered
- reverse mathematics
- foundations of mathematics
- Gödel's incompleteness
- finite math
- mathematical theorems
Keywords
- reverse mathematics
- Gödel
- finite math
- mathematical foundations
- theorems
Sponsors
Plaud, Shortform, The Economist
Mentioned in this episode
Organizations: Stanford
More episodes of Theories of Everything with Curt Jaimungal
- We're Simulated. AI Is Conscious. And We Can't Win. · June 1, 2026 · 2h 1m
- Janna Levin: The Unreasonable Effectiveness of the Klein Bottle · May 11, 2026 · 2h 5m
- Juan Maldacena: Geometry as Entanglement, and the Emergence of Spacetime · May 4, 2026 · 1h 48m
- Slavoj Zizek: “Buddhism Can’t Explain This” · April 27, 2026 · 1h 35m
- Curt Jaimungal: Consciousness, Irreducibility, and the Local to Global · April 22, 2026 · 1h 0m
- George Ellis: Hawking's Co-Author on Why Reductionism Is Dead · April 20, 2026 · 1h 35m
Explore listener stats, chart rankings, contacts and more on the Theories of Everything with Curt Jaimungal podcast page.