it is possible to look at a simple program yourself and decide if it finishes or not, but he is because you are using a highly parallel pattern recognition engine with heuristics built up through experience, i.e. your brain, but writing a piece of software that does the same thing is significantly more challenging.