Logic Theorist
computer program
Learn about this topic in these articles:
artificial intelligence
- In artificial intelligence: Logical reasoning and problem solving
The Logic Theorist, as the program became known, was designed to prove theorems from Principia Mathematica (1910–13), a three-volume work by the British philosopher-mathematicians Alfred North Whitehead and Bertrand Russell. In one instance, a proof devised by the program was more elegant than the proof given…
Read More
work of Newell
- In Allen Newell
…the first AI programs, the Logic Theorist. Funded primarily by the air force and run on Johnniac (a computer named for John von Neumann, one of the inventors of the digital computer), the Logic Theorist was capable of solving general logic problems, such as those found in the Principia Mathematica…
Read More