 |
Lisp 444
| | Artificial Intelligence - Computers 1,565
Theoretical - Computer Science, Computers 360
Logic and Foundations - Math, Science 829
Computational - Mathematicians, Math, Science 6
Cognitive Science - Social Sciences, Science 283
Cognitive - Psychology, Social Sciences, Science 185
 John McCarthyJohn 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 Univ., USA)
|
John McArthy on Modal LogicJohn 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 McCarthyJohn McCarthy
 Short biography. [Smart Computing]
|
John McCarthy (Computer Scientist)John McCarthy (Computer Scientist)
) Short biography with links to many articles on related topics.
|
|
|
|
|
|
