GÖDEL, Kurt (1906-1978). 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandlter Systeme I.' Offprint from: Monatshefte für Mathematik und Physik, vol. 38, part 1. Leipzig: Akademische Verlagsgesellschaft, 1931.
No VAT on hammer price or buyer's premium.
GÖDEL, Kurt (1906-1978). 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandlter Systeme I.' Offprint from: Monatshefte für Mathematik und Physik, vol. 38, part 1. Leipzig: Akademische Verlagsgesellschaft, 1931.

细节
GÖDEL, Kurt (1906-1978). 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandlter Systeme I.' Offprint from: Monatshefte für Mathematik und Physik, vol. 38, part 1. Leipzig: Akademische Verlagsgesellschaft, 1931.

8° (230 x 154mm). 26pp., 173-198. Original stapled wrappers, the front wrapper with printed statement of presentation from the author (tiny area of very faint discolouration on front wrapper).

EXTREMELY RARE OFFPRINT OF 'GÖDEL'S PROOF'. This ground-breaking paper 'On Formally Undecidable Propositions in Principia Mathematica and Related Systems I' 'permanently altered the foundations of logic and mathematics. Gödel came up with his two famous theorems establishing the incompleteness and inconsistency of arithmetic, and by extension any formal mathematical system rich enough to include the theory of numbers' (Origins of Cyberspace 306). The notion of computability in a formal system is here named Entscheidungsdefinitheit, and later Gödel claimed it was equivalent to Turing computability. ONLY THE JOURNAL ISSUE CAN BE TRACED AS SELLING AT AUCTION (Christie's NY, 17 June 2008, lot 149).
注意事项
No VAT on hammer price or buyer's premium.

更多来自 书籍及手稿

查看全部
查看全部