928
928
Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
LOT SOLD. 563 GBP
JUMP TO LOT
928
Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
LOT SOLD. 563 GBP
JUMP TO LOT

Details & Cataloguing

The Erwin Tomash Library on the History of Computing

|
London

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
Read Condition Report Read Condition Report

Provenance

bought from Elgen Books, Rockville Centre, NY, 1995

Literature

Tomash & Williams T59; Origins of Cyberspace 395

Catalogue Note

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

|
London