Willkommen, schön sind Sie da!
Logo Ex Libris

Die Gödel'schen Unvollständigkeitssätze
Dirk W. Hoffmann

Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe... Weiterlesen
Kartonierter Einband, 368 Seiten
20%
42.50 CHF 34.00
Auslieferung erfolgt in der Regel innert 4 bis 5 Werktagen.

Beschreibung

Autorentext

Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe - Technik und Wirtschaft. Von ihm ist im gleichen Verlag das Werk "Grenzen der Mathematik" erschienen.



Klappentext

Im Jahr 1931 erschien im Monatsheft f r Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel er formal unentscheidbare S e der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt G del zwei Unvollst igkeitss e bewiesen, die unseren Blick auf die Mathematik von Grund auf ver ert haben. G dels S e manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht berwinden k nnen. Die Mathematik f gt sich in kein formales Korsett.Seit ihrer Entdeckung sind die Unvollst igkeitss e 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 sion beschriebenen Argumentationsketten, die vielen Definitionen und S e 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 ert und anhand zahlreicher Beispiele verst lich erkl . Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollst igkeitss e 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 e 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.

Die 2. Auflage ist vollst ig durchgesehen.
Stimme zur ersten Auflage:

...eine didaktisch sehr gut gemachte Darstellung.
Prof. Dr. Matthias Homeister, FH Brandenburg



Inhalt

Einleitung.- Die formalen Grundlagen der Mathematik.- Beweisskizze.- Das System P.- Primitiv-rekursive Funktionen.- Die Grenzen der Mathematik.- Epilog.

Produktinformationen

Titel: Die Gödel'schen Unvollständigkeitssätze
Untertitel: Eine geführte Reise durch Kurt Gödels historischen Beweis
Autor: Dirk W. Hoffmann
EAN: 9783662542996
ISBN: 978-3-662-54299-6
Format: Kartonierter Einband
Herausgeber: Spektrum-Akademischer Vlg
Genre: Grundlagen
Anzahl Seiten: 368
Gewicht: 621g
Größe: H233mm x B154mm x T25mm
Veröffentlichung: 01.03.2017
Jahr: 2017
Auflage: 2. Auflage

Filialverfügbarkeit

PLZ, Ort, Name Es wurde kein Treffer gefunden. Bitte geben Sie eine gültige PLZ oder einen gültigen Ort ein. Bitte geben Sie eine PLZ oder einen Ort ein. Dieses Produkt ist in NUMBER Filialen verfügbar Dieses Produkt ist momentan nur im Online-Shop verfügbar. NUMBER Stk. verfügbar Kein aktueller Lagerbestand verfügbar. Detailkarte Detailkarte in einem neuen Fenster anzeigen Route berechnen Route in einem neuen Fenster berechnen Adresse Telefon Öffnungszeiten NUMBER Stk. verfügbar Nicht an Lager Die nächste Filiale finden Es gibt keine Geschäfte in 20 Kilometer Reichweite
  • Geben Sie die Postleitzahl, den Ortsnamen oder den Namen einer Filiale in das Suchfeld ein
  • Klicken Sie auf den "Pfeil"-Button, rechts neben dem Eingabefeld
  • Wählen Sie eine Filiale in der Trefferliste aus

Die nächste Filiale auch mobil finden Montag Dienstag Mittwoch Donnerstag Freitag Samstag Sonntag
Die nächste Filiale finden
  • Geben Sie die Postleitzahl, den Ortsnamen oder den Namen einer Filiale in das Suchfeld ein
  • Klicken Sie auf den "Pfeil"-Button, rechts neben dem Eingabefeld
  • Wählen Sie eine Filiale in der Trefferliste aus

Die nächste Filiale auch mobil finden
Zuletzt angesehen
Verlauf löschen