Logic Theorist
An early AI program developed in 1956 by Newell, Shaw, and Simon. It is regarded as the first automated theorem proving system and is capable of proving some of the theorems in Principia Mathematica.
Core Facts
Timeline (last 90 days)
Automated theorem proving (ATP) is a research field with decades of history; early representative systems include the Logic Theorist and the Resolution Prover from the 1950s.
The history of automated theorem proving dates back to 1956, when Logic Theorist, developed by Allen Newell and Herbert Simon, is considered the first automated reasoning program.
Logic Theorist successfully proved 38 theorems from Principia Mathematica.
All Facts (3)
The history of automated theorem proving dates back to 1956, when Logic Theorist, developed by Allen Newell and Herbert Simon, is considered the first automated reasoning program.
75%UnverifiedAutomated theorem proving (ATP) is a research field with decades of history; early representative systems include the Logic Theorist and the Resolution Prover from the 1950s.
50%UnverifiedLogic Theorist successfully proved 38 theorems from Principia Mathematica.
50%