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

Gödel, Kurt

Verlag: Akademische Verlagsgesellschaft, Leipzig, 1933

Beschreibung

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 -- 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. Bestandsnummer des Verkäufers 140940049

Bibliografische Details

Titel: Zum Entscheidungsproblem des logischen ...

Verlag: Akademische Verlagsgesellschaft, Leipzig

Erscheinungsdatum: 1933

Zustand: Very Good

Auflage: First Edition.