From your reference: > his result shows that either (i) the human mind is not a Turing machine or (ii) there are certain unsolvable mathematical problems. Wel

From your reference: > his result shows that either (i) the human mind is not a Turing machine or (ii) there are certain unsolvable mathematical problems. Well, I choose option (ii). Some problems, such as the halting problem, are unsolveable. Furthermore, for any set of axioms, there are problems undecidable with that set of axioms. This entire proof is based on "artificial intelligence is not possible, because it could not solve some mathematical problems". But the fact is that humans also can't solve some mathematical problems, and they exist regardless. You could have an artificial intelligence that is million times smarter than humans, and still can't solve some extremely abstract mathematical problem (that humans can't solve either). So what?