5
" Specifically, the awareness that I claim is demonstrably non-computational is our understanding of the properties of natural numbers 0,1,2,3,4,....(One might even say that our concept of a natural number is, in a sense, a form of non-geometric 'visualization'.) We shall see in 2.5, by a readily accessible form of Godel's theorem (cf. response to query Q16), that this understanding is something that cannot be simulated computationally. From time to time one hears that some computer system has been 'trained' so as to 'understand' the concept of natural numbers. However, this cannot be true, as we shall see. It is our awareness of what a 'number' can actually mean that enables us to latch on to the correct concept. When we have this correct concept, we can-at least in principle-provide the correct answers to families of questions about numbers that are put to us, when no finite set of rules can do this. With only rules and no direct awareness, a computer-controlled robot (like Deep Thought) would be necessarily limited in ways in which we are not limited ourselves-although if we give the robot clever enough rules for its behaviour it may perform prodigious feats, some of which lie far beyond unaided human capabilities in specific narrowly enough defined areas, and it might be able to fool us, for some while, into thinking that it also possesses awareness. "
― Roger Penrose , Shadows of the Mind: A Search for the Missing Science of Consciousness
6
" It is a common misconception, in the spirit of the sentiments expressed in Q16, that Godel's theorem shows that there are many different kinds of arithmetic, each of which is equally valid. The particular arithmetic that we may happen to choose to work with would, accordingly, be defined merely by some arbitrarily chosen formal system. Godel's theorem shows that none of these formal systems, if consistent, can be complete; so-it is argued-we can keep adjoining new axioms, according to our whim, and obtain all kinds of alternative consistent systems within which we may choose to work. The comparison is sometimes made with the situation that occurred with Euclidean geometry. For some 21 centuries it was believed that Euclidean geometry was the only geometry possible. But when, in the eighteenth century, mathematicians such as Gauss, Lobachevsky, and Bolyai showed that indeed there are alternatives that are equally possible, the matter of geometry was seemingly removed from the absolute to the arbitrary. Likewise, it is often argued, Godel showed that arithmetic, also, is a matter of arbitrary choice, any one set of consistent axioms being as good as any other. "
― Roger Penrose , Shadows of the Mind: A Search for the Missing Science of Consciousness
9
" If, as I believe, the Godel argument is consequently forcing us into an acceptance of some form of viewpoint C, the we shall also have to come to terms with some of its other implications. We shall find ourselves driven towards a Platonic viewpoint of things. According to Plato, mathematical concepts and mathematical truths inhabit an actual world of their own that is timeless and without physical location. Plato's world is an ideal world of perfect forms, distinct from the physical world, but in terms of which the physical world must be understood. It also lies beyond our imperfect mental constructions; yet, our minds do have some direct access to this Platonic realm through an 'awareness' of mathematical forms, and our ability to reason about them. We shall find that whilst our Platonic perceptions can be aided on occasion by computation, they are not limited by computation. It is this potential for the 'awareness' of mathematical concepts involved in this Platonic access that gives the mind a power beyond what can ever be achieved by a device dependent solely upon computation for its action. "
― Roger Penrose , Shadows of the Mind: A Search for the Missing Science of Consciousness