1956 ⟶ First demonstration of the Logic Theorist

The first demonstration of the Logic Theorist (LT) written b...
Timelines Logo
Year
1956

First demonstration of the Logic Theorist

The first demonstration of the Logic Theorist (LT) written by Allen Newell, Cliff Shaw and Herbert A. Simon (Carnegie Institute of Technology, now Carnegie Mellon University or CMU). This is often called the first AI program, though Samuel's checkers program also has a strong claim. This program has been described as the first deliberately engineered to perform automated reasoning, and would eventually prove 38 of the first 52 theorems in Russell and Whitehead's Principia Mathematica, and find new and more elegant proofs for some. Simon said that they had "solved the venerable Mind–body problem, explaining how a system composed of matter can have the properties of mind".⟶
First demonstration of the Logic Theorist (1956)