Gödel and halting problem don't apply to real programs, because they don't need to be accurate: they can reject correct code.