Knowledge: mccarthy, john
- Lisp ∞
See Also:
- computers → artificial intelligence
- computers → computer science → theoretical
- science → math → logic and foundations
- science → math → mathematicians → computational
- science → social sciences → cognitive science
- science → social sciences → psychology → cognitive
Links
- 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.
- 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)
- ACM: A.M. Turing Award: John McCarthy
http://www.acm.org/awards/turing_citations/mccarthy.html - 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.
Newsgroups
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |
Knowledge.com ™ directory, provided by Knowledge Matters Limited.
"Knowledge.com" is a Registered Trademark of Knowledge Matters Limited.