Halteproblem/Registermaschine/Eingabe der Programmnummer/Unentscheidbarkeit/Fakt

Aus Wikiversity
Unentscheidbarkeit des Halteproblems (Selbsteingabe)

Die Menge

ist nicht -entscheidbar.