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

Gödel, Kurt

Editore: Akademische Verlagsgesellschaft, Leipzig, 1933

Riguardo questo articolo

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. Codice articolo 140940049

Dati bibliografici

Titolo: Zum Entscheidungsproblem des logischen ...

Casa editrice: Akademische Verlagsgesellschaft, Leipzig

Data di pubblicazione: 1933

Condizione: Very Good

Edizione: First Edition.