Mathematical Logic Computability
This problem asks whether there exists an algorithm that can determine, for every possible computer program and input, whether the program will eventually stop running or run forever.
What is the Halting Problem?