.jpg?w=1)
细节
GÖDEL, Kurt (1906-1978). 'Zum Entscheidungsproblem des logischen Funktionenkalküls.' Offprint from: Monatsheften für Mathematik und Physik, vol. 40, part 2. Leipzig: Akademische Verlagsgesellschaft, 1933. 8° (234 x 156mm). 11pp., 433-443. Original stapled wrappers, the front wrapper with printed statement of presentation from the author (small area of light discolouration on the front wrapper, the spine starting to split at ends).
RARE OFFPRINT FOR PRESENTATION of Gödel's work on the decision problem in formal mathematical systems, an issue central to the work of Turing and Church. ABPC records no copy of this offprint at auction, and only one other Gödel offprint: his 'über formal unentschreidbare Sätze der Principia Mathematica und verwandtler Systeme I' (sold, Christie's New York, 17 June 2008, lot 149). Not in Origins of Cyberspace.
RARE OFFPRINT FOR PRESENTATION of Gödel's work on the decision problem in formal mathematical systems, an issue central to the work of Turing and Church. ABPC records no copy of this offprint at auction, and only one other Gödel offprint: his 'über formal unentschreidbare Sätze der Principia Mathematica und verwandtler Systeme I' (sold, Christie's New York, 17 June 2008, lot 149). Not in Origins of Cyberspace.
荣誉呈献
Eugenio Donadoni
查阅状况报告或联络我们查询更多拍品资料