But, Penrose argues, humans (or at least those members of the species who are mathematicians) can prove the truth of these unprovable but true computer statements. Therefore, he argues, the human mind is more than just a classical computer, since it is capable of what he calls noncomputable processes.
