“Support for the Platonic viewpoint (as opposed to the formalist one) was an important part of Godel's initial motivations. On the other hand, the arguments from Godel's theorem serve to illustrate the deeply mysterious nature of our mathematical perceptions. We do not just 'calculate' in order to form these perceptions, but something else is profoundly involved-something that would be impossible without the very conscious awareness that is, after all, what the world of perceptions is all about.”