Source Summary: McCarthy et al. 1955 — Dartmouth Proposal
Full title: A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
Authors: John McCarthy, Marvin L. Minsky, Nathaniel Rochester, Claude E. Shannon
Affiliation: Dartmouth College / Harvard / IBM / Bell Labs
Venue: Unpublished proposal (August 31, 1955); the workshop was held summer 1956
PDF: papers/mccarthy-1955-a-proposal-for-the-dartmouth.pdf
Contributions
- Coined the term “Artificial Intelligence” — McCarthy introduced “artificial intelligence” as the name for the new field, deliberately choosing it over “complex information processing” or “automata theory.”
- The founding conjecture: “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.”
- Defined the research agenda for symbolic AI: language, abstraction, self-improvement, problem solving.
The conjecture (from PDF)
“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 study is to proceed on the basis of the conjecture 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.”
The key claim: intelligence = computation over symbols. No aspect of intelligence is in principle beyond mechanical simulation.
Seven research areas proposed
- Automatic computers — programming to simulate any computable process
- How a computer can be programmed to use language — manipulating words according to rules of reasoning
- Neuron nets — how neurons can be arranged to form concepts (Minsky’s interest)
- Theory of the size of a calculation — computational complexity; how to measure efficiency
- Self-improvement — machines that improve their own programs from experience
- Abstractions — forming generalizations from specific examples
- Randomness and creativity — using pseudo-randomness to explore solution spaces
Significance
This proposal launched the discipline of Artificial Intelligence as a named field. The Dartmouth workshop convened in summer 1956 and brought together the core figures: McCarthy, Minsky, Shannon, Simon, Newell, and others. The intellectual program it outlined — reasoning as symbol manipulation — defined symbolic AI for the next three decades.
Key References from the proposal
- Shannon & McCarthy (eds.) — Automata Studies (Princeton, 1956)
- Turing 1950 — Computing Machinery and Intelligence
- von Neumann — Theory of self-reproducing automata