Ich habe Andrej Bauers Artikel Erste Schritte in der Theorie der synthetischen Berechenbarkeit gelesen . Abschließend stellt er fest, dass
Unsere Axiomatisierung hat ihre Grenzen: Sie kann keine Ergebnisse in der Berechenbarkeitstheorie nachweisen, die sich nicht auf Orakelberechnungen relativieren lassen. Dies liegt daran, dass die Theorie in einer Variante der effektiven Topos interpretiert werden kann, die aus teilweise rekursiven Funktionen mit Zugriff auf ein Orakel aufgebaut sind.
Dies ließ mich über nicht-relativierende Ergebnisse in Bezug auf die Berechenbarkeit nachdenken. Alle Ergebnisse, die ich aus der Berechenbarkeitstheorie kenne, lassen sich auf die Berechnung mit Orakeln relativieren.
Gibt es Ergebnisse in der Berechenbarkeitstheorie , die sich nicht relativieren lassen? Dh Ergebnisse, die für die Berechenbarkeit gelten, aber für die Berechenbarkeit in Bezug auf ein Orakel nicht gelten?
Mit Ergebnis meine ich einen bekannten Satz in der Berechenbarkeitstheorie, nicht irgendeine erfundene Aussage. Wenn der Begriff der Relativierung für das Ergebnis keinen Sinn ergibt, dann ist er nicht das, wonach ich suche.
Es ist auch interessant zu wissen, ob das Ergebnis in der Sprache der Synthetic Computability Theory angegeben werden kann oder nicht.