Logic Theorist Marks 70 Years as First Automated Theorem Prover
Reactions from ranked influencers
2 posts
70 years ago Allen Newell, Herbert A. Simon, and Cliff Shaw created Logic Theorist. This was the first program that could perform automated theorem proving. "It proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found new and shorter proofs for some of them." https://en.wikipedia.org/wiki/Logic_Theorist https://www.researchgate.net/publication/276216226_Newell_and_Simon's_Logic_Theorist_Historical_Background_and_Impact_on_Cognitive_Modeling#fullTextFileContent
Seventy years ago, Allen Newell, Herbert A. Simon, and Cliff Shaw created Logic Theorist, widely regarded as the first automated theorem prover. It proved 38 of the first 52 theorems in Chapter 2 of Alfred North Whitehead and Bertrand Russell’s Principia Mathematica and found a new, shorter proof for at least one of them. The project was a collaboration between the Carnegie Institute of Technology (@CarnegieMellon's predecessor) and the RAND Corporation. https://en.wikipedia.org/wiki/Logic_Theorist https://www.researchgate.net/publication/276216226_Newell_and_Simon's_Logic_Theorist_Historical_Background_and_Impact_on_Cognitive_Modeling#fullTextFileContent