Back Logic Theorist Spanish نظریه پرداز منطقی FA Logic Theorist French Logic Theorist Japanese 논리 이론가 Korean Logic Theorist Portuguese Logic Theorist Swedish 逻辑理论家 Chinese
Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found new and shorter proofs for some of them.[3]
- ^ a b McCorduck 2004, pp. 123–125, Crevier 1993, pp. 44–46 and Russell & Norvig 2021, p. 17
- ^ Crevier 1993, p. 44.
- ^ McCorduck 2004, p. 167.
Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).