Define the halting problem

The halting problem is the question of determining whether a given program and input will eventually stop running (halt) or continue to run indefinitely. Alan Turing proved that this problem is undecidable, meaning no algorithm can solve it for all possible program-input pairs.