ACM: A.M. Turing Award: John McCarthy The Association for Computing Machinery gave McCarthy the prestigious Alan M. Turing Award in 1971: For research on artificial intelligence, an area in which he has achieved considerable recognition for his work.
John McArthy on Modal Logic Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
John McCarthy Home page of pioneer in mathematical theory of computation, artificial intelligence, programming languages: invented Lisp, arguably the oldest language in active use today, and maybe the oldest high-level language overall, along with Fortran. (Stanford Un
