The Genius Who Invented Reverse Mathematics

Theories of Everything with Curt Jaimungal

Curt Jaimungal

Physics, Philosophy, Society & Culture, Science

4.6 • 606 Ratings

🗓️ 18 May 2026

⏱️ 99 minutes

🔗️ Recording | iTunes | RSS

🧾️ Download transcript

Summary

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: - 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 - Consciousness Iceberg [TOE]: https://youtu.be/65yjqIDghEk - Edward Frenkel [TOE]: https://youtu.be/n_oPMcvHbAc - Elan Barenholtz [TOE]: https://youtu.be/A36OumnSrWY - Michael Levin [TOE]: https://youtu.be/c8iFtaltX-s - 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 Learn more about your ad choices. Visit megaphone.fm/adchoices

Transcript

Click on a timestamp to play from that location

0:00.0	Instagram teen accounts with automatic protections on who can contact teenagers and the content they can see.
0:06.0	Instagram teen accounts have contact limits on by default, so teenagers get messages from people they know, not strangers,
0:14.0	and default content settings.
0:17.0	Plus, teenagers under 16 can't change these default settings without parental approval.
0:22.8	So parents can help teenagers connect safely.
0:26.5	Learn more at Instagram.com slash teen accounts.
0:30.1	Pretty outrageous idea.
0:31.5	It's all this real number stuff, all this partial inferential equations,
0:35.0	even all this set theory stuff, large card moves.
0:38.1	It's all fundamentally finite. This is my crazy head. This is Professor Harvey Friedman's first podcast. At 18,
0:48.2	he was given not only a PhD, which is outstanding, but the title of Professor at Stanford University for his work in mathematical
0:56.8	logic. The Guinness Book of World Records even listed him as the youngest professor ever. Kurt
1:02.8	Gertl, while alive, personally sponsored his last paper for the proceedings of the National
1:07.9	Academy of Sciences, and Professor Friedman founded the field of reverse
1:12.5	mathematics. Gertl's incompleteness theorems are the most celebrated results in modern logic.
1:18.7	The textbook examples are recondite, self-referential curiosities, that no working mathematician
1:23.6	tends to meet in practice. However, Friedman says they're pointing at the wrong target.
1:29.3	The question is, can ordinary, finite math be trusted?
1:34.3	His theorems suggest otherwise.
1:37.3	So now it's harder for the mathematical community to ignore foundations.
1:42.3	On this channel, I, Kirchai Mungle, interview researchers regarding
1:46.0	their theories of reality with rigor and technical depth and probe at the foundations. Today, we
	...

Transcript will be available on the free plan in 11 days. Upgrade to see the full transcript now.

Previous episode | Next episode

Disclaimer: The podcast and artwork embedded on this page are from Curt Jaimungal, and are the property of its owner and not affiliated with or endorsed by Tapesearch.

Generated transcripts are the property of Curt Jaimungal and are distributed freely under the Fair Use doctrine. Transcripts generated by Tapesearch are not guaranteed to be accurate.