928
928
Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
Estimation
300500
Lot. Vendu 563 GBP (Prix d’adjudication avec commission acheteur)
ACCÉDER AU LOT
928
Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
Estimation
300500
Lot. Vendu 563 GBP (Prix d’adjudication avec commission acheteur)
ACCÉDER AU LOT

Details & Cataloguing

The Erwin Tomash Library on the History of Computing

|
Londres

Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
8vo (248 x 167mm.), bound with numbers 1, 3 and 4 of the same year, contemporary blue cloth, minor browning, slight wear to cloth
Lire le rapport d'état Lire le rapport d'état

Provenance

bought from Elgen Books, Rockville Centre, NY, 1995

Bibliographie

Tomash & Williams T59; Origins of Cyberspace 395

Description

First appearance of Turing's important paper proving that his own concept of computability and that of Alonzo Church's λ-Calculus are in fact equivalent. Both theses of computability had been developed independently, both arriving at the same fundamental mathematical result.

The Erwin Tomash Library on the History of Computing

|
Londres