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