Clarify a term, inspect evidence, or place an idea in context.
inAiLoading page content...
Profile · field formation
Plan for this page
McCarthy helped give AI an institutional name and advanced programming and logical formalisms for representing and reasoning with knowledge.
Contributions
Co-authored the 1955 Dartmouth proposal that used the term 'artificial intelligence' for a planned research project.
Designed Lisp, a programming language and family that became central to early AI research.
Advanced work on formal logic, knowledge representation and common-sense reasoning for intelligent systems.
Promoted time-sharing and interactive computing and founded Stanford's AI laboratory.
The Dartmouth proposal argued that aspects of learning and intelligence could, in principle, be described precisely enough for machines to simulate them. It helped consolidate a research identity, but relevant work in cybernetics, logic, computation, neuroscience and automation existed before and outside that meeting.
McCarthy favored declarative representations: stating facts and relations so that a system could reason about them. This agenda influenced expert systems, knowledge representation and later work on common sense, while other traditions emphasized perception, learning, embodiment or statistics.
Context, limits, and debates
Sources and scope
Primary 1955 proposal by John McCarthy, Marvin Minsky, Nathaniel Rochester and Claude Shannon; documents the chosen field label and research ambitions without implying that one workshop or one author created all prior work.
Institutional account of McCarthy's work on AI, Lisp, time-sharing and Stanford's AI laboratory; commemorative framing should be balanced with the historical record.
McCarthy's first-person history of Lisp and its design context; valuable as a primary retrospective whose attribution claims should be read alongside other histories.
