Ich versuche, einen Beweis für Folgendes zu finden:
Für jede Sprache gibt es eine Sprache B, so dass A ≤ T B, aber B ≰ T A ist .
Ich dachte zu lassen seine A T M , aber ich merke , dass nicht alle Sprachen sind Turing - reduzierbar auf A T M , also A ≤ T B nicht halten würde. Welche andere Wahl von B habe ich, die es mir ermöglichen würde, ein TM zu schreiben, das ein Orakel für B verwendet , um A zu entscheiden ?
Vielen Dank!
computability
reductions
undecidability
user1354784
quelle
quelle
Antworten:
quelle
Cantor hat gezeigt, dass es unzählige Sprachen gibt.
Tatsächlich wissen wir also, ohne ernsthafte Arbeit zu leisten, dass:
Wir können also das oben Gesagte anwenden, um Folgendes zu erhalten:
Dies wirft dann die Frage auf, einen nicht dummen Beweis zu liefern, nämlich einen natürlichen Weg, eine Sprache zu produzieren, die streng komplizierter ist als eine gegebene, und dafür ist der Turing-Sprung gedacht; Es lohnt sich jedoch, dieses nichtkonstruktive Argument allein zu verstehen.
quelle