Kurt Gödel
Austrian-American logician, mathematician, and philosopher of mathematics (1906-1978)
Common Themes
Videos Mentioning Kurt Gödel
Why I Left Twitter: A Conversation with Cal Newport (Episode #304)
Sam Harris
Mathematician mentioned as being at the Institute for Advanced Study with Turing and Von Neumann, symbolizing intellectual cross-pollination.
The Books Cal Newport Read in April 2022 | Deep Questions Podcast
Cal Newport
A highly influential logician and mathematician mentioned as a cameo in 'Uncle Petros and Goldbach's Conjecture.'
Ep. 194: Doing Less, Building Discipline, and the Books Cal Newport Read in April | Deep Questions
Cal Newport
Logician and mathematician, mentioned as a historical figure appearing in 'Uncle Petros and Goldbach's Conjecture'.
Joscha Bach: Artificial Consciousness and the Nature of Reality | Lex Fridman Podcast #101
Lex Fridman
Mathematician known for incompleteness theorems, which showed contradictions in classical mathematical semantics.
Rodney Brooks: Robotics | Lex Fridman Podcast #217
Lex Fridman
Logician who had already disproved two of Hilbert's hypotheses before Turing and Church.
Dr. Michio Kaku — Exploring Time Travel, the Beauty of Physics, and More | The Tim Ferriss Show
Tim Ferriss
Einstein's roommate at the Institute for Advanced Study, who found the first solutions to Einstein's equations that allowed for time travel.
Sara Walker: The Origin of Life on Earth and Alien Worlds | Lex Fridman Podcast #198
Lex Fridman
A logician whose incompleteness theorems are mentioned in relation to self-reference in computation and biology.
Chris Dixon and Naval Ravikant — The Wonders of Web3 And Much More | The Tim Ferriss Show
Tim Ferriss
A logician mentioned by Chris Dixon as part of a pivotal group in 1905 whose work formed the direct lineage to modern computing.
Stephen Wolfram: Computational Universe | MIT 6.S099: Artificial General Intelligence (AGI)
Lex Fridman
Reference to Gödel's incompleteness theorems, which suggest that any sufficiently complex axiomatic system will have statements that are true but unprovable within that system, analogous to the complexities of AI ethics and legal systems.
Scott Aaronson: Quantum Computing | Lex Fridman Podcast #72
Lex Fridman
Logician famous for his incompleteness theorems, which reframed questions about the limits of mathematical reasoning.
Eugenia Kuyda: Friendship with an AI Companion | Lex Fridman Podcast #121
Lex Fridman
The logician known for his incompleteness theorems, whose work is central to Douglas Hofstadter's book mentioned by Eugenia Kuyda.
Books I’ve Loved — Maria Popova and Tyler Cowen | The Tim Ferriss Show
Tim Ferriss
Mathematician and logician whose life is explored in 'A Madman Dreams of Turing Machines'.
Ep. 258: Godel’s Deep Life Stack
Cal Newport
A 20th-century logician and mathematician, best known for his incompleteness theorems, who kept detailed notebooks on time management and life structure.
Bishop Robert Barron: Christianity and the Catholic Church | Lex Fridman Podcast #304
Lex Fridman
Logician known for his incompleteness theorems, mentioned in the context of the limits of mathematics and axiomatic systems.
Lee Cronin: Origin of Life, Aliens, Complexity, and Consciousness | Lex Fridman Podcast #269
Lex Fridman
A logician who contributed to mathematical logic. Mentioned alongside Turing and Church regarding the mathematical universe.