Turing machine
A theoretical model of computation that formalized the architecture used today, seen as a midpoint between human language and mathematics.
Common Themes
Videos Mentioning Turing machine
Ep. 225: Should I Become A Thriller Writer? (w/ J.T. Ellison)
Cal Newport
A theoretical model of computation proposed by Alan Turing, a thought experiment to define an effective procedure, not a physical computer.
We exist inside the story that the brain tells itself (Joscha Bach) | AI Podcast Clips
Lex Fridman
Used as a theoretical construct to explain how systems within a simulated reality could potentially model their environment and discover underlying rules.
Donald Knuth: Programming, Algorithms, Hard Problems & the Game of Life | Lex Fridman Podcast #219
Lex Fridman
A theoretical model of computation. Knuth mentions that a stack automaton cannot do everything a Turing machine can do, but Steve Cook proved that languages recognizable by stack automata can be recognized efficiently by a regular computer.
Jaron Lanier: Virtual Reality, Social Media & the Future of Humans and AI | Lex Fridman Podcast #218
Lex Fridman
A theoretical model of computation. Lanier discusses whether the universe can be understood as a Turing machine, suggesting it might be a 'foolish approach' due to practical limitations.
Rodney Brooks: Robotics | Lex Fridman Podcast #217
Lex Fridman
A theoretical model of computation that manipulates symbols on a strip of tape according to a table of rules.
Joscha Bach: Nature of Reality, Dreams, and Consciousness | Lex Fridman Podcast #212
Lex Fridman
A theoretical model of computation used in discussions about the limits of what computers can do compared to the human mind.
The Trouble with AI: A Conversation with Stuart Russell and Gary Marcus (Episode #312)
Sam Harris
A theoretical model of computation referenced as something deep neural networks could potentially implement if they had more expressive power, though it's argued they don't in practice.
Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
A theoretical model of computation that manipulates symbols on a strip of tape according to a table of rules; used as a benchmark for computational capability.
Occam's Razor (Marcus Hutter) | AI Podcast Clips
Lex Fridman
A theoretical model of computation used to describe formal languages and algorithms, mentioned as a way to represent models.
Marcus Hutter: Universal Artificial Intelligence, AIXI, and AGI | Lex Fridman Podcast #75
Lex Fridman
A mathematical model of computation that defines an abstract machine manipulating symbols on a strip of tape according to a table of rules.
Guido van Rossum: Python | Lex Fridman Podcast #6
Lex Fridman
A theoretical model of computation discussed in relation to formalizing thought and the capabilities of computers to encode algorithms.
The Future of Intelligence: A Conversation with Jeff Hawkins (Episode #255)
Sam Harris
Mentioned as an analogy for the fundamental principles of computation, similar to how intelligence is a system working on principles rather than specific tasks.
Richard Karp: Algorithms and Computational Complexity | Lex Fridman Podcast #111
Lex Fridman
A simple abstract machine used to describe any algorithm, fundamental to Stephen Cook's proof that any NP problem can be re-expressed as a satisfiability problem.
Matt Botvinick: Neuroscience, Psychology, and AI at DeepMind | Lex Fridman Podcast #106
Lex Fridman
A theoretical model of computation that can simulate any computer algorithm, mentioned by Matt Botvinick as a way to understand humans' capacity to emulate complex behaviors.
Sean Carroll: Quantum Mechanics and the Many-Worlds Interpretation | Lex Fridman Podcast #47
Lex Fridman
A theoretical model of computation that can simulate the logic and manipulation of formal symbolic structures, representing a leap in cognitive ability.
Tobi Lütke: Empowering a World of Rebels | Knowledge Project Podcast
The Knowledge Project Podcast
A theoretical model of computation that formalized the architecture used today, seen as a midpoint between human language and mathematics.
Paul Conti: Narcissism, Sociopathy, Envy, and the Nature of Good and Evil | Lex Fridman Podcast #357
Lex Fridman
A theoretical model of computation mentioned in relation to cellular automata, illustrating how complex systems can emerge from simple rules.
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
A mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules.
Roger Penrose: Physics of Consciousness and the Infinite Universe | Lex Fridman Podcast #85
Lex Fridman
A theoretical model of computation that defines an abstract machine capable of simulating any computer's logic; fundamental to the discussion of computability.
Melanie Mitchell: Concepts, Analogies, Common Sense & Future of AI | Lex Fridman Podcast #61
Lex Fridman
A theoretical model of computation, discussed in relation to whether current hardware, which is in principle a Turing machine, is sufficient for creating intelligence or if new computational paradigms are needed.