Beschreibung:

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).