Zum Entscheidungsproblem des logischen Funktionenkalküls [in] Monatsheften für Mathematik und Physik, 40 Band

Leipzig: Akademische Verlagsgesellschaft, 1933. First Edition. Very Good. Kurt Gödel's "Zum Entscheidungsproblem des logischen Funktionenkalküls," published in Monatsheften für Mathematik und Physik, vol. 40. Complete volume, Pp. 470, 41 "Literaturberichte," with Gödel's paper on pp. 433-443. Bound without wraps in modern grey suede-like binding with spine lettered in gilt. Pages toned, lightly bumped at corners.

Gödel's work here on the decision problem in formal mathematical systems would be central to Alan Turing and Alonzo Church's work, leading to the Church-Turing thesis. "Gödel's achievement in modern logic is singular and monumental (truncated) -- 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. (Inventory #: 140940049)