Plate I. The Summer Project, 1955–1973

1956— Research

Logic Theorist proves theorems

Allen Newell, Herbert Simon and Cliff Shaw’s Logic Theorist proves theorems from Principia Mathematica, sometimes finding shorter proofs than the original.

Note on the date: Written in 1955–56 and demonstrated in 1956.

Date confidence: medium

Sources

• Logic Theorist, Wikipedia secondary

See it in the chronicle