Field: Artificial Intelligence, Programming Languages, Computer Science Theory
"He who refuses to do arithmetic is doomed to talk nonsense." — John McCarthy
| Detail | Info |
|---|---|
| Born | September 4, 1927 — Boston, Massachusetts, USA |
| Died | October 24, 2011 — Stanford, California, USA |
| Nationality | American |
| Fields | Artificial Intelligence, Programming Languages, Mathematical Logic |
| Key Contributions | Coined "Artificial Intelligence," invented Lisp, pioneered time-sharing, garbage collection, situation calculus |
| Turing Award | 1971 |
John McCarthy was born in Boston, Massachusetts, in 1927 to an Irish immigrant father and a Lithuanian Jewish immigrant mother — both of whom were politically active. The family moved to Los Angeles during the Depression, and young McCarthy turned out to be one of those kids who was annoyingly good at math. He taught himself college-level mathematics from Caltech course catalogs, which is the intellectual equivalent of learning to cook by reading a restaurant menu — except he actually pulled it off.
McCarthy earned his B.S. in Mathematics from Caltech in 1948, skipping ahead two years because apparently the normal pace was too slow. He then went on to Princeton University, where he completed his Ph.D. in Mathematics in 1951 under the supervision of Solomon Lefschetz. His doctoral work was in algebraic topology, which is about as far from "inventing an entire field of science" as you'd expect a warm-up to be.
After Princeton, McCarthy held positions at Princeton, Stanford, Dartmouth, and MIT before landing permanently at Stanford. But it was during these early career moves that he set the world on fire — sometimes literally, given how hot the debates got.
In 1955, McCarthy coined the term "Artificial Intelligence" while drafting the proposal for what would become the most consequential summer workshop in the history of computer science. The 1956 Dartmouth Summer Research Project on Artificial Intelligence — co-organized with Marvin Minsky, Nathaniel Rochester, and Claude Shannon — is universally considered the founding event of AI as a field. The workshop didn't produce a breakthrough on the spot (they optimistically thought they could crack intelligence in one summer — adorable), but it brought together the people who would dominate AI research for decades.
At MIT (1958–1962), McCarthy invented Lisp (1958), which became the lingua franca of AI research and the second-oldest high-level programming language still in use today (after Fortran). He also proposed the revolutionary idea of time-sharing in 1959 — the concept that multiple users should be able to share a single computer simultaneously. This was visionary: he was essentially describing cloud computing about 50 years before Amazon Web Services existed.
In 1962, McCarthy moved to Stanford University, where he founded the Stanford Artificial Intelligence Laboratory (SAIL). Under his leadership, SAIL became one of the most important AI research centers in the world. He remained at Stanford for the rest of his career, continuing to push the boundaries of AI, formal reasoning, and common sense knowledge representation.
McCarthy remained intellectually active well into his later years, publishing papers, maintaining strong opinions (he had many), and engaging in debates on topics ranging from AI to politics to sustainability. He was known for being intellectually pugnacious and contrarian — the kind of person who would argue with a stop sign if he thought it was wrong, and probably win.
He passed away on October 24, 2011, at the age of 84, just days after the death of his contemporary Steve Jobs. The tech world lost two giants in one week, though McCarthy would probably have pointed out that their contributions were not really comparable — and then argued about it for an hour.
| Detail | Info |
|---|---|
| Year | 1955 (for the 1956 Dartmouth Conference proposal) |
| Context | McCarthy needed a name for a new field of research focused on making machines think |
| Technical Details | The term appeared in the proposal for the Dartmouth Summer Research Project, co-authored with Minsky, Rochester, and Shannon. The proposal famously stated that "every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it." |
| Impact | Gave the entire field its name and its mission statement. For better or worse, "Artificial Intelligence" has been the brand ever since — inspiring both genuine breakthroughs and approximately ten million overwrought press releases. |
| Detail | Info |
|---|---|
| Year | Summer 1956 |
| Context | McCarthy organized a six-to-eight-week workshop at Dartmouth College, bringing together the brightest minds working on machine intelligence |
| Technical Details | Participants included Marvin Minsky, Allen Newell, Herbert Simon, Claude Shannon, and others. The workshop covered neural networks, automata theory, natural language processing, and creativity in machines. |
| Impact | The founding event of AI as an academic discipline. It didn't solve intelligence that summer (spoiler alert), but it created the community, vocabulary, and research agenda that would drive the field for the next 70+ years. |
| Detail | Info |
|---|---|
| Year | 1958 (published 1960) |
| Context | McCarthy needed a practical language for AI research that could handle symbolic computation |
| Technical Details | Lisp introduced or popularized: recursion as a primary control structure, conditional expressions (if-then-else), garbage collection, dynamic typing, homoiconicity (code as data), and first-class functions. It was based on Alonzo Church's lambda calculus. |
| Impact | The second-oldest high-level programming language still in use (after Fortran). Lisp became the dominant language in AI for decades and influenced virtually every functional programming language that followed. Its parentheses became legendary — earning the backronym "Lots of Irritating Superfluous Parentheses." McCarthy reportedly found this joke less funny than everyone else did. |
| Detail | Info |
|---|---|
| Year | 1959 |
| Context | In the era of batch processing, computers were expensive and users had to wait hours or days for results |
| Technical Details | McCarthy proposed that a single computer could serve multiple users simultaneously by rapidly switching between their tasks. He articulated this vision in a 1959 memo and advocated for it at MIT, leading to the development of the Compatible Time-Sharing System (CTSS) and later Multics. |
| Impact | Foresaw cloud computing decades early. Time-sharing democratized access to computers and laid the groundwork for interactive computing, the internet, and modern cloud services. McCarthy once suggested that computing might be organized as a public utility — in 1961. AWS launched in 2006. The man was 45 years early. |
| Detail | Info |
|---|---|
| Year | 1959 |
| Context | Manual memory management was tedious and error-prone |
| Technical Details | McCarthy invented automatic garbage collection as part of the Lisp implementation — a system that automatically reclaims memory that is no longer in use by a program. |
| Impact | Now a fundamental feature of most modern programming languages (Java, Python, Go, JavaScript, C#, etc.). Every time your program doesn't crash from a memory leak, you can thank McCarthy. |
| Detail | Info |
|---|---|
| Year | 1963 |
| Context | AI needed formal methods to reason about actions, change, and their effects on the world |
| Technical Details | Situation calculus is a logic formalism for representing and reasoning about dynamical domains. It uses first-order logic to describe situations (states of the world), actions that transform situations, and fluents (properties that change over time). |
| Impact | Became a foundational framework for AI planning, robotics, and knowledge representation. Led to decades of research on the frame problem and non-monotonic reasoning. |
| Detail | Info |
|---|---|
| Year | 1962 |
| Context | McCarthy moved to Stanford and needed a world-class research lab |
| Technical Details | Founded SAIL in the hills above Stanford campus. The lab became a hotbed of innovation in AI, robotics, computer vision, and natural language processing. |
| Impact | Trained generations of AI researchers and produced foundational work across multiple subfields. SAIL alumni went on to shape the computing industry. |
- "Programs with Common Sense" (1959) — proposed the Advice Taker, one of the first AI systems to use formal logic for reasoning
- "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I" (1960) — the Lisp paper, one of the most influential papers in CS history
- "A Basis for a Mathematical Theory of Computation" (1963) — foundational work on the theory of computation
- "Situations, Actions, and Causal Laws" (1963) — introduced situation calculus
- "Some Philosophical Problems from the Standpoint of Artificial Intelligence" (1969, with Patrick Hayes) — introduced the frame problem
- "Ascribing Mental Qualities to Machines" (1979) — philosophical treatment of machine intelligence
- "Generality in Artificial Intelligence" (1987) — Turing Award lecture (published version)
- "Elaboration Tolerance" (1998) — on flexible knowledge representation
| Year | Award |
|---|---|
| 1971 | ACM Turing Award — "For his major contributions to the field of Artificial Intelligence" |
| 1988 | Kyoto Prize in Advanced Technology |
| 1990 | National Medal of Science |
| 2003 | Benjamin Franklin Medal in Computer and Cognitive Science |
| — | Fellow of the AAAI, AAAS, and American Academy of Arts and Sciences |
| — | Member of the National Academy of Sciences and National Academy of Engineering |
"He who refuses to do arithmetic is doomed to talk nonsense."
"An AI system should be as good as a human, but not necessarily like a human."
"The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians."
"Computation is destined to become the most important of the sciences."
John McCarthy's fingerprints are on nearly everything in modern computing:
- AI as a discipline exists because McCarthy gave it a name, organized its founding conference, and spent five decades doing the hard theoretical work to make it real.
- Lisp didn't just influence AI — it shaped the DNA of programming itself. Garbage collection, recursion, conditional expressions, and dynamic typing are now so ubiquitous that programmers forget someone had to invent them. That someone was McCarthy.
- Time-sharing and his vision of computing as a utility anticipated the cloud computing revolution by half a century. Every time you spin up an AWS instance or share a Google Doc, you're living in McCarthy's future.
- Formal reasoning about knowledge and action — through situation calculus and his work on non-monotonic reasoning — remains central to AI research today.
- His students and intellectual descendants populate the leadership of AI research worldwide.
McCarthy was that rare figure who was both a visionary and a builder — someone who could dream up an entire field and write the programming language to make it work. He was also living proof that being brilliant and being diplomatic are entirely separate skills.
- Marvin Minsky — Co-organized the 1956 Dartmouth Conference; fellow founding father of AI and lifelong intellectual sparring partner
- Allen Newell — Dartmouth Conference participant; pioneered symbolic AI and cognitive architectures
- Herbert Simon — Dartmouth Conference participant; Nobel laureate who co-developed early AI programs
- Alan Turing — Foundational work on computability and machine intelligence that McCarthy built upon
- Barbara Liskov — PhD student of McCarthy at Stanford; went on to win her own Turing Award (2008)
- Stanford Memorial Page for John McCarthy
- McCarthy's Personal Website (archived)
- ACM Turing Award Citation (1971)
- Dartmouth Conference Proposal (1955)
- Original Lisp Paper (1960)
- IEEE Computer Society biography
| Year | Event |
|---|---|
| 1927 | Born in Boston, Massachusetts |
| 1948 | B.S. in Mathematics, Caltech |
| 1951 | Ph.D. in Mathematics, Princeton (advisor: Solomon Lefschetz) |
| 1955 | Coins the term "Artificial Intelligence" |
| 1956 | Organizes the Dartmouth Summer Research Project on AI |
| 1958 | Invents the Lisp programming language at MIT |
| 1959 | Proposes time-sharing; invents garbage collection |
| 1962 | Moves to Stanford; founds the Stanford AI Laboratory (SAIL) |
| 1963 | Develops situation calculus |
| 1971 | Awarded the ACM Turing Award |
| 1988 | Receives the Kyoto Prize |
| 1990 | Receives the National Medal of Science |
| 2011 | Passes away on October 24 in Stanford, California |
- McCarthy, J. (1960). "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I." Communications of the ACM, 3(4), 184–195.
- McCarthy, J. et al. (1955). "A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence."
- McCarthy, J. (1959). "Programs with Common Sense." Proceedings of the Teddington Conference on the Mechanization of Thought Processes.
- McCarthy, J. (1963). "Situations, Actions, and Causal Laws." Stanford AI Memo 2.
- McCarthy, J. & Hayes, P. J. (1969). "Some Philosophical Problems from the Standpoint of Artificial Intelligence." Machine Intelligence 4, 463–502.
- ACM Turing Award Citation, 1971.
- Nilsson, N. J. (2012). "John McCarthy 1927–2011." Biographical Memoirs of the National Academy of Sciences.
Last Updated: 2026-04-13