[hhm]

I agree. Some of the arguments are even wrong. Specially: "Godel’s Theorem shows that no computer, or mathematical system, can match human reasoning." This is plainly false, in many ways. Gödel't Theorem says nothing about computers (thanks to Turing we know we can't have an algorithm that solves theorems, that was not Gödel's work and Gödel's work still allowed for that possibility to exist), and in any case, we aren't sure our brains are just Turing machines or not, so we can't say neither Gödel nor Turing proved anything about the relative power of computers and human reasoning.