"If you use the computer to solve a problem, it is because you don't have a solution. If you had the solution, you would not have a problem. So, if the computer returns an answer, how do you know that the answer returned by the computer is the solution to your problem?"