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.

Gödels historisches Meisterwerk detailliert aufbereitet Alle Einzelschritte erläutert und anhand zahlreicher Beispiele verständlich erklärt Ausführliche Darstellung des geschichtlichen Umfelds (Grundlagenkrise der Mathematik, Hilberts formalistische Logik Gegen Brouwers intuitionistische Mathematik) Ein Must-Have für alle, die an den Grundlagen der Mathematik interessiert sind Includes supplementary material: sn.pub/extras

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.