Logic Theorist

Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called "the first artificial intelligence program." It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica, and find new and more elegant proofs for some.

Read more about Logic Theorist:  History, Logic Theorist's Influence On AI, Philosophical Implications

Other articles related to "logic theorist":

Logic Theorist - Philosophical Implications
... Pamela McCorduck writes that the Logic Theorist was "proof positive that a machine could perform tasks heretofor considered intelligent, creative and uniquely human." And ... Pamela McCorduck also sees in the Logic Theorist the debut of a new theory of the mind, the information processing model (sometimes called computationalism) ...

Famous quotes containing the word logic:

    There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.
    Katharine Fullerton Gerould (1879–1944)