Source: wikibot/logic-theorist
= Logic Theorist
{wiki=Logic_Theorist}
The Logic Theorist is one of the earliest computer programs developed for artificial intelligence, created in 1955 by Allen Newell and Herbert A. Simon. It was designed to prove mathematical theorems by applying principles of formal logic. The program was capable of representing logical expressions and utilizing heuristic methods to derive proofs, similar to how a human mathematician might approach a problem.