On computable numbers, with an application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society, 2nd series, vol. 42, pp. 230-265.
London: C.F. Hodgson & Son, 1937.
1st Edition. Hardcover. Very good. Item #004059
On computable numbers, with an application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society, 2nd series, vol. 42, pp. 230-265. [WITH:] On Computable Numbers, with an Application to the Entscheidungsproblem: A Correction. In: Proceedings of The London Mathematical Society, 2nd Series, vol. 43, pp. 544-546. [WITH:] A Method for the Calculation of the Zeta-Function. In: Proceedings of The London Mathematical Society, 2nd Series, vol. 48, pp. 180-197. London: C.F. Hodgson & Son, 1937-1945. 8vo (253 x 167 mm). Three complete annual volumes: [4], 559 [1]; [4], 546; [4], 477 [1] pp., including general title to each volume. Uniformly bound in contemporary green half cloth over marbled boards, gilt-lettered spines (corners bumped, extremities slightly rubbed, minor repair at foot of spines). Text clean and bright throughout with just a little age-toning. Provenance: deaccessioned from Bibliotheque de Université Catholique de Louvain, with ink stamp "Y486" on title page in each volume; no other markings including erasures of former stamps or signatures*. A very good set.
RARE FIRST EDITIONS with the first treatise arguably being the most important single paper in the development of computers, which introduced the concept of a "universal machine." It laid much of the theoretical groundwork that was used to construct the earliest digital computers in the 1940s. A 2pp. correction (to errors on pp. 260 and 261 in the 1st paper) was published by Turing the same year and is present here in the 2nd volume. The third treatise, correcting and clarifying aspects of the first two parts, is found in the 3rd volume. In this "Method for the Calculation of the Zeta-Function," Turing follows through on a problem that had fascinated him since his PhD. In fact, in 1939 he had designed a machine that could calculate the result of the zeta. He began assembling the parts for its construction, but never completed the project. All these three papers are rarely found together.
Turing's machine was conceived as an answer to the last of the three questions on mathematics posed by David Hilbert in 1928: Is mathematics decidable? The machine was an imaginary computing device designed to emulate the mathematical thought processes and logical capabilities of a human computer. Hilbert's final question, known as the "Entscheidungsproblem" (decision problem), asks whether there is a definite method or "mechanical process" that is guaranteed to make a correct decision about whether a mathematical assertion is true. Turing used his universal machine to determine the answer to this question by developing the idea of "computable numbers", i.e. numbers that are defined by a certain rule and are therefore calculable on his imaginary machine. He demonstrated that these computable numbers could produce numbers that were not computable by any particular rule, and therefore concluded that there could be no "mechanical process" to solve all mathematical questions, as an incalculable number was an unsolvable problem. Mathematics is therefore undecidable. Turing's work not only answered Hilbert's final question, but also showed that a universal machine was possible, making it extremely influential for the theory of computation.
The British Government recruited Turing during the World War II to head a team based at Bletchley Park: this allowed Turing to put his theories into practice and build the ''Bombe'' and ''Colossus'', the name of the several machines which helped break the German's ''unbreakable'' Enigma cipher.
*The library holdings of about 50,000 journal volumes were dispersed in a sale directed by the Direction Generale des Finances Publiques in Saint Maurice (France) on 20 Sept. 2016. Documentation can be provided upon request.
Bibliography: Tomash & Williams T61, T62; Origins of Cyberspace 394; Randell 1979 p.169.
Price: 45,000 € * convert currency
Delivery time up to 10 days. For calculation of the latest delivery date, follow the link: Delivery times
Lieferzeit max. 10 Tage. Zur Berechnung des spätesten Liefertermins siehe hier: Lieferzeiten




















































