The Logic Theory Machine. A Complex Information Processing System
Newell, Simon and Shaw
From Jeremy Norman's historyofscience, Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since January 9, 1999
From Jeremy Norman's historyofscience, Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since January 9, 1999
About this Item
Newell, Allen (1927-92); Herbert Simon (1916-2001). The logic theory machine: A complex information processing system. Reproduced typescript. Offprint from IRE Transactions on Information Theory IT-2 (September 1956). 61-79pp. 278 x 218 mm. Without wrappers as issued. Punched for a 3-ring binder. Boxed. Light toning, slight edgewear and creasing, but very good. First Edition, Offprint Issue. Extremely rare. During 1955 and 1956 computer scientist and cognitive psychologist Allen Newell, political scientist, economist and sociologist Herbert A. Simon and systems programmer John Clifford Shaw, all working at the Rand Corporation in Santa Monica, California, developed the Logic Theorist, the first program deliberately engineered to mimic the problem-solving skills of a human being. They decided to write a program that could prove theorems in the propositional calculus like those in Principia Mathematica by Alfred North Whitehead and Bertrand Russell. As Simon later wrote, "LT was based on the system of Principia mathematica, largely because a copy of that work happened to sit in my bookshelf. There was no intention of making a contribution to symbolic logic, and the system of Principia was sufficiently outmoded by that time as to be inappropriate for that purpose. For us, the important consideration was not the precise task, but its suitability for demonstrating that a computer could discover problem solutions in a complex nonnumerical domain by heuristic search that used humanoid heuristics" (Simon, "Allen Newell: 1927-1992," Annals of the History of Computing 20 [1998]: 68). The collaborators wrote the first version of the program by hand on 3 x 5-inch cards. As Simon recalled: "In January 1956, we assembled my wife and three children together with some graduate students. To each member of the group, we gave one of the cards, so that each one became, in effect, a component of the computer program . . . Here was nature imitating art imitating nature" (quoted in the Wikipedia article on Logic Theorist). The team showed that the program could prove theorems as well as a talented mathematician. Eventually Shaw was able to run the program on the computer at RAND s Santa Monica facility. It proved 38 of the first 52 theorems in Principia Mathematica. For Theorem 2.85 the Logic Theorist surpassed its inventors expectations by finding a new and better proof. This was the "the first foray by artificial intelligence research into high-order intellectual processes" (Feigenbaum and Feldman, Computers and Thought [1963]). Newell and Simon first described the Logic Theorist in Rand Corporation report P-868 issued on June 15, 1956, entitled The Logic Theory Machine. A Complex Information Processing System. As far as we know, no copy of that report has ever appeared in commerce. The report was first officially published in September, 1956 under the same title in IRE Transactions on Information Theory IT-2, 61-79. Newell and Simon demonstrated the program at the Dartmouth Summer Session on Artificial Intelligence (August-September 1956) in which AI was formally named Artificial Intelligence. Origins of Cyberspace 815 (journal issue). . Seller Inventory # 45290
Bibliographic Details
Title: The Logic Theory Machine. A Complex ...
Publication Date: 1956
Binding: Soft cover
Edition: 1st Edition
Store Description
Shipping charges will be applied to all orders. All items are guaranteed as described and all purchases may
be returned for any reason within two weeks of receipt. Please notify us in advance if you are making a
return.
Legal entity: Jeremy Norman & Co., Inc.
Business address: 936-B Seventh St., PMB 238, Novato, CA 94945-3000
Email address: orders@jnorman.com
Phone: 415-892-3181
Federal Tax ID Number:94-2261335
Authorized representative: Jeremy M. Norman
Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping cost is required.
Payment Methods
accepted by seller