Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Die Gödel'schen Unvollständigkeitssätze
Eine geführte Reise durch Kurt Gödels historischen Beweis
Taschenbuch von Dirk W. Hoffmann
Sprache: Deutsch

39,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Über den Autor
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.
Zusammenfassung

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.

Inhaltsverzeichnis
1 Einleitung.- 2 Die formalen Grundlagen der Mathematik.- 3 Beweisskizze.- 4 System P.- 5 Primitiv-rekursive Funktionen.- 6 Die Grenzen der Mathematik.
Details
Erscheinungsjahr: 2012
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9783827429995
ISBN-10: 3827429994
Sprache: Deutsch
Herstellernummer: 80114014
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Hoffmann, Dirk W.
Hersteller: Spektrum Akademischer Verlag
Maße: 235 x 155 x 20 mm
Von/Mit: Dirk W. Hoffmann
Erscheinungsdatum: 26.08.2012
Gewicht: 0,557 kg
Artikel-ID: 106422908
Über den Autor
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.
Zusammenfassung

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.

Inhaltsverzeichnis
1 Einleitung.- 2 Die formalen Grundlagen der Mathematik.- 3 Beweisskizze.- 4 System P.- 5 Primitiv-rekursive Funktionen.- 6 Die Grenzen der Mathematik.
Details
Erscheinungsjahr: 2012
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9783827429995
ISBN-10: 3827429994
Sprache: Deutsch
Herstellernummer: 80114014
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Hoffmann, Dirk W.
Hersteller: Spektrum Akademischer Verlag
Maße: 235 x 155 x 20 mm
Von/Mit: Dirk W. Hoffmann
Erscheinungsdatum: 26.08.2012
Gewicht: 0,557 kg
Artikel-ID: 106422908
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte