Computer science legend John McCarthy speaks with Stanford University AI researcher and professor of computer science, Nil Nilsson. McCarthy discusses his early academic training and influences at Caltech and Princeton University. He then describes his early work at MIT and Dartmouth College in which he helped organize the highly influential Dartmouth Summer Research Project on Artificial Intelligence, the seminal first conference in the field. McCarthy then discusses his work at Stanford University and briefly summarizes some of the mathematical underpinnings of the logical models he uses in explaining and understanding computer systems.
McCarthy, John; AI (Artificial Intelligence); Caltech; Princeton University; Harvard University; MIT; Dartmouth College; Kyoto Prize; FORTRAN; Lefschetz, Solomon; Shannon, Claude; Bell Laboratories; Kleene, Stephen; Stanford University; International Business Machines Corporation (IBM); Digital Equipment Corporation (DEC); IPL (Information Processing Language); LISP; recursion; Kemeny, John; Minsky, Marvin; alpha-beta; minimax; Samuel, Arthur; Corbató, Fernando; Fredkin, Ed; Gurley, Ben; BBN; Newell, Allen; IBM 704 (Computer); IBM System/360 (Computer); General Electric (GE); SAIL (Stanford Artificial Intelligence Laboratory); DARPA; mathematical logic; Prolog (Computer program language); Cyc; Lenat, Doug; Gödel, Kurt