John McCarthy (1927–2011) was an American computer scientist and cognitive scientist who coined the term "artificial intelligence" (AI) and is widely regarded as one of the founders of the field. A professor at Stanford University, he made seminal contributions to computer science, including the development of the Lisp programming language, the invention of time-sharing systems, and the formulation of the first AI programming language. His work laid the foundation for decades of research in AI, logic programming, and interactive computing.

1 Life and career

1.1 Early life and education

John McCarthy was born on September 4, 1927, in Boston, Massachusetts, to an Irish Catholic father and a Jewish mother. His family moved frequently during his childhood, and he developed an early interest in mathematics and science. He attended high school in Los Angeles, where he excelled in mathematics.

1.1.1 Undergraduate and graduate studies at Caltech and Princeton

McCarthy entered the California Institute of Technology (Caltech) in 1944, earning a Bachelor of Science degree in mathematics in 1948. He then pursued graduate studies at Princeton University, where he completed his Ph.D. in mathematics in 1951. His doctoral dissertation, "Projection Operators and Partial Differential Equations," was supervised by Solomon Lefschetz. During his time at Princeton, McCarthy became interested in the new field of electronic computers and their potential for intelligent behavior.

1.2 Academic positions

1.2.1 Dartmouth College and the Dartmouth Conference

After a brief postdoctoral appointment at Princeton, McCarthy joined the faculty at Dartmouth College in 1955. That same year, he organized the Dartmouth Summer Research Project on Artificial Intelligence, which is widely considered the founding event of AI as a field. The proposal for the conference, co-authored with Marvin Minsky, Nathaniel Rochester, and Claude Shannon, introduced the term "artificial intelligence" to the academic community. The conference, held in the summer of 1956, brought together leading researchers and set the agenda for AI research for decades.

1.2.2 MIT and Stanford University

In 1957, McCarthy moved to the Massachusetts Institute of Technology (MIT), where he became an assistant professor and later an associate professor. At MIT, he founded the Artificial Intelligence Laboratory (now the MIT Computer Science and Artificial Intelligence Laboratory) in 1959. In 1962, he joined Stanford University as a full professor and remained there for the rest of his career. At Stanford, he established the Stanford AI Laboratory (SAIL) and supervised numerous doctoral students.

1.3 Later years and death

McCarthy continued active research and teaching at Stanford into the 2000s. He retired in 2001 but remained professor emeritus. In his later years, he focused on logic-based AI and common-sense reasoning. He died on October 24, 2011, at the age of 84, at his home in Stanford, California.

2 Major contributions to computer science

2.1 Artificial intelligence (AI)

2.1.1 Coining the term and founding the field

McCarthy is credited with coining the phrase "artificial intelligence" in 1955 for the Dartmouth Conference proposal. He envisioned AI as a scientific discipline that would enable machines to simulate all forms of human intelligence. His approach emphasized the use of formal logic and reasoning, distinguishing his perspective from other early AI pioneers who focused on neural networks or cybernetics.

2.1.2 Development of the Lisp programming language

McCarthy invented the Lisp programming language in 1958 while at MIT. Lisp (short for "List Processing") was designed for symbolic computation and became the primary programming language for AI research for decades. It introduced many concepts that later became standard in programming languages.

2.1.2.1 Features and influence on functional programming

Lisp's core features include dynamic typing, first-class functions, automatic memory management (garbage collection), and a homomorphic representation of code as data structures (S-expressions). These innovations made Lisp highly flexible and suited for symbolic reasoning. Lisp directly influenced functional programming languages such as Scheme, Common Lisp, and later Haskell and Clojure. Its ideas also shaped the design of modern programming languages like JavaScript, Python, and Ruby.

2.1.3 The Advice Taker and formal logic in AI

In 1958, McCarthy published a paper describing a hypothetical program called the "Advice Taker," which would use formal logic to represent knowledge and solve problems. This proposal laid the foundation for logic-based AI and automated reasoning. The Advice Taker anticipated later advances in knowledge representation, theorem proving, and logic programming (including Prolog). McCarthy argued that AI systems should reason deductively from a set of facts and rules, a view that became central to the field of symbolic AI.

2.2 Timesharing and interactive computing

2.2.1 The Compatible Time-Sharing System (CTSS)

While at MIT in the late 1950s, McCarthy conceived the idea of time-sharing—allowing multiple users to interact simultaneously with a single computer. This concept led to the development of the Compatible Time-Sharing System (CTSS) at MIT, one of the first time-sharing operating systems. CTSS enabled interactive computing, a major departure from the batch processing that dominated at the time. McCarthy's vision of interactive computing was instrumental in the development of the early Internet and personal computing.

2.2.2 Stanford AI Lab (SAIL) and network computing

At Stanford, McCarthy established the Stanford AI Laboratory (SAIL) in 1963. SAIL became a hub for research in robotics, natural language processing, and computer vision. Under McCarthy's leadership, SAIL developed the Stanford time-sharing system and contributed to the early ARPANET. McCarthy also advocated for the development of networked computing and remote access to computational resources, foreseeing many aspects of cloud computing.

2.3 Mathematical logic and computation

2.3.1 Recursive functions and the McCarthy formalism

McCarthy made foundational contributions to the theory of computation, particularly in the study of recursive functions. He introduced the concept of "recursive functionals" and developed a formalism for proving properties of recursive programs. His work on the "circumscription" method for non-monotonic reasoning became a key technique in AI knowledge representation.

2.3.2 The Lambda calculus and computer science theory

McCarthy recognized the importance of Alonzo Church's lambda calculus as a theoretical basis for programming languages. He integrated lambda calculus concepts into Lisp (such as lambda expressions), which helped bridge the gap between mathematical logic and practical computing. His writings on the semantics of programming languages influenced the development of denotational semantics and functional language design.

3 Legacy and honors

3.1 Awards and recognitions

3.1.1 Turing Award (1971)

McCarthy received the ACM Turing Award in 1971 for his fundamental contributions to artificial intelligence and computer science. The award citation highlighted his development of Lisp, time-sharing systems, and logical foundations of AI.

3.1.2 National Medal of Science (1990)

In 1990, President George H. W. Bush awarded McCarthy the National Medal of Science for his pioneering work in AI and computing.

3.1.3 Other honors

McCarthy was elected to the National Academy of Sciences (1990) and the National Academy of Engineering (1987). He also received the Kyoto Prize in Advanced Technology (1988) and the Benjamin Franklin Medal in Computer and Cognitive Science (2003). Several universities awarded him honorary doctorates.

3.2 Influence on subsequent AI research

3.2.1 The McCarthy Program and AI winter debates

McCarthy was a vocal advocate for logic-based AI and often debated proponents of alternative approaches, such as neural networks. He remained optimistic about the long-term potential of AI despite periods of reduced funding and enthusiasm (the "AI winters"). His insistence on rigorous logical foundations influenced subsequent work in knowledge representation and automated reasoning.

3.2.2 Continued relevance of Lisp and logic programming

Although no longer the dominant AI language, Lisp continues to be used in specialized domains and has inspired many modern languages. Logic programming languages like Prolog, which trace their intellectual roots to McCarthy's Advice Taker, remain important in AI for constraint solving and natural language processing.

3.3 Cultural and historical impact

McCarthy has been referenced in documentaries about the history of computing and AI, such as "The Machine That Changed the World" (1992) and "AlphaGo" (2017). He is often depicted as a key figure in the early days of AI. His appearance and mannerisms have been parodied in internet memes, usually with humorous captions that contrast his serious academic persona with pop culture.

3.3.2 Named entities (e.g., McCarthy Building, McCarthy Award)

Several institutions have named buildings or lecture series after McCarthy. The "John McCarthy Award" is given by the Association for the Advancement of Artificial Intelligence (AAAI) for outstanding career contributions. Stanford University's "John McCarthy Lecture Series" continues to host distinguished speakers in AI.

4 Selected works

4.1 Key papers

* "Programs with Common Sense" (1959) – Introduced the Advice Taker framework. * "LISP 1.5 Programmer's Manual" (1962) – Co-authored with others, defining the Lisp language. * "Circumscription – A Form of Non-Monotonic Reasoning" (1980) – Presented the circumscription formalism. * "Some Expert Systems Need Common Sense" (1984) – Argued for the importance of common-sense knowledge.

4.2 Books and lecture notes

* *Formalizing Common Sense: Papers by John McCarthy* (1990) – A collection of his key papers. * *The McCarthy Lectures* (unpublished lecture notes from Stanford courses on AI and logic).

4.3 Notable students and collaborators

McCarthy supervised many prominent computer scientists and AI researchers, including: * Raj Reddy (Turing Award winner) * Edward A. Feigenbaum (Turing Award winner) * Patrick J. Hayes * John Seely Brown * William J. Clancey

His collaborators included Marvin Minsky, Claude Shannon, Nathaniel Rochester, and Donald E. Knuth.