Houshalter comments on Open Thread—Aug 24 - Aug 30

[Houshalter]

If a program halts, it’s easy to prove that it halts. Just run it until it halts. The problem is proving that some programs won’t halt.