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

Famous quotes containing the word logic:

    ...some sort of false logic has crept into our schools, for the people whom I have seen doing housework or cooking know nothing of botany or chemistry, and the people who know botany and chemistry do not cook or sweep. The conclusion seems to be, if one knows chemistry she must not cook or do housework.
    Ellen Henrietta Swallow Richards (1842–1911)