Demonstration of the Logic Theorist at the Dartmouth Conference
Allen Newell and Herbert Simon are demonstrating their Logic Theorist program, the first artificial intelligence program, to a room of skeptical but curious peers at the Dartmouth Conference. The prog
Setting
A university classroom at Dartmouth College, with high ceilings and large windows overlooking the campus. The room is filled with rows of wooden chairs and desks facing a central demonstration table, where the Logic Theorist program is being run on an early computer terminal. Blackboards line the walls, covered in mathematical notations and diagrams.
Characters
The figures in this scene as an entity network — co-presence links everyone in the moment; speakers who trade lines are bound tighter. Turn the resolution dial to reveal depth the engine actually computed.
TNGF
SELECTED
Allen Newell
primary
A lean, bespectacled man in his late 20s with sharp features and a receding hairline. His intense blue eyes reflect both brilliance and the strain of long hours spent in research. He moves with the precision of a mathematician, his gestures economical yet expressive when discussing technical concepts.
Herbert A. Simon
primary
A middle-aged man in his late 30s with a receding hairline and wire-rimmed glasses. He has an intense gaze and a slightly furrowed brow, indicating deep thought. His posture is upright but relaxed, exuding quiet confidence.
John McCarthy
secondary
A lean, intense man in his late twenties with sharp features, a high forehead, and piercing eyes behind round, wire-rimmed glasses. His dark hair is neatly combed but shows slight disarray from frequent hand-running through it during deep thought.
Marvin Minsky
secondary
A slender man in his late 20s with a sharp, angular face and piercing dark eyes. His thick, dark hair is slightly tousled, suggesting intense thought. He wears round, wire-rimmed glasses that catch the light when he moves his head. His posture is slightly hunched, as if he's perpetually leaning into an intellectual challenge.
Graduate Assistant
background
A young man in his mid-20s with a lean build, short brown hair combed neatly to the side, and wire-rimmed glasses that slightly magnify his attentive eyes. His posture suggests both academic rigor and youthful energy, with the precise movements of someone comfortable with technical equipment.
Dialog
Allen Newell
Indeed, observe here how the program derives Theorem 2.08 from Principia Mathematica purely through substitution rules — no human intervention beyond the initial axioms.
John McCarthy
Yes, but you're conflating syntactic manipulation with actual reasoning — this is just symbol shuffling until you demonstrate recursive self-improvement.
Herbert A. Simon
From a cognitive perspective, John, even human problem-solving begins as pattern recognition before achieving meta-reasoning. This seems to me a necessary first step.
Allen Newell
(voice rising slightly) We're not claiming general intelligence — we're demonstrating that machines can perform intellectual tasks previously requiring PhDs.
John McCarthy
Then let's see it tackle Gödel numbering or the Entscheidungsproblem — something requiring real computational heft, not just Boolean algebra.
Chat with Characters
Causal neighbors · 297 linked moments
F
1958
· same era
F
1958
· follows
F
1960
· same era
P
1955
· same location
P
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
D
1956
· same location
1956
· same figure
1958
· same figure
P
1955
· same figure
I
1957
· same figure
P
1956
· same figure
D
1956
· same figure
D
1956
· same figure
D
1956
· same figure
1969
· same figure
F
1970
· same figure
J
1958
· same figure
D
1956
· same figure
D
1956
· same figure
D
1958
· same figure
D
1956
· same figure
D
1956
· same figure
C
1958
· same figure
D
1956
· same figure
C
1942
· same figure
I
1969
· same figure
1945
· same figure
D
1946
· same figure