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.
Thi1 - Aufgabe 31 - Semientscheidbar.
Hallo,
in der Aufgabe 31 sollen wir nachweisen, dass die Menge der nicht injektiven Funktionen semi-entscheidbar ist.
Laut meinen Aufzeichnungen geht das in dem nachgewiesen wird, dass die Menge rekursiv aufzählbar ist. Aber welche primitiv-rekursive Funktion wird verwendet. Meine Aufzeichnungen geben darüber leider keinen Aufschluss.
viele Grüße
Matthias