Common
Logic Theorist
1956 computer program written by Allen Newell, Herbert A. Simon and Cliff Shaw
Logic Theorist
Logic Theorist is a computer program completed 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 Bertrand Russell's Principia Mathematica, and found a new and shorter proof for Theorem 2.85.
Open boosters, collect cards and trade them. Free to play.
Play for free