John McArthy on Modal Logic - http://www.garyfeng.com/wordpress/2004/11/30/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 - http://www-formal.stanford.edu/jmc/
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 Univ., USA) |
John McCarthy - http://www.smartcomputing.com/editorial/dictionary/detail.asp?guid=1&DicID=17873
Short biography. [Smart Computing] |
John McCarthy (Computer Scientist) - http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist)
Short biography with links to many articles on related topics. |