Burnside Rare Books

Die Vollständigkeit der Axiome des logischen Funktionenkalküls [in] Monatsheften für Mathematik und Physik, XXVII Band

Gödel, Kurt

Leipzig: Akademische Verlagsgesellschaft, 1930.

Kurt Gödel's paper "Die Vollständigkeit der Axiome des logischen Funktionenkalküls," published in Monatsheften für Mathematik und Physik, vol. 37. Complete volume, Pp. [iv], 404, 52 "Literaturberichte," with Gödel's paper on pp. [349]-360. Bound without wraps in modern grey suede-like binding with spine lettered in gilt. Pages toned and contents marked several times throughout with an ink stamp of a seashell, none appearing on Gödel's paper.

Gödel's first proof of his completeness theorem, a re-written and more concise version of Gödel's doctoral 1929 dissertation with more succinct explanations and omitting the lengthy introduction. It is the first major publication by one of the most important figures in 20th-century mathematics. "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" (John von Neumann, quoted in Halmos, The American Mathematical Monthly. Gödel is considered alongside Aristotle to be one of the most important logicians in history. Item #140940048

Price: $20,000.00