From Jeremy Norman's historyofscience, Novato, CA, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since January 9, 1999
About this Item
Church, Alonzo (1903-95). Autograph letter signed to Martin Davis (1928-2023). 1+ pages on single sheet. Los Angeles, 21 May 1984. 215 x 141 mm. Fine. From Alonzo Church, who made major contributions to mathematical logic, including the lambda calculus (a universal model of computation), the Church-Turing thesis on the nature of computable functions, and his proof of the unsolvability of Hilbert s famous Entscheidungsproblem. Together with his doctoral student, Alan Turing, Church is considered one of the founders of computer science. His correspondent, Martin Davis, was a mathematical logician and computer scientist who had done his Ph.D. work under Church at Princeton; his doctoral thesis on Hilbert s tenth problem led to the MRDP theorem for Diophantine sets. Church responds to an inquiry from Davis regarding John von Neumann and Alan Turing: "I am sorry that, in spite of the delay, my reply to your letter has to be disappointing. I even tried searching old correspondence files in the hope of turning up something of interest, but to no avail. I know of no interest by von Neumann in the connection between concrete computers and the abstract theory of computability, and of no consultation between Turing and von Neumann about this or other matters . . ." . Seller Inventory # 51647
Bibliographic Details
Title: Autograph letter signed to Martin Davis
Publisher: Los Angeles
Publication Date: 1984
Binding: Soft cover
Signed: Signed by Author(s)
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
