Harvey Friedman: The Genius Who Invented Reverse Mathematics
Theories of Everything with Curt JaimungalShow Notes
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
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: https://discord.com/invite/kBcnfNVwqs - Crypto: https://nowpayments.io/donation/TOE - PayPal: https://tinyurl.com/paypalTOE
TIMESTAMPS: - 00:00:00 - Gödel’s Incompleteness Misinterpretations - 00:09:48 - Woodin vs. Friedman Foundations - 00:17:28 - Category Theory vs. Logic - 00:24:30 - Borel Determinacy Paradoxes - 00:31:23 - Embedded Maximality Principles - 00:41:18 - Tree(3) and Kruskal’s Theorem - 00:47:40 - Finitism and Large Cardinals - 00:53:11 - Divine Consistency and Angels - 01:03:25 - Reverse Mathematics Origins - 01:11:14 - Constructive Logic and Intuitionism - 01:21:17 - Theology and AI Immortality
LINKS MENTIONED: - Harvey Friedman Papers: https://u.osu.edu/friedman.8/foundational-adventures/publications/ - Harvey Friedman YouTube: https://www.youtube.com/@harveyfriedman4465/videos - Harvey Friedman Chess Club: https://cclchess.com/ - This Man Is About to Blow Up Mathematics [Article]: https://nautil.us/this-man-is-about-to-blow-up-mathematics-236446 - Harvey Lecture at OSU: https://youtu.be/NAGQD-bSXok - Most Abused Theorem in Math [TOE]: https://youtu.be/OH-ybecvuEo - John Norton [TOE]: https://youtu.be/Tghl6aS5A3M - Emily Riehl [TOE]: https://youtu.be/mTwvecBthpQ - What Is Infinity? [TOE]: https://youtu.be/rHtqGrtcB1w - Norman Wildberger [TOE]: https://youtu.be/l7LvgvunVCM - Wolfgang Smith [TOE]: https://youtu.be/lF4S_P_o-g0 - Scott Aaronson [TOE]: https://youtu.be/1ZpGCQoL2Rk - Godel Incompleteness Theorems: https://plato.stanford.edu/entries/goedel-incompleteness/ - Consistency of Axiom of Choice [Book]: https://archive.org/details/dli.ernet.469796/page/18/mode/2up - Independence of Continuum Hypothesis [Paper]: https://www.jstor.org/stable/71858 - Borel Determinacy [Paper]: https://www.jstor.org/stable/1971035 - Paris-Harrington Theorem: https://mathworld.wolfram.com/Paris-HarringtonTheorem.html - The God Letter: https://uncertaintist.wordpress.com/wp-content/uploads/2012/10/einstein-letter-gutkind-excerpts.pdf - Undecidable Propositions of Principia Mathematica [Book]: https://amazon.com/dp/0486669807?tag=toe08-20 - Categories for the Working Mathematician [Book]: https://amazon.com/dp/1441931236?tag=toe08-20 - On Necessary Use of Abstract Set Theory [Paper]: https://www.sciencedirect.com/science/article/pii/0001870881900219 - Borel Set: https://en.wikipedia.org/wiki/Borel_set
More links: https://curtjaimungal.substack.com
Guests do not pay to appear. #science Learn more about your ad choices. Visit megaphone.fm/adchoices
More from Theories of Everything with Curt Jaimungal
SPONSORS: - Go to https://www.plaud.ai/curt and use the promo code "CURT" to get a Plaud device today - Our listeners get up to 30% off their entire order at https://undrdog.com
SPONSORS: - Visit https://mod.com for a free consultation and get 10% off your first order PLUS free shipping with promo code TOE - Take Cheers Restore after your last drink or before going to bed and wake up feeling at least 50% better — or your money back. For a limited time our listeners are getting 20% off their entire order at https://cheershealth.com/TOE.
SPONSORS: - Don’t sleep on [@ultrapouches]. New customers get 15% Off with code TOE at http://takeultra.com! #UltraPouches #ad
SPONSORS: - Buy your time back. Get 20% off Plaud for Fall Prime Day. For long conversations where every idea matters, Plaud helps you capture what was said and turn it into transcripts, summaries, key insights, and action items — so you can focus on the conversation, not your notes. Get 20% off for a limited time: → http://Plaud.ai/curt — code CURT → https://amzn.to/3Ta04lD — code CURT20PD - Visit https://mod.com for a free consultation and get 10% off your first order PLUS free shipping with promo code TOE
SPONSORS: - Head to https://www.factormeals.com/toe50off and use code toe50off to get 50% off and 1 free breakfast item per box for 1 year. - Get Tidy Today! Try CleanMyMac 7 days FREE and use my code THEORIES for 20% off - https://clnmy.com/THEORIES - Get 15% off OneSkin with the code TOE at https://www.oneskin.co/TOE #oneskinpod