Registermaschine/Entscheidbarkeit und Aufzählbarkeit/Fakt/Beweis/Aufgabe

Es sei ${}T\subseteq \mathbb {N}$ eine Teilmenge von natürlichen Zahlen. Zeige, dass ${}T$ genau dann ${}R$-entscheidbar ist, wenn sowohl ${}T$ als auch das Komplement ${}\mathbb {N} \setminus T$ ${}R$-aufzählbar ist.

Zur Lösung, Alternative Lösung erstellen