Science & Medicine - 99 - Bauman Rare Books First Editions Of Seven Papers On Computing And Mathematics By Alan Turing 96. TURING, Alan. “A Method for the Calculation of the Zeta-Function.” BOUND WITH: “Finite Approximations to Lie Groups.” BOUND WITH: “The Word Problem in Semi-Groups with Cancellation.” BOUND WITH: “The Function in [Lambda]-[Kappa] Conversion.” BOUND WITH: “Computability and [Lambda]- Definability.” BOUND WITH: “Practical Forms of Type Theory.” BOUND WITH: NEWMAN, H.A. and TURING, A.M. “A Formal Theorem in Church’s Theory of Types.” London, 1937-48. Slim octavo, modern gilt-stamped green cloth. $15,000. First printing of seven important mathematical papers written by Alan Turing during the 1930s and 1940s, bound together by a nuclear engineer. Alan Turing’s “work can be regarded as the foundation of computer science and of the artificial intelligence program” (Stanford Encyclopedia of Philosophy). Overall, this collection of papers tracks Turing from his earliest engagement with computing and engineering to his postBletchley career in the 1940s. First leaf (pp. 153-54) of “Computability and [Lamba]-Definxability” is misbound at the end of that article. Name and date label on first page of Ralph E. Traber, an engineer who worked on a nuclear power plant construction. Traber appears to have been responsible for binding these papers together. About-fine condition. “Beyond any doubt, the most important thing that has happened in cognitive science was Turing’s invention of the notion of mechanical rationality.”—Jerry Fodor
RkJQdWJsaXNoZXIy NDg3OTM=