Alonzo Church

PersonMentioned in 2 videos

A logician whose formalisms influenced the development of Lisp, connecting back to the logical foundations of Cyc.