Die Gödel'schen Unvollständigkeitssätze

Seit ihrer Entdeckung sind die Gödel'schen Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhundert zurück.

Autorentext
Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe Technik und Wirtschaft. Vom ihm ist im gleichen Verlag das Werk Grenzen der Mathematik erschienen.

Inhalt
1 Einleitung.- 2 Die formalen Grundlagen der Mathematik.- 3 Beweisskizze.- 4 System P.- 5 Primitiv-rekursive Funktionen.- 6 Die Grenzen der Mathematik.