Russell, Gödel und der Lügner
Die Arbeit vergleicht ontologische Antinomien, semantische Antinomien und die Sätze von Tarski, Gödel, Rosser und Church miteinander. Der Vergleich verläuft in zwei Schritten: Abstrakte Formulierungen der Sätze von Tarski, Gödel, Rosser und Church ermöglichen eine direkte Gegenüberstellung mit der Lügner-Antinomie und der Antinomie von Grelling. Der Beweis des Unvollständigkeitssatzes wird dabei mit und ohne Verwendung des Fixpunktsatzes betrachtet und die ...