Follow

> is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. It was the first program deliberately engineered to perform automated reasoning, and has been described as ***the first artificial intelligence program***.
Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Russell's *Principia Mathematica*, and found new and shorter proofs for some of them.

en.wikipedia.org/wiki/Logic_Th

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.