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

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

Verkäufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

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

Verlag

Akademische Verlagsgesellschaft, Leipzig

Veröffentlichungsdatum

1933

Ausgabe

First Edition.

Zustand

Very Good

Verkäuferkataloge

• Science
• Mathematics
• Magazines & Periodicals
• Physics