Here is the quote from Gödel supposedly supporting this: "So the following disjunctive conclusion is inevitable: Either mathematics is incompletable in this se

Here is the quote from Gödel supposedly supporting this: "So the following disjunctive conclusion is inevitable: Either mathematics is incompletable in this sense, that its evident axioms can never be comprised in a finite rule, that is to say, the human mind (even within the realm of pure mathematics) infinitely surpasses the powers of any finite machine, or else there exist absolutely unsolvable diophantine problems of the type specified" . . . (Gödel 1995: 310).