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