Alonzo Church
Person
A logician whose formalisms influenced the development of Lisp, connecting back to the logical foundations of Cyc.
Mentioned in 4 videos
Save the 4 videos on Alonzo Church to your own pod.
Sign up free to keep building your knowledge base on Alonzo Church as more episodes are added.
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.