Comment by calf

Hm, but the definition is not fine if we didn't already know the status of the halting problem?