[psoy]

Ever heard of the halting problem?

[rileymat2]

The halting problem only says that a program cannot decide every possible program, it does not say much about the programs you are likely to write day to day for the vast majority of programmers.