Professor John McCarthy

Ph.D. John McCarthy (1927-2001), Professor Emeritus of Computer Science at Stanford University.

John McCarthyis an American computer scientist and cognitive scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence (AI). He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference and is the inventor of the Lisp programming language.

- http://www-formal.stanford.edu/jmc/
"It is reasonable to hope that the relationship between computation and mathematical logic will be as fruitful in the next century as that between analysis and physics in the last. The development of this relationship demands a concern for both applications and mathematical elegance." (John McCarthy, 1963).

- Patrick J. Hayes and Leora Morgenstern, On John McCarthy’s 80th Birthday, in Honor of His Contributions, AI Magazine Volume 28 Number 4 (2007); http://www.aaai.org
- Actions and Other Events in Situation Calculus, by John McCarthy, 2002. Published in the Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR-02). San Francisco: Morgan Kaufmann Publishers. This paper extends the original McCarthy-Hayes situation calculus in several significant ways, in order to handle natural events, concurrency, and combined linear and branching time.
- History - AI and CS, www-formal.stanford.edu/jmc/history/

---