|
|
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.
www.acm.org/awards/turing_citations/mccarthy.html |
|
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.
www.garyfeng.com/wordpress/2004/11/30/john-mcarthy-on-modal-logic |
|
John McCarthy
Short biography. [smart computing]
www.smartcomputing.com/editorial/dictionary/detail.asp?guid=1&DicID=17873 |
|
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
www-formal.stanford.edu/jmc |
|
John McCarthy (Computer Scientist)
Short biography with links to many articles on related topics.
en.wikipedia.org/wiki/John_McCarthy_(computer_scientist) |
|
