Halting Problem

The Halting Problem is the problem of determining, from the description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever.