Ich kann mich nicht erinnern, eine Klassentrennung gesehen zu haben, die nicht auf Diagonalisierungs- und Relativierungsergebnissen basiert. Die Diagonalisierung könnte weiterhin verwendet werden, um verbleibende bekannte Klassen zu trennen, da nicht relativierende Argumente weiterhin in der Schlussfolgerung der Diagonalisierung oder in der diagonalisierten Turing-Maschinenkonstruktion verwendet werden könnten. Hier sind einige verwandte Fragen:
Gibt es Klassentrennungsbeweise, die nicht auf Diagonalisierung basieren?
Und wenn
Können wir einen Selbstreferenzmechanismus dahinter finden?
Des Weiteren,
Hat jede Klassentrennung einen "kanonischen natürlichen" Beweis (im informellen Sinne)?
Wenn ja, sollten wir versuchen, nicht relativierende Argumente zu finden, anstatt andere Beweisschemata für offene Fragen.
Kann jeder nicht diagonale Beweis in einen diagonalen umgeschrieben werden?