Logic Theorist
1956 program by Newell and Simon that proved mathematical theorems using symbolic reasoning, one of the first AI programs.
3 milestones
Herbert A. Simon predicts machines will be capable of any work a human can do, within twenty years
In 1965, Herbert A. Simon of Carnegie Mellon University published 'The Shape of Automation for Men and Management', in which he predicted that machines would, within twenty years, be capable of performing any cognitive task a human could perform, a claim that became one of the most cited and scrutinised forecasts in the history of artificial intelligence.
General Problem Solver introduced by Newell, Shaw and Simon
In 1959, Allen Newell and Herbert A. Simon at the RAND Corporation and Carnegie Institute of Technology, with J. C. Shaw, presented the General Problem Solver, a computer program that separated problem-solving strategy from domain knowledge using means–ends analysis.
The Logic Theorist: first automatic theorem-proving program, developed by Newell, Shaw, and Simon
In late 1955, Allen Newell, J. Clifford Shaw, and Herbert A. Simon at RAND Corporation and Carnegie Institute of Technology completed the Logic Theorist, a computer program that proved mathematical theorems from Whitehead and Russell's Principia Mathematica by heuristic search, establishing that symbolic reasoning could be mechanised.