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.
Auflage
Sprache
Verlagsort
Zielgruppe
Für Beruf und Forschung
Upper undergraduate
Illustrationen
66
66 s/w Abbildungen
368 S. 66 Abb.
Maße
Höhe: 235 mm
Breite: 155 mm
Dicke: 20 mm
Gewicht
ISBN-13
978-3-8274-2999-5 (9783827429995)
DOI
10.1007/978-3-8274-3000-7
Schweitzer Klassifikation
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.
1 Einleitung.- 2 Die formalen Grundlagen der Mathematik.- 3 Beweisskizze.- 4 System P.- 5 Primitiv-rekursive Funktionen.- 6 Die Grenzen der Mathematik.
