Category
Level
The Halting Problem asks whether a given program P will eventually stop when run on input x; there is no algorithm that correctly answers this for all P and x.