Introducing Artificial Intelligence (Henry Brighton and Howard Selina) / quote 5 of 68
Penrose's Gödelian argument against computable thought
To support his argument, Penrose appeals to a fundamental theorem in mathematical logic – Gödel’s Theorem – which states that certain mathematical truths cannot be proved by using a computational procedure. Because human mathematicians evidently can arrive at these truths, Penrose claims that humans must be performing non-computable operations.