Robinson, Abraham (1918-74). On the mechanization of the theory of equations. Offprint from Bulletin of the Research Council of Israel 9F (1960). 47-70pp. 241 x 170 mm. Without wrappers. Very good. Presentation Copy, inscribed by Robinson to Martin Davis (1928-2023) on the first page: "To Martin Davis Cordially A. R. 4.5.61." First Edition, Offprint Issue. Robinson is best known for developing nonstandard analysis, which reincorporated infinitesimal and infinite numbers into mathematics. In the present paper, which addresses "the problem of how to induce a machine, more particularly a digital computer, to prove mathematical theorems somewhat after the fashion of (certain) human beings," he constructed "a semantically complete calculus for the formulation of the elementary theory of equations" leading to "the formulation of a proof strategy for such problems" (p. 47). . Seller Inventory # 51685

Contact seller

Report this item

Bibliographic Details

Title: On the mechanization of the theory of ...

Publication Date: 1960

Binding: Soft cover

Signed: Signed by Author(s)

Edition: 1st Edition

Store Description

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Jeremy Norman's historyofscience
P. O. Box 867, Novato, CA, 94948, U.S.A.

Terms of Sale:

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

Shipping Terms:

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

Money Order PayPal Bank Draft Bank/Wire Transfer

Add to Wants