Gödel's Proof

Inhaltsangabe von Gödel's Proof

«Gödel's Proof» ist der logisch-mathematische Sachbuch-Essay von Ernest Nagel und James R. Newman, veröffentlicht von NYU Press in gebundener Ausgabe (129 Seiten, auf Englisch).

Nagel und Newman erläutern die Entdeckung von Kurt Gödel (1931): die Existenz formal unentscheidbarer Aussagen in Principia Mathematica und verwandten Systemen. Auf verständliche Weise behandeln sie den Begriff der Konsistenz, die Kodierung formaler Logik und die Arithmetisierung der Metamathematik, um die Implikationen dieses Beweises aufzuzeigen.

Diese überarbeitete Ausgabe enthält ein neues Vorwort von Douglas R. Hofstadter; das Werk wurde ursprünglich 1958 veröffentlicht.

Gedacht für Studierende, Akademiker und Fachleute aus Mathematik, Informatik, Logik und Philosophie sowie für jeden Leser, der sich für diese Themen interessiert.