Minds, Machines, and Mathematics
Roger Penrose presents arguments, based on Gödel’s theorem, for the conclusion that human thought is uncomputable.
