Nachweis Berechenbarkeit

Question

Was muss man tun, um zu beweisen, dass eine Funktion berechenbar bzw. nicht berechenbar ist (nach Church)?

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Kommentare