McCarthy, John Pioneers History

Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.

    Top: Computers: History: Pioneers: McCarthy, John

See Also:
Editor's Picks:

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

   MySQL - Cache Direct