Alonzo Church
Person
A logician whose formalisms influenced the development of Lisp, connecting back to the logical foundations of Cyc.
Mentioned in 4 videos
Videos Mentioning Alonzo Church
Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI | Lex Fridman Podcast #221
Lex Fridman
A logician whose formalisms influenced the development of Lisp, connecting back to the logical foundations of Cyc.
Rodney Brooks: Robotics | Lex Fridman Podcast #217
Lex Fridman
Mathematician who, concurrently with Turing, disproved one of Hilbert's hypotheses.
Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
Logician and mathematician who developed lambda calculus, parallel to Turing's work on computation.
Lee Cronin: Origin of Life, Aliens, Complexity, and Consciousness | Lex Fridman Podcast #269
Lex Fridman
A mathematician who made major contributions to mathematical logic and the foundations of theoretical computer science. Mentioned alongside Turing and Gödel regarding the mathematical universe.