As others mentioned, it's trivial* to write useful programs that provably halt; the impossible task is to determine if an arbitrary program halts. *: Trivial i

As others mentioned, it's trivial* to write useful programs that provably halt; the impossible task is to determine if an arbitrary program halts. *: Trivial in a mathematician's sense