Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
A23 b) Kompl(H) <= H gilt nicht?
Geht der Beweis dafür analog für analog zu dem Beweis zu Satz 1.14 zur Unentscheidbarkeit des Halteproblems? Wir haben uns das gerade (irgendwie) überlegt, dass es vielleicht so gehen könnte, finden die Lösung dafür aber nicht in unseren Aufzeichnungen :-p
Vielen Dank schon mal 
A≤B vererbt rekursive Aufzählbarkeit. H hat die.
Danke