Understanding is, after all, what science is all about — and science is a great deal more than mindless computation.
Roger PenroseI imagine that whenever the mind perceives a mathematical idea, it makes contact with Plato's world of mathematical concepts... When mathematicians communicate, this is made possible by each one having a direct route to truth, the consciousness of each being in a position to perceive mathematical truths directly, through the process of 'seeing'.
Roger PenrosePeople think of these eureka moments and my feeling is that they tend to be little things, a little realisation and then a little realisation built on that.
Roger PenroseIt seems to me that we must make a distinction between what is "objective" and what is "measurable" in discussing the question of physical reality, according to quantum mechanics. The state-vector of a system is, indeed, not measurable , in the sense that one cannot ascertain, by experiments performed on the system, precisely (up to proportionality) what the state is; but the state-vector does seem to be (again up to proportionality) a completely objective property of the system, being completely characterized by the results it must give to experiments that one might perform.
Roger Penrose