Prof. Dr. Dirk W. Hoffmann

Lösungen zu den Übungsaufgaben

Vorwort

Das Unmögliche zu erkennen, ist eine intellektuelle Leistung, die den Menschen einzigartig macht. In der Physik haben uns die Einstein'sche Relativitätstheorie oder die Heisenberg'sche Unschärferelation Grenzen aufgezeigt, die wir niemals überwinden werden. Die Ergebnisse sind negativ, und gerade deshalb verbreiten sie eine unwiderstehliche Faszination. Es ist das Unmögliche, das uns noch stärker zu fesseln vermag als das Mögliche.

Auch die Mathematik ist von ähnlichen Negativresultaten betroffen. Die mathematische Logik des zwanzigsten Jahrhunderts hat fundamentale Erkenntnisse hervorgebracht, die uns die Grenzen dieser präzisen Wissenschaft in aller Klarheit vor Augen führen. So wissen wir heute, dass sich der Begriff der Wahrheit selbst für so einfache Theorien wie die Zahlentheorie nicht in Einklang mit dem Begriff der Beweisbarkeit bringen lässt. Es ist unmöglich, die Mathematik in einem formalen System einzufangen, in dem alle wahren mathematischen Aussagen bewiesen werden können.

Dieses Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik. Es ist mein erklärtes Ziel, die Konzepte, Methoden und Ergebnisse dieser Disziplin in verständlicher Form offenzulegen, ohne einen Verlust an Tiefe zu erleiden. Wo immer es möglich ist, habe ich versucht, die Definitionen und Sätze mit Beispielen zu motivieren und durch zahlreiche Querbezüge in ihren sachlichen und historischen Kontext einzuordnen. Beweise von Sätzen, die nur am Rand eine Rolle spielen, sind bewusst nur skizzenhaft aufgenommen oder es wird darauf hingewiesen, wo ein Beweis nachgeschlagen werden kann. In diesem Sinn kann das vorliegende Buch die formal präzise Literatur aus dem Bereich der mathematischen Logik nicht an jeder Stelle ersetzen - und will es auch gar nicht. Allem anderen voran möchte ich die Faszination transportieren, die dieses Teilgebiet der Mathematik unzweifelhaft ausstrahlt. Sie, liebe Leser, müssen beurteilen, inwieweit mir dies gelungen ist. Für Hinweise zu Verbesserungsmöglichkeiten oder Fehlern bin ich jedem aufmerksamen Leser dankbar.

Nach dem Erscheinen der Erstauflage habe ich eine Vielzahl an Zuschriften erhalten, für die ich mich an dieser Stelle herzlich bedanke. Die positive Resonanz hat mich in der Überzeugung bestärkt, einen didaktisch sinnvollen Ansatz gewählt zu haben.

Für die Neuauflage habe ich das ursprüngliche Manuskript an vielen Stellen geändert. Die meisten Neuerungen sind kleinerer Natur; sie korrigieren bekannte Fehler, die sich unbemerkt in die Erstauflage geschlichen hatten. Größere Änderungen hat das Herzstück dieses Buchs, das Kapitel Beweistheorie, erfahren. Neu hinzugekommen sind Abschnitte über das Diagonalisierungslemma, das Wahrheitsprädikat von Tarski, das Berry-Paradoxon und den Satz von Löb; all diese Themen wurden in der Erstauflage aus Platzgründen noch nicht behandelt. Ferner habe ich die Übungsteile mancher Kapitel um die eine oder andere neue Aufgabe ergänzt.

Ich möchte die Gelegenheit nutzen, Herrn Prof. Dr. Heiko Körner und Herrn Andreas Rychen meinen Dank auszusprechen. Ihre kritische Durchsicht der ersten Auflage hat dazu geführt, dass es zahlreiche kleinere und größere Fehler nicht in die zweite Auflage geschafft haben. Ebenso herzlich bedanke ich mich bei Herrn Dr. Andreas Rüdinger und Frau Bianca Alton vom Springer Verlag. Die gewohnt angenehme und kompetente Zusammenarbeit hat mir nicht nur bei diesem Buchprojekt viel Freude bereitet.

Kein Buch ist jemals perfekt! Für Hinweise zu Verbesserungsmöglichkeiten oder Fehlern bin ich jedem aufmerksamen Leser dankbar.

Karlsruhe, im Oktober 2012
Dirk W. Hoffmann