
This auction has ended. View lot details
You may also be interested in
![NEWELL, ALLEN & HERBERT A. SIMON. The Logic Theory Machine. [September, 1956.] image 1](/_next/image.jpg?url=https%3A%2F%2Fimg2.bonhams.com%2Fimage%3Fsrc%3DImages%2Flive%2F2019-10%2F31%2F24926995-4-2.jpg&w=2400&q=75)
![NEWELL, ALLEN & HERBERT A. SIMON. The Logic Theory Machine. [September, 1956.] image 2](/_next/image.jpg?url=https%3A%2F%2Fimg2.bonhams.com%2Fimage%3Fsrc%3DImages%2Flive%2F2019-10%2F31%2F24926995-4-1.jpg&w=2400&q=75)
Lot 51
NEWELL, ALLEN & HERBERT A. SIMON. The Logic Theory Machine. [September, 1956.]
4 December 2019, 13:00 EST
New YorkSold for US$3,825 inc. premium
Looking for a similar item?
Our Books & Manuscripts specialists can help you find a similar item at an auction or via a private sale.
Find your local specialistAsk about this lot


Client Services (New York)
NEWELL, ALLEN & HERBERT A. SIMON.
The Logic Theory Machine. [September, 1956.]
4to (278 x 215 mm). Self wrappers, custom cloth folder and black morocco-backed slipcase. first and final leaves toned and with some tiny chips to extremities.
Offprint from the IRE Transactions on Information Theory IT-2.
FIRST EDITION of this work discussing what is considered the first artificial intelligence program. Newell and Simon had met while working for the RAND Corporation and began discussing the possibility of teaching machines to think. Their first project, the Logic Theorist, was a program that could prove mathematical theorems. They chose Bertrand Russell's and Alfred North Whitehead's Principia Mathematica as the focus and managed to get the program to solve 38 of the second chapter's 52 theorems - and the proof for theorem 2.85 was more elegant than that of Russell and Whitehead. The Logic Theorist was demonstrated at the Summer 1956 Dartmouth conference, the first conference on artificial intelligence, a name coined by John McCarthy specifically for the event. Hook & Norman Origins of Cyberspace 815.
4to (278 x 215 mm). Self wrappers, custom cloth folder and black morocco-backed slipcase. first and final leaves toned and with some tiny chips to extremities.
Offprint from the IRE Transactions on Information Theory IT-2.
FIRST EDITION of this work discussing what is considered the first artificial intelligence program. Newell and Simon had met while working for the RAND Corporation and began discussing the possibility of teaching machines to think. Their first project, the Logic Theorist, was a program that could prove mathematical theorems. They chose Bertrand Russell's and Alfred North Whitehead's Principia Mathematica as the focus and managed to get the program to solve 38 of the second chapter's 52 theorems - and the proof for theorem 2.85 was more elegant than that of Russell and Whitehead. The Logic Theorist was demonstrated at the Summer 1956 Dartmouth conference, the first conference on artificial intelligence, a name coined by John McCarthy specifically for the event. Hook & Norman Origins of Cyberspace 815.

![ARCHITECTURE - ST PAUL'S CATHEDRAL Manuscript planning brief for work under the supervision of Inigo Jones, [c.1631]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-10%252F16%252F25762965-1-1.jpg%26width%3D650&w=2400&q=75)
![ADVERTISING POSTERfor 'The Suffragette' newspaper, [c.1913-1914]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-06%252F25%252F25680656-116-1.jpg%26width%3D650&w=2400&q=75)

![ILLUMINATED ADDRESS – CLARA CODD Illuminated printed address signed by Emmeline Pankhurst, [1909]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-06%252F25%252F25680656-32-1.jpg%26width%3D650&w=2400&q=75)

![MUSIC & RECORDINGS – ETHEL SMYTH Collection of printed music, song sheets and records, [c.1911-1912]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-10%252F09%252F25680656-99-1.jpg%26width%3D650&w=2400&q=75)
