You On AI Encyclopedia · Dartmouth Workshop (1956) The You On AI Encyclopedia Home
Txt Low Med High
EVENT

Dartmouth Workshop (1956)

The eight-week summer gathering at Dartmouth College where the term artificial intelligence was coined — and where Simon and Newell presented the Logic Theorist, widely considered the first working AI program.
The Dartmouth Workshop, held in the summer of 1956 on the Dartmouth College campus, is the founding event of artificial intelligence as a research discipline. The workshop was organized by John McCarthy, Marvin Minsky, Nathaniel Rochester, and Claude Shannon, and the proposal that secured its funding coined the term artificial intelligence — the first use of the phrase in the sense it subsequently acquired. Simon and Newell attended not as organizers but as participants, bringing with them the Logic Theorist, a computer program they had built at Carnegie Institute of Technology that could prove theorems from Whitehead and Russell's Principia Mathematica. The Logic Theorist was the first working program that demonstrated what later became known as AI capability — automated reasoning in a domain that had previously required human intelligence. Simon and Newell's participation shifted the workshop's intellectual center toward their information-processing approach to cognition, establishing the paradigm that would dominate AI research for the next three decades. The workshop is conventionally treated as the birth of AI as a discipline, though Simon later noted, with characteristic precision, that disciplines do not have birthdays — they have long gestations, and the events conventionally treated as births are usually the moments when what had been gestating became visible.
Dartmouth Workshop (1956)
Dartmouth Workshop (1956)

In The You On AI Encyclopedia

The proposal that led to the workshop — the Dartmouth Summer Research Project on Artificial Intelligence — was submitted to the Rockefeller Foundation in August 1955. It argued 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 ambition was breathtaking, and the workshop's practical accomplishments were modest — no general theory emerged, no comprehensive framework was established, and the participants largely continued the research programs they had been pursuing before the workshop began. But the workshop established the research community, coined the terminology, and created the conditions under which the subsequent decades of AI research could proceed as a coherent intellectual enterprise.

Simon and Newell's participation was consequential because they arrived with working software. The Logic Theorist proved thirty-eight of the first fifty-two theorems in chapter two of Principia Mathematica, and the program's operation could be demonstrated in detail. The other participants had frameworks, aspirations, and theoretical proposals. Simon and Newell had a program that worked. The contrast shaped the subsequent direction of AI research, which for its first three decades was dominated by the information-processing paradigm that Simon and Newell brought to Dartmouth.

Allen Newell
Allen Newell

The workshop's long-term significance lies less in what was accomplished during the eight weeks than in what was started. The terminology, the research community, the funding pathways, and the institutional homes for AI research all trace back to the Dartmouth meeting. The subsequent history of AI — including the two AI winters, the eventual rise of neural networks, and the current era of large language models — has been written in the vocabulary and institutional context that Dartmouth established.

Origin

The workshop was proposed in 1955 and funded by the Rockefeller Foundation. The organizers were John McCarthy (then at Dartmouth, later at Stanford), Marvin Minsky (then at Harvard, later at MIT), Nathaniel Rochester (IBM), and Claude Shannon (Bell Labs). The proposal was remarkably ambitious, estimating that 'a significant advance can be made' in eight weeks of focused work. The advance that was actually made was the establishment of the field — a more durable outcome than any specific technical breakthrough would have been.

Simon described the workshop in his autobiography Models of My Life (1991) with characteristic understatement. He and Newell had not been among the original organizers but were invited because of their work on complex information processing. They accepted because the workshop offered a chance to demonstrate the Logic Theorist to the people most likely to appreciate it — the small community of researchers then working on what would become AI.

Key Ideas

The term was coined. John McCarthy chose artificial intelligence for the workshop proposal, establishing the terminology that would define the field.

Herbert Simon
Herbert Simon

The Logic Theorist was demonstrated. Simon and Newell's program, the first working AI system, shifted the workshop's center toward the information-processing paradigm.

The research community was established. The workshop brought together the scholars who would shape AI's first three decades of research.

No general theory emerged. Despite the organizers' ambitions, the workshop produced institutional formation rather than theoretical synthesis.

The institutional consequences were durable. The terminology, funding pathways, and research communities established at Dartmouth continue to shape AI research seven decades later.

Further Reading

  1. Simon, Models of My Life (1991)
  2. Pamela McCorduck, Machines Who Think (1979, 2004)
  3. Daniel Crevier, AI: The Tumultuous History of the Search for Artificial Intelligence (1993)
  4. Nils Nilsson, The Quest for Artificial Intelligence (2010)
Explore more
Browse the full You On AI Encyclopedia — over 8,500 entries
← Home 0%
EVENT Book →