.jpg?w=1)
Details
GÖDEL, Kurt (1906-1978). "Über formal unentscheidbare Sätze der Principia Mathematica und verwandlter Systeme I." In: Monatshefte für Mathematik und Physik. 38th volume, number 1, pp. 173-198. Leipzig: Akademische Verlagsgesellschaft, 1931.
4o. Original printed wrappers (minor chipping and splitting to spine). Provenance: A. Blake (signature on front wrapper).
FIRST EDITION of Gödel's groundbreaking paper and the introduction of what was later known as "Gödel's Proof." "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" (See Origins of Cyberspace 306).
4o. Original printed wrappers (minor chipping and splitting to spine). Provenance: A. Blake (signature on front wrapper).
FIRST EDITION of Gödel's groundbreaking paper and the introduction of what was later known as "Gödel's Proof." "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" (See Origins of Cyberspace 306).