John McCarthy

John McCarthy was born on September 4, 1927, in Boston, Massachusetts, to Irish and Lithuanian Jewish immigrant parents who were active in the Communist Party — a childhood steeped in political argument and self-education that gave him an early appetite for rigorous, systematic thinking. He taught himself mathematics from university textbooks before entering high school, and went on to study mathematics at Caltech and Princeton, where he encountered the nascent ideas about computation and mind that would define his life's work. By his mid-twenties he was already convinced that human intelligence was, at its core, a formal process that machines could replicate.

In 1955, McCarthy co-authored the proposal for the Dartmouth Summer Research Project on Artificial Intelligence, coining the phrase 'artificial intelligence' and assembling a group that included Marvin Minsky, Claude Shannon, and Nathaniel Rochester. The 1956 conference did not produce breakthroughs on its own, but it gave a scattered set of ideas a name, a community, and a shared ambition. McCarthy then turned to the question of how machines should represent and reason about knowledge, and in 1958 he published his design for Lisp — a programming language built around symbolic expressions and recursive functions that became the primary vehicle for AI research for decades.

McCarthy spent the bulk of his career at MIT and then Stanford, where he founded the Stanford Artificial Intelligence Laboratory in 1962 and directed it for many years. He received the Turing Award in 1971 for his foundational contributions to AI, and continued working on problems of common-sense reasoning, nonmonotonic logic, and the formal representation of knowledge well into the 2000s. He died on October 24, 2011, in Stanford, California, having witnessed the field he named grow from a summer workshop into a global enterprise — though never quite as quickly as he had once hoped.

Lisp shaped the intellectual culture of AI research for at least three decades. Its core innovations — symbolic expressions, garbage collection, dynamic typing, and the treatment of code as data — influenced virtually every AI programming environment that followed, and its descendants include Scheme, Common Lisp, and Clojure, which remain in active use today. Beyond the language itself, McCarthy's framework of symbolic AI — the idea that intelligence could be captured by manipulating formal symbols according to logical rules — structured the research agenda of entire generations of scientists, producing expert systems, theorem provers, and planning algorithms that powered real-world applications from medical diagnosis to logistics.

McCarthy's later theoretical work was equally consequential. His formalization of nonmonotonic reasoning and the circumscription framework addressed a problem every AI system eventually faces: how to reason sensibly when information is incomplete or changes. These ideas fed directly into the field of knowledge representation and reasoning, and into the development of logic programming languages like Prolog. His concept of 'situations and actions,' developed in his 1963 paper on a computer program for chess, laid groundwork for the situation calculus that remains a foundational formalism in AI planning and robotics research.