Eine verständliche1) Einführung in die mathematische Logik - mit vielen Beispielen und Abbildungen
Heute wissen wir, dass die Beweisbarkeit und die Berechenbarkeit fundamentalen Grenzen unterliegen, die wir nicht überwinden können. Diese durchdringen die gesamte Mathematik; sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten.
Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik. Es ist eine Reise voller Überraschungen, hin zu den Grenzen der Mathematik.
Der Autor Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karsruhe.
Fußnote:
1) Verständlich im Vergleich zu anderen Lehrbüchern zu diesem sehr spannenden, aber nicht ganz einfachen Thema
- Ist die Mathematik frei von Widersprüchen?
- Gibt es Wahrheiten jenseits des Beweisbaren?
- Lässt sich das logische Denken mechanisieren?
- Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren?
Heute wissen wir, dass die Beweisbarkeit und die Berechenbarkeit fundamentalen Grenzen unterliegen, die wir nicht überwinden können. Diese durchdringen die gesamte Mathematik; sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten.
Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik. Es ist eine Reise voller Überraschungen, hin zu den Grenzen der Mathematik.
Der Autor Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karsruhe.
Fußnote:
1) Verständlich im Vergleich zu anderen Lehrbüchern zu diesem sehr spannenden, aber nicht ganz einfachen Thema
sofort lieferbar