Although you can't solve the general halting problem, there are many halting problems that can be, and are, solved in practice. To me, that's the same thing as

Although you can't solve the general halting problem, there are many halting problems that can be, and are, solved in practice. To me, that's the same thing as a numerical approximation to something that doesn't have an analytical solution.