Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488
Skills:
ML Maths Basics80%
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.
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep488-sb
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
*Transcript:*
https://lexfridman.com/joel-david-hamkins-transcript
*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/joel-david-hamkins
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-ep488-sb
*Fin:* AI agent for customer service.
Go to https://lexfridman.com/s/fin-ep488-sb
*Miro:* Online collaborative whiteboard platform.
Go to https://lexfridman.com/s/miro-ep488-sb
*CodeRabbit:* AI-powered code reviews.
Go to https://lexfridman.com/s/coderabbit-ep488-sb
*Chevron:* Reliable energy for data centers.
Go to https://lexfridman.com/s/chevron-ep488-sb
*Shopify:* Sell stuff online.
Go to https://lexfridman.com/s/shopify-ep488-sb
*LMNT:* Zero-sugar electrolyte drink mix.
Go to https://lexfridman.com/s/lmnt-ep4
Watch on YouTube ↗
(saves to browser)
Sign in to unlock AI tutor explanation · ⚡30
Playlist
Uploads from Lex Fridman · Lex Fridman · 0 of 60
← Previous
Next →
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
Ido Portal: Movement
Lex Fridman
Ryan Hall: Moral Victory
Lex Fridman
Jimmy Pedro: Judo | Take It Uneasy Podcast
Lex Fridman
Foundations of Deep Learning (Hugo Larochelle, Twitter)
Lex Fridman
TensorFlow Tutorial (Sherry Moore, Google Brain)
Lex Fridman
Nuts and Bolts of Applying Deep Learning (Andrew Ng)
Lex Fridman
Sequence to Sequence Deep Learning (Quoc Le, Google)
Lex Fridman
Torch Tutorial (Alex Wiltschko, Twitter)
Lex Fridman
Theano Tutorial (Pascal Lamblin, MILA)
Lex Fridman
Deep Reinforcement Learning (John Schulman, OpenAI)
Lex Fridman
Deep Learning for Speech Recognition (Adam Coates, Baidu)
Lex Fridman
Deep Learning for Natural Language Processing (Richard Socher, Salesforce)
Lex Fridman
Foundations of Unsupervised Deep Learning (Ruslan Salakhutdinov, CMU)
Lex Fridman
Deep Learning for Computer Vision (Andrej Karpathy, OpenAI)
Lex Fridman
Foundations and Challenges of Deep Learning (Yoshua Bengio)
Lex Fridman
MIT 6.S094: Introduction to Deep Learning and Self-Driving Cars
Lex Fridman
MIT 6.S094: Deep Reinforcement Learning for Motion Planning
Lex Fridman
MIT 6.S094: Convolutional Neural Networks for End-to-End Learning of the Driving Task
Lex Fridman
MIT 6.S094: Recurrent Neural Networks for Steering Through Time
Lex Fridman
MIT 6.S094: Deep Learning for Human-Centered Semi-Autonomous Vehicles
Lex Fridman
Chris Gerdes (Stanford) on Technology, Policy and Vehicle Safety - MIT Self-Driving Cars
Lex Fridman
Sertac Karaman (MIT) on Motion Planning in a Complex World - MIT Self-Driving Cars
Lex Fridman
MIT Sloan: Intro to Machine Learning (in 360/VR)
Lex Fridman
MIT 6.S094: Deep Learning
Lex Fridman
MIT Self-Driving Cars (2018)
Lex Fridman
MIT 6.S094: Deep Reinforcement Learning
Lex Fridman
MIT 6.S094: Computer Vision
Lex Fridman
MIT 6.S094: Deep Learning for Human Sensing
Lex Fridman
MIT AGI: Artificial General Intelligence
Lex Fridman
MIT AGI: Building machines that see, learn, and think like people (Josh Tenenbaum)
Lex Fridman
Ray Kurzweil: Future of Intelligence | MIT 6.S099: Artificial General Intelligence (AGI)
Lex Fridman
Sacha Arnoud, Director of Engineering, Waymo - MIT Self-Driving Cars
Lex Fridman
Lisa Feldman Barrett: How the Brain Creates Emotions | MIT Artificial General Intelligence (AGI)
Lex Fridman
Stephen Wolfram: Computational Universe | MIT 6.S099: Artificial General Intelligence (AGI)
Lex Fridman
Emilio Frazzoli, CTO, nuTonomy - MIT Self-Driving Cars
Lex Fridman
Sterling Anderson, Co-Founder, Aurora - MIT Self-Driving Cars
Lex Fridman
MIT AGI: Cognitive Architecture (Nate Derbinsky)
Lex Fridman
MIT Advanced Vehicle Technology Study (MIT-AVT)
Lex Fridman
MIT-AVT: Data Collection Device (for Large-Scale Semi-Autonomous Driving)
Lex Fridman
Geoffrey Hinton: What are you excited about in deep learning?
Lex Fridman
Ilya Sutskever: OpenAI Meta-Learning and Self-Play | MIT Artificial General Intelligence (AGI)
Lex Fridman
Comfortably Numb Solo | Pink Floyd Cover by Lex Fridman
Lex Fridman
Yoshua Bengio: Deep Learning | Lex Fridman Podcast #4
Lex Fridman
Jeff Atwood: Stack Overflow and Coding Horror | Lex Fridman Podcast #7
Lex Fridman
Eric Schmidt: Google | Lex Fridman Podcast #8
Lex Fridman
Pieter Abbeel: Deep Reinforcement Learning | Lex Fridman Podcast #10
Lex Fridman
Deep Learning Basics: Introduction and Overview
Lex Fridman
Deep Learning State of the Art (2019)
Lex Fridman
MIT 6.S091: Introduction to Deep Reinforcement Learning (Deep RL)
Lex Fridman
Self-Driving Cars: State of the Art (2019)
Lex Fridman
Drago Anguelov (Waymo) - MIT Self-Driving Cars
Lex Fridman
Oliver Cameron (CEO, Voyage) - MIT Self-Driving Cars
Lex Fridman
Karl Iagnemma & Oscar Beijbom (Aptiv Autonomous Mobility) - MIT Self-Driving Cars
Lex Fridman
Leslie Kaelbling: Reinforcement Learning, Planning, and Robotics | Lex Fridman Podcast #15
Lex Fridman
Greg Brockman: OpenAI and AGI | Lex Fridman Podcast #17
Lex Fridman
Ian Goodfellow: Generative Adversarial Networks (GANs) | Lex Fridman Podcast #19
Lex Fridman
MIT 6.S093: Introduction to Human-Centered Artificial Intelligence (AI)
Lex Fridman
Chris Lattner: Compilers, LLVM, Swift, TPU, and ML Accelerators | Lex Fridman Podcast #21
Lex Fridman
Rajat Monga: TensorFlow | Lex Fridman Podcast #22
Lex Fridman
Gavin Miller: Adobe Research | Lex Fridman Podcast #23
Lex Fridman
More on: ML Maths Basics
View skill →
Related AI Lessons
⚡
⚡
⚡
⚡
Role of Model Architecture In Inference — Inference Series
Medium · Machine Learning
Role of Model Architecture In Inference — Inference Series
Medium · Deep Learning
What isn’t said clearly
cannot be relied on as truth.
Medium · Deep Learning
The Idempotency Nightmare in AI Pipelines: Data Loss and Recovery
Dev.to AI
🎓
Tutor Explanation
DeepCamp AI