Zur Theorie der Selbstreferenz

Vorliegendes Kapitel kann nur einen Einblick in eine im letzten Viertel des 20. Jahrhunderts weit entwickelte Theorie geben. Wir beweisen den zweiten Unvollständigkeitssatz von Gödel, Löbs Theorem und andere mit der Selbstreferenz zusammenhängende Ergebnisse. Einige weiterführende Resultate werden anhand von geeigneten Anwendungen nur erläutert. Mit Selbstreferenz ist grob gesagt die Möglichkeit gemeint, in einer Theorie T über T selbst oder verwandte Theorien zu reden. Diese Thematik ist insgesamt von hohem erkenntnistheoretischen Wert.