Standorte	Status	Vorbestellungen	Frist	Mediengruppe	Zweigstelle
Standorte: E 230 Ho	Status: Verfügbar	Vorbestellungen: 0	Frist:	Mediengruppe: Sachbuch	Zweigstelle: Erwachs.-bibliothek

Die Unvollständigkeitssätze Kurt Gödels haben die Mathematik in ihren Grundfesten erschüttert. Ihnen zufolge kann u.a. ein für die Formalisierung der Mathematik hinreichend ausdrucksstarkes und nach Voraussetzung widerspruchsfreies formales System nicht sämtliche seiner inhaltlich wahren Aussagen beweisen. Es gibt mithin wahre Aussagen der Mathematik, die unbeweisbar sind. Das hier in einer 2., korrigierten Auflage vorliegende Werk liefert nun (angehenden) Mathematikern und Informatikern eine detailliert ausgeführte Aufarbeitung des Originalbeweises aus dem Jahre 1931. Das mit zahlreichen Einblicken in die Historie versehene Werk führt dabei zugänglich an die zugrundeliegenden Problemstellungen heran, liefert die zum Verständnis notwendigen zentralen Begriffe und zerlegt den Beweis in verständliche und durch Beispiele veranschaulichte Einzelschritte. Solide Kenntnisse der elementaren Logik werden vorausgesetzt. Ein sehr lesenswerter Zugang zu den Erkenntnissen Gödels.