Britannica
Sources used in this answer
What was the Logic Theorist designed to prove?
Created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
artificial intelligence
Image generated by the Stable Diffusion model from the prompt “the ability of a digital computer or computer-controlled robot to perform tasks commonly associated with intelligent beings,” which is the definition of artificial intelligence in the Encyclopædia Britannica article on the subject. Stable Diffusion is trained on a large set of images paired with textual descriptions and uses natural language processing to generate an image.
The Logic Theorist was created by Allen Newell, J.C. Shaw, and Herbert Simon as the first artificial intelligence program designed to mimic human problem-solving processes.1
Its primary purpose was to solve mathematical problems found in Principia Mathematica (1910–13), a foundational work written by Alfred North Whitehead and Bertrand Russell.1