Comment by usgroup

I think -- roughly speaking -- Penrose argues that human capabilities such as transductive reasoning are clearly not computable, therefore falsifying the idea that the mind reduces to an algorithm. He then goes on to propose how nonetheless what the mind does might be physically grounded, even if not in purely computational machinery.