Episode Details

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