Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis

Springer-Verlag
1
Free sample

Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine unüberwindbare Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett.

Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit.

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 Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.

Read more

About the author

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.
Read more
5.0
1 total
Loading...

Additional Information

Publisher
Springer-Verlag
Read more
Published on
Aug 27, 2012
Read more
Pages
368
Read more
ISBN
9783827430007
Read more
Read more
Best For
Read more
Language
German
Read more
Genres
Mathematics / General
Mathematics / History & Philosophy
Mathematics / Logic
Read more
Content Protection
This content is DRM protected.
Read more

Reading information

Smartphones and Tablets

Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.

Laptops and Computers

You can read books purchased on Google Play using your computer's web browser.

eReaders and other devices

To read on e-ink devices like the Sony eReader or Barnes & Noble Nook, you'll need to download a file and transfer it to your device. Please follow the detailed Help center instructions to transfer the files to supported eReaders.
©2018 GoogleSite Terms of ServicePrivacyDevelopersArtistsAbout Google|Location: United StatesLanguage: English (United States)
By purchasing this item, you are transacting with Google Payments and agreeing to the Google Payments Terms of Service and Privacy Notice.