ALPHA Timepoint is in alpha Talk to Us
Sign In Get Started
D

Demonstration of the Logic Theorist Program

Allen Newell, Herbert A. Simon, and Cliff Shaw are demonstrating the Logic Theorist program, an early artificial intelligence, at Dartmouth College. The program is attempting to prove mathematical the

Setting

A lecture hall at Dartmouth College, filled with wooden chairs arranged in neat rows facing a raised platform. The walls are lined with blackboards covered in mathematical notations and diagrams. At the front, a large table holds the IBM 704 computer running the Logic Theorist program, its tape reels slowly spinning.

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 man in his late 20s with sharp features, wire-rimmed glasses, and neatly combed dark hair. His posture carries the quiet confidence of a researcher who has spent years refining his theories.
Herbert A. Simon
primary
A middle-aged man of average height with a slightly rounded build, wearing wire-rimmed glasses. His thinning dark hair is neatly combed, and his sharp, observant eyes reflect his keen intellect. His posture is upright but not rigid, exuding both confidence and approachability.
Cliff Shaw
secondary
A lean, wiry man in his early 30s with short, dark brown hair combed neatly to the side. His sharp features are accentuated by a pair of round, wire-rimmed glasses that rest on the bridge of his nose. His fingers are long and nimble, accustomed to the precise work of programming and operating early computers.
Mathematics Professor
secondary
A middle-aged man with a lean build, sharp angular features, and thinning gray hair combed neatly to the side. His piercing blue eyes are magnified by round wire-rimmed glasses, which he frequently adjusts. His posture is rigid, betraying his military background, and his hands are often clasped tightly together.
Graduate Student
background
A young man in his early 20s, slight of build with unruly dark brown hair and wire-rimmed glasses. His face is smooth, free of any noticeable scars or blemishes, and his eyes are bright with curiosity. He wears a neatly pressed but slightly worn button-down shirt with rolled-up sleeves.

Dialog

Allen Newell Observe how the system selects theorem B-37 from Principia Mathematica—not through brute force enumeration, but by applying heuristic search patterns modeled on human problem-solving.
Mathematics Professor With all due respect, Dr. Newell—how can you claim this machine 'thinks' when it merely shuffles symbols according to predetermined rules?
Herbert A. Simon If we consider cognition itself as symbol manipulation—as our own brains might process information—then the distinction between 'calculation' and 'thought' becomes rather less absolute, wouldn't you agree?
Allen Newell Let me rephrase that—when you solve a proof, don't you also follow patterns? The system's heuristic approach mirrors this, just with formalized decision points.
Mathematics Professor Hmph. I'll reserve judgment until I see it derive an original theorem—not just regurgitate Russell and Whitehead.
Herbert A. Simon Precisely what we're working toward. Today demonstrates the mechanism—tomorrow, the creative application.
Allen Newell Watch now—it's rejecting the first attempted path. That's learning.

Chat with Characters

You've used your 3 free turns

Sign in to keep chatting with characters from this moment — unlimited turns.

Sign in to Continue
— Sign in for unlimited

Causal neighbors · 281 linked moments

V
Vanguard 1 Launch
1958 · same era
E
Explorer 1 Launch
1958 · same era
E
Explorer 1 Launch
1958 · follows
D
Delivery of the first UNIVAC I to the United States Census Bureau
1951 · same era
D
Delivery of the first UNIVAC I to the United States Census Bureau
1951 · precedes
L
Launch of Explorer 1
1958 · same era
L
Launch of Explorer 1
1958 · follows
F
Friendship 7 Launch
1962 · same era
F
Friendship 7 Launch
1962 · follows
E
ENIAC Unveiled
1946 · same era
E
ENIAC Unveiled
1946 · precedes
I
Invention of the Transistor
1947 · same era
I
Invention of the Transistor
1947 · precedes
M
Manchester Mark 1 First Program Run
1949 · same figure
C
Creation of the LISP Programming Language
1958 · same era
C
Creation of the LISP Programming Language
1958 · follows
D
Dartmouth Conference on Artificial Intelligence begins
1956 · same location
First Integrated Circuit Demonstration
First Integrated Circuit Demonstration
1958 · same era
E
Explorer 1 launch
1958 · same era
E
Explorer 1 launch
1958 · follows
T
Telstar 1 launch
1962 · same era
T
Telstar 1 launch
1962 · follows
First Integrated Circuit Demonstration
First Integrated Circuit Demonstration
1958 · follows
M
Manchester Mark 1 First Program Run
1949 · same figure
D
Dartmouth Conference on Artificial Intelligence begins
1956 · same location
H
Harvard Mark I Operational
1944 · same figure
D
Dartmouth Workshop
1956 · same location
D
Dartmouth Conference on Artificial Intelligence
1956 · same location
D
Dartmouth Workshop (Birth of AI)
1956 · same location
D
Dartmouth Workshop (Birth of AI)
1956 · same figure
P
Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
1956 · same location
D
Demonstration of the Logic Theorist at the Dartmouth Conference
1956 · same location
D
Demonstration of the Logic Theorist at the Dartmouth Conference
1956 · same figure
D
Dartmouth Summer Research Project on Artificial Intelligence
1956 · same location
Launch of Sputnik 1
Launch of Sputnik 1
1957 · precedes
F
First Program Run on the Manchester Mark 1
1949 · same era