Photograph of John McCarthy.
John McCarthy
Computer Scientist

Overview

John McCarthy (born September 4, 1927, in Boston, Massachusetts), is an American computer 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.

McCarthy championed mathematical logic for Artificial Intelligence. In 1958, he proposed the advice taker, which inspired later work on question-answering and logic programming. Based on the Lambda Calculus, Lisp rapidly became the programming language of choice for AI applications after its publication in 1960 . He helped to motivate the creation of Project MAC at MIT, but left MIT for Stanford University in 1962, where he helped set up the Stanford AI Laboratory, for many years a friendly rival to Project MAC.

In 1961, he was the first to publicly suggest (in a speech given to celebrate MIT's centennial) that computer time-sharing technology might lead to a future in which computing power and even specific applications could be sold through the utility business model (like water or electricity). This idea of a computer or information utility was very popular in the late 1960s, but faded by the mid-1970s as it became clear that the hardware, software and telecommunications technologies of the time were simply not ready. However, since 2000, the idea has resurfaced in new forms. See application service provider.

McCarthy received his B.S. in Mathematics from the California Institute of Technology in 1948 and his Ph.D. in Mathematics from Princeton University in 1951 under Solomon Lefschetz. After short-term appointments at Princeton, Stanford, Dartmouth, and MIT, he became a full professor at Stanford in 1962, where he remained until his retirement at the end of 2000. He is now a Professor Emeritus. McCarthy is listed by the Open Directory Project as one of the all time top six people in the field of artificial intelligence.

John McCarthy often comments on world affairs on the Usenet forums. Some of his ideas can be found in his sustainability web page, which is "aimed at showing that human material progress is desirable and sustainable".

References

* Scientific Temperaments: Three Lives in Contemporary Science by Philip J. Hilts, Simon and Schuster, 1982. Lengthy profiles of John McCarthy, physicist Robert R. Wilson and geneticist Mark Ptashne. * Machines Who Think: a personal inquiry into the history and prospects of artificial intelligence by Pamela McCorduck, 1979, second edition 2004. * The Omni Interviews edited by Pamela Weintraub, New York: Ticknor and Fields, 1984. Collected interviews originally published in Omni magazine; contains an interview with McCarthy.
Who is John McCarthy connected to?
Add a Connection
Photograph of Solomon Lefschetz.
Professor at Princeton
McCarthy received his Ph.D. in Mathematics from Princeton University in 1951 under Solomon Lefschetz.
Photograph of Patrick J. Hayes.
Logical Knowledge Representation
One of Patrick Hayes' earliest publications, with John McCarthy, was the first thorough statement of the basis for the AI field of logical knowledge representation, introducing the notion of situation calculus, representation and reasoning about time, fluents, and the use of logic for representing knowledge in a computer.
Photograph of Richard P. Gabriel.
Teacher's Assistant
While at Standford University (1975–1981), Richard Gabriel served as a Teacher’s Assistant to John McCarthy, the founder of Lisp.
Paul Graham is developing Arc, a programming language and a dialect of Lisp.  Paul researched McCarthy's original, axiomatic approach to defining Lisp, and is creating Arc in that manner.
How is John McCarthy connected to Matthias Felleisen? Tell the world.
How is John McCarthy connected to Alan Kay? Tell the world.
How is John McCarthy connected to Jim Gray? Tell the world.
How is John McCarthy connected to Gerald Jay Sussman? Tell the world.
How is John McCarthy connected to Herbert Simon? Tell the world.

That biography says:

* Gerry Sussman * John McCarthy * Terry Winograd * Transhumanism
How is John McCarthy connected to Ken Thompson? Tell the world.
How is John McCarthy connected to Douglas Engelbart? Tell the world.
How is John McCarthy connected to Robert Floyd? Tell the world.