Gödel's incompleteness theorems: The proof that broke mathematics | Joel David Hamkins

Lex Fridman Podcast full episode:    • Infinity, Paradoxes, Gödel Incompleteness ...   Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/cv953... See below for guest bio, links, and to give feedback, submit questions, contact Lex, etc. GUEST BIO: Joel David Hamkins is a mathematician and philosopher specializing in set theory, the foundations of mathematics, and the nature of infinity, and he's the #1 highest-rated user on MathOverflow. He is also the author of several books, including Proof and the Art of Mathematics and Lectures on the Philosophy of Mathematics. And he has a great blog called Infinitely More. CONTACT LEX: Feedback - give feedback to Lex: https://lexfridman.com/survey AMA - submit questions, videos or call-in: https://lexfridman.com/ama Hiring - join our team: https://lexfridman.com/hiring Other - other ways to get in touch: https://lexfridman.com/contact EPISODE LINKS: Joel's X: https://x.com/JDHamkins Joel's Website: https://jdh.hamkins.org Joel's Substack: https://www.infinitelymore.xyz Joel's MathOverflow: https://mathoverflow.net/users/1946/j... Joel's Papers: https://jdh.hamkins.org/publications Joel's Books: Lectures on the Philosophy of Mathematics: https://amzn.to/3MThaAt Proof and the Art of Mathematics: https://amzn.to/3YACc9A SPONSORS: To support this podcast, check out our sponsors & get discounts: Perplexity: AI-powered answer engine. Go to https://lexfridman.com/s/perplexity-c... Fin: AI agent for customer service. Go to https://lexfridman.com/s/fin-cv9535-sb Miro: Online collaborative whiteboard platform. Go to https://lexfridman.com/s/miro-cv9535-sb CodeRabbit: AI-powered code reviews. Go to https://lexfridman.com/s/coderabbit-c... Chevron: Reliable energy for data centers. Go to https://lexfridman.com/s/chevron-cv95... Shopify: Sell stuff online. Go to https://lexfridman.com/s/shopify-cv95... LMNT: Zero-sugar electrolyte drink mix. Go to https://lexfridman.com/s/lmnt-cv9535-sb MasterClass: Online classes from world-class experts. Go to https://lexfridman.com/s/masterclass-... PODCAST LINKS: Podcast Website: https://lexfridman.com/podcast Apple Podcasts: https://apple.co/2lwqZIr Spotify: https://spoti.fi/2nEwCF8 RSS: https://lexfridman.com/feed/podcast/ Podcast Playlist:    • Lex Fridman Podcast   Clips Channel:    / lexclips   SOCIAL LINKS: X: https://x.com/lexfridman Instagram:   / lexfridman   TikTok:   / lexfridman   LinkedIn:   / lexfridman   Facebook:   / lexfridman   Patreon:   / lexfridman   Telegram: https://t.me/lexfridman Reddit:   / lexfridman