928
928
Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
前往
928
Turing, Alan Mathison (1912-1954)
"COMPUTABILITY AND Λ-DEFINABILITY" [IN:] THE JOURNAL OF SYMBOLIC LOGIC, VOL. 2, NO. 4, DECEMBER 1937
前往

拍品詳情

厄文‧托馬許藏書: 運算的歷史

|
倫敦

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
參閱狀況報告 參閱狀況報告

來源

bought from Elgen Books, Rockville Centre, NY, 1995

出版

Tomash & Williams T59; Origins of Cyberspace 395

相關資料

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.

厄文‧托馬許藏書: 運算的歷史

|
倫敦