Harvey Friedman: The Genius Who Invented Reverse Mathematics
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…
Sponsors
Plaud, Shortform, The Economist
More episodes of Theories of Everything with Curt Jaimungal
- Roman Yampolskiy: We're Simulated. AI Is Conscious. And We Can't Win.
- Janna Levin: The Unreasonable Effectiveness of the Klein Bottle
Explore listener stats, chart rankings, contacts and more on the Theories of Everything with Curt Jaimungal podcast page.