GÖDEL, KURT. 1906-1978.
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." Offprint from: Aus des Monatsheften für Mathematik und Physik, XXXVIII. Band, 1. Akademsiche Verlagsgesellschaft, 1931.
8vo. 173-198 pp. Original printed tan wrappers, front wrapper with printed presentation statement "Überreicht von verfasser." Lightly sunned and chipped at spine, a few faint spots to covers.
Provenance: Contemporary underlining and a few marginal notations in a German hand.
FIRST EDITION, AUTHOR'S PRESENTATION OFFPRINT ISSUE OF GÖDEL'S FAMED PAPER CONTAINING HIS INCOMPLETENESS THEOREMS AS WELL AS THE TECHNIQUE HE INVENTED TO PROVE THEM, NOW KNOWN AS "GÖDEL NUMBERING." The paper, known in English as "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I," had an enormous impact on the fields of mathematics, computer science, and philosophy. Von Neumann said of it: "Kurt Gödel's achievement in modern logic is singular and monumental indeed it is more than a monument, it is a landmark which will remain visible far in space and time. The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement" (Halmos, P.R. "The Legend of von Neumann", The American Mathematical Monthly, Vol. 80, No. 4. (April 1973), pp. 382394). Origins of Cyberspace 306.