Halteproblem/Registermaschine/Unentscheidbarkeit/Fakt

Unentscheidbarkeit des Halteproblems

Die Menge

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

ist nicht ${}R$ -entscheidbar.