McCarthy je bio jedan od prvih pobornika primjene matematičke logike za umjetnu inteligenciju. 1958. je predložio tzv. Advice Taker koji je inspirirao kasniji rad na programiranju zasnovanom za pitanjima-odgovorima i logici. Izmislio je programski jezik Lisp.
Ne znam je li link pouzdan http://twitter.com/#!/wendyg/status/128554733714669568

