Halteproblem/Registermaschine/Eingabe der Programmnummer/Unentscheidbarkeit/Fakt

Unentscheidbarkeit des Halteproblems (Selbsteingabe)

Die Menge

${\left\{n\in \mathbb {N} \mid n{\text{ ist die Nummer eines Registerprogramms }}P{\text{ und }}P(n){\text{ hält an}}\right\}}$

ist nicht ${}R$ -entscheidbar.