Alonzo Church
PersonMentioned in 2 videos
A logician whose formalisms influenced the development of Lisp, connecting back to the logical foundations of Cyc.
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.