The human mind can comprehend self-evident truth, but a rule-bound computer cannot

For readers with a science background I believe that you will enjoy reading this article written by a distinguished mathematician and physicist:

A Review of Shadows of the Mind by Roger Penrose.

Quote:

“The reader soon realizes, however, that Penrose’s larger goal is to point the way to a grand synthesis of classical physics, quantum physics and even neuropsychology. He begins his argument by slighting computers’ ability to mimic the thoughts of a mathematician. At first glance, computers might seem perfectly suited to this endeavor: after all, they were created to calculate. But Penrose points out that Alan M. Turing himself, the original champion of artificial intelligence, demonstrated that many mathematical problems are not susceptible to algorithmic analysis and resolution. The bounds of computability, Penrose says, are related to Godel’s theorem, which holds that any mathematical system always contains self-evident truths that cannot be formally proved by the system’s initial conditions. The human mind can comprehend these truths, but a rule-bound computer cannot.”

http://www.dhushara.com/book/quantcos/penrose/penr.htm