Logic Theorist

（重定向自Logic Theory Machine）

Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and Cliff 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.

单词	Logic Theory Machine
释义	Logic Theory Machine 英语百科 Logic Theorist （重定向自Logic Theory Machine） Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and Cliff 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.
随便看	mensiso的意思 Mensiversary的意思 Mensk的意思 menskful的意思 menskfully的意思 mensking的意思 menskless的意思 menskly的意思 Menslage的意思 mensless的意思 menson的意思 mensone的意思 mensonge的意思 Mens rea的意思 Mensrea的意思 mens reas的意思 menssanaincorporesano的意思 Mens sana in corpore sano的意思 mens sibi conscia recti的意思 mens store的意思 mens stores的意思 Mensstrual involution of breast的意思 menst.的意思 menstealer的意思 menstealers的意思