One of the things I find funny is that the halting problem is the least of my concerns working in mainstream programming languages today.<p>Maybe back in the day when people were using basic and assembly language it was easy to write some gawdawful mess but since structured programming I think it is easier to do the right thing rather than the wrong thing.  Partially because we have good constructs to work with,  secondly they are good constructs to reason with -- for instance,  you might have the idea of a loop invariant in your head when you write the loop,  even if you don&#x27;t call it that.