Learn Our Proven AI Frameworks
Beginners in AI created 6 branded frameworks to help you master AI: STACK for prompting, BUILD for business, ADAPT for learning, THINK for decisions, CRAFT for content, and CRON for automation.
Who Was John McCarthy?
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist who is widely regarded as one of the founding fathers of Artificial Intelligence. He is the man who literally named the field — coining the term “Artificial Intelligence” in a 1955 proposal for the Dartmouth Summer Research Project on Artificial Intelligence. Without McCarthy, we might be talking about “machine thinking” or “automata studies” instead of AI.
Born in Boston, Massachusetts, McCarthy showed mathematical brilliance early, skipping two years of mathematics at Caltech before earning his PhD in mathematics from Princeton University in 1951. His dissertation, supervised by Solomon Lefschetz, focused on projection operators — but his mind was already turning toward questions of machine intelligence.
Sources
Get Smarter About AI Every Morning
Free daily newsletter — one story, one tool, one tip. Plain English, no jargon.
Free forever. Unsubscribe anytime.
Last reviewed: April 2026
The Dartmouth Conference: Where AI Was Born (1956)
In 1955, McCarthy — then at Dartmouth College — co-authored a proposal with Marvin Minsky, Nathaniel Rochester (of IBM), and Claude Shannon (of Bell Labs) to hold a two-month summer workshop at Dartmouth. The proposal opened with what became a landmark sentence: “We propose that a 2-month, 10-man study of artificial intelligence be carried out during the summer of 1956 at Dartmouth College in Hanover, New Hampshire.”
The Dartmouth Conference of summer 1956 brought together Allen Newell, Herbert Simon, Arthur Samuel, Trenchard More, Ray Solomonoff, and Oliver Selfridge, among others. It produced no grand unified theory of AI — but it established the field, gave it its name, and created the community that would spend the next seven decades trying to build thinking machines. Learn more about this era in our complete history of AI.
LISP: McCarthy’s Most Lasting Technical Legacy
In 1958, while at MIT, McCarthy invented LISP (LISt Processing language) — one of the oldest high-level programming languages still in active use today. LISP was revolutionary for multiple reasons. It introduced concepts that became foundational to computer science: recursive function definitions, garbage collection, dynamic typing, higher-order functions, and the idea that code and data could share the same structure (homoiconicity).
McCarthy described LISP in his 1960 paper “Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I” published in Communications of the ACM. LISP became the dominant language for AI research for the next three decades. Its descendants — Scheme, Common Lisp, Clojure — remain influential today. Every time a modern programmer uses a lambda function or works with a functional programming language, they are drawing on McCarthy’s 1958 invention.
Time-Sharing and the MIT AI Lab
McCarthy was also a key advocate for time-sharing computer systems — the concept that multiple users could interact with a computer simultaneously, each believing they had the machine to themselves. In 1959, he wrote a memo to MIT leadership arguing for time-sharing, which directly influenced the development of CTSS (Compatible Time-Sharing System) at MIT and ultimately the entire paradigm of interactive computing. This vision connected to Alan Turing’s earlier ideas about interactive machines.
In 1958, McCarthy co-founded (with Minsky) the MIT Artificial Intelligence Project, which later became the MIT AI Lab — one of the most productive research institutions in computing history. He left MIT in 1962 to found the Stanford Artificial Intelligence Laboratory (SAIL) at Stanford University, where he remained for the rest of his career. SAIL became a crucible for AI research, producing work in robotics, natural language processing, and knowledge representation. For context on how these AI labs shaped the field, see our dedicated guide.
Circumscription and Non-Monotonic Reasoning
In 1980, McCarthy introduced circumscription — a form of non-monotonic reasoning that formalized how intelligent systems should handle incomplete information. Classical logic is monotonic: once you prove something, adding more facts cannot un-prove it. But human reasoning isn’t like that. We assume things by default and revise those assumptions when new information arrives. McCarthy’s circumscription gave formal tools for this kind of reasoning, prefiguring much of what we now call common-sense reasoning in AI. His paper “Circumscription — A Form of Non-Monotonic Reasoning” (1980, Artificial Intelligence journal) remains a citation classic.
The Situation Calculus and Formal AI
McCarthy and Patrick Hayes introduced the situation calculus in their 1969 paper “Some Philosophical Problems from the Standpoint of Artificial Intelligence.” This formalism provided a way to represent actions, their preconditions, and their effects — foundational to automated planning systems. The situation calculus spawned decades of research into temporal and causal reasoning, directly influencing modern planning algorithms. You can see how these ideas connect to the AI glossary terms planners use today.
Awards, Honors, and Recognition
McCarthy received nearly every major honor in computer science. He was awarded the ACM Turing Award in 1971 — computing’s equivalent of the Nobel Prize — for his contributions to AI. He received the National Medal of Science in 1990, the Kyoto Prize in 1988, and the Benjamin Franklin Medal in Computer and Cognitive Science in 2003. He was a Fellow of the American Academy of Arts and Sciences and a member of the National Academy of Engineering.
Stanford’s obituary noted that McCarthy “changed the world” — not through a single invention but through a career-long insistence that machines could and should think, and that the best way to make them think was through formal logic and rigorous mathematics. His collected works at Stanford remain a primary reference for anyone studying the AI winters and the periods of optimism that preceded them.
Free AI Starter Kit → Download FREE in our products library — your essential guide to getting started with AI tools.
McCarthy’s Vision: AI as Logic
Unlike some contemporaries who pursued neural networks or statistical learning, McCarthy was a committed logicist — he believed intelligence was fundamentally about representing knowledge and reasoning over it using formal logic. This put him in opposition to the connectionist camp (which has largely dominated AI since 2012’s deep learning revolution), but his contributions to knowledge representation, planning, and formal reasoning remain essential foundations. Many of the techniques in modern AI systems — especially those dealing with structured reasoning — trace back to his work.
McCarthy also made early contributions to the theory of computation, to the philosophy of AI (he engaged seriously with questions about machine consciousness and the Chinese Room thought experiment), and to AI safety — arguing as early as the 1970s that AI systems needed to be designed with human values and oversight in mind. His essay “The Home Information Terminal” (1970) predicted many features of the modern internet with remarkable accuracy.
Frequently Asked Questions
Who coined the term Artificial Intelligence?
John McCarthy coined the term “Artificial Intelligence” in the 1955 proposal for the Dartmouth Conference, co-written with Marvin Minsky, Nathaniel Rochester, and Claude Shannon.
What programming language did John McCarthy invent?
McCarthy invented LISP (LISt Processing language) in 1958 at MIT. It introduced garbage collection, recursive functions, and higher-order functions, and remained the dominant AI programming language for over three decades.
What award did John McCarthy receive for AI?
McCarthy received the ACM Turing Award in 1971 for his fundamental contributions to AI research, including the invention of LISP, the Dartmouth Conference, and his work on time-sharing systems.
What is the Dartmouth Conference?
The Dartmouth Conference was a 1956 summer workshop at Dartmouth College, organized by McCarthy, that officially launched the field of Artificial Intelligence by gathering key researchers and establishing AI as a distinct discipline.
Where did John McCarthy work?
McCarthy worked at Dartmouth College (1955–1958), MIT (1958–1962), and Stanford University (1962–2011), where he founded the Stanford Artificial Intelligence Laboratory (SAIL).