Book Id: 51685 On the mechanization of the theory of equations. Offprint. Inscribed to Martin Davis. Abraham Robinson.

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

Publisher Information: 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).

Book Id: 51685

Price: $2,750.00

See all items by