Skip to content

Secure Checkout

Website Secured with 256-bit TLS Encryption
Subtotal: $2,750.00
Shipping: $7.00
$0.00
Donation Amount: $0.00
Total: $2,757.00
4 - 6 days
7 - 14 days

All fields are required unless marked optional.

Add Shipping Note
  • Visa
  • Mastercard
  • American Express
  • Discover
  • Paypal
  • Apple Pay
  • Google Pay

Verified and Secured. Guaranteed.

Website Secured with 256-bit TLS Encryption
Please select your payment method from the following list:
Click the button to checkout with PayPal.
You will be charged $2,757.00 when completing this purchase.

Cart Totals

Subtotal: $2,750.00
Shipping: $7.00
: $0.00
Donation Amount: $0.00
Total: $2,757.00

You are about to purchase:

On the mechanization of the theory of equations. Offprint. Inscribed to Martin Davis

On the mechanization of the theory of equations. Offprint. Inscribed to Martin Davis by Robinson, Abraham

7 to 14 days for delivery
Standard Shipping: $7.00
Details
$2,750.00
( US$)
Seller: Jeremy Norman & Co., Inc.
Title
On the mechanization of the theory of equations. Offprint. Inscribed to Martin Davis
Author
Robinson, Abraham
Seller
Jeremy Norman & Co., Inc. (United States)
Description
1960. 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). .