Britannica
Sources used in this answer
Why was one proof produced by the Logic Theorist especially notable?
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, created in 1955–56 by Allen Newell, J. Clifford Shaw, and Herbert Simon, was the first artificial intelligence program designed to mimic human problem-solving. It was specifically developed to prove mathematical theorems from the work Principia Mathematica by Alfred North Whitehead and Bertrand Russell.
The program is especially notable because, in one instance, it devised a proof that was more elegant than the corresponding proof provided in the original books.1