Dirk W. Hoffmann

Die Gödel'schen Unvollständigkeitssätze (eBook, PDF)

Eine geführte Reise durch Kurt Gödels historischen Beweis

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Spektrum Akademischer Verlag
• Seitenzahl: 368
• Erscheinungstermin: 27. August 2012
• Deutsch
• ISBN-13: 9783827430007
• Artikelnr.: 37803500

Autorenporträt

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.

Inhaltsangabe

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