Questions about John McCarthy (computer scientist)
Short answers, pulled from the story.
What did John McCarthy invent or create in computer science?
John McCarthy co-coined the term "artificial intelligence," created the Lisp programming language (published in 1960), invented garbage collection around 1959, proposed the use of recursion and conditional expressions that became part of ALGOL 60, and was instrumental in developing three of the earliest time-sharing systems. He also proposed the idea of utility computing in 1961 and developed the circumscription method of non-monotonic reasoning from 1978 to 1986.
When and where was John McCarthy born?
John McCarthy was born on the 4th of September 1927 in Boston, Massachusetts, to John Patrick McCarthy, an Irish immigrant from Cromane in County Kerry, and Ida McCarthy, a Lithuanian Jewish immigrant. The family relocated frequently during the Great Depression before settling in Los Angeles, California.
What award did John McCarthy win for artificial intelligence?
McCarthy received the Turing Award from the Association for Computing Machinery in 1971 for his contributions to AI. He also received the Kyoto Prize in 1988, the National Medal of Science in 1990, and the Benjamin Franklin Medal in Computer and Cognitive Science from the Franklin Institute in 2003.
What was the Dartmouth conference and what was John McCarthy's role?
The Dartmouth conference, held in the summer of 1956, was the workshop that established artificial intelligence as a field. McCarthy co-authored the proposal for the conference alongside Marvin Minsky, Nathaniel Rochester, and Claude E. Shannon, and that proposal was where the term "artificial intelligence" was first coined.
What was the debate between John McCarthy and Hubert Dreyfus about?
McCarthy and Dreyfus disagreed about whether human intelligence could be fully replicated in machines. McCarthy was confident that every aspect of human intelligence could be formalized precisely enough to be programmed. Dreyfus, a philosophy professor at Berkeley University, believed human reasoning went deeper than logic and involved existential questions that machines could not capture. Their debate continued throughout both of their professional careers.
What is the Lisp programming language and who created it?
Lisp is a functional programming language created by John McCarthy in the late 1950s, published in 1960. It arose from McCarthy's discovery that primitive recursive functions could be extended to compute with symbolic expressions. Lisp introduced lambda notation borrowed from lambda calculus, and it became the dominant programming language for AI applications. Later dialects such as Scheme based their semantics on McCarthy's lambda notation.