Halteproblem/Konkretes Programm/Aufgabe

Es sei ein konkretes Registerprogramm ${}P$ gegeben. Ist es grundsätzlich menschenmöglich, zu entscheiden, ob dieses anhält oder nicht? Was bedeutet das für die Churchsche These?

Eine Lösung erstellen