We don't know whether it's possible to build a computer program that can always determine, for any given program, whether it will eventually stop running.
open
Global / Unspecified, Global
WS01271
This is the famous Halting Problem, proven impossible to solve in full generality, yet many partial and practical questions around predicting program behavior remain actively studied. This shapes the theoretical limits of what computers can ever determine about themselves.