Logic Theorist

Logic theorist is a computer programme created in 1956 by Allen Newell, J. C. Shaw and Herbert Simon. It was the first programme designed to imitate human problem solving skills, and was able to prove thirty eight of the first fifty two theorems presented in the book “Principia Mathematica” by Bertrand Russell and Alfred North Whitehead.