We will also spend some time on philosophical implications, or alleged philosophical implications, of the mathematical results. Roger Penrose has advanced arguments, based on Goedel and Turing's results, which he claims show that human capacities exceed those of computers. (His arguments are certainly overstated. [snip]
Right. Grandy sounds quite sensible. Probably a fun course to have taken.