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
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.