Artificial Intelligence ..
Roger Penrose hardly needs an introduction: he is the Rouse Bell Professor of Mathematics at the University of Oxford, one of the leading mathematical physics researchers of our times. In this book, Penrose initiates a heavy attack on the concept known as “Strong AI”: the idea that machines can have minds or intelligence.
Penrose is not the first to attack strong AI. Perhaps the most famous attack on the field was by John R. Searle, in his classic article . In that article, Searle introduced the “Chinese Room” experiment and, in fact, termed the phrase “Strong AI”.
The attacks made by Searle and others were based mainly on two ideas. The first claims that “simple reasoning” shows that a machine mindlessly following instructions cannot possibly have a mind (the Chinese Room argument). The other kind of argument claims that since any formal system is limited (as shown by Gödel's Incompleteness Theorem), and since the mind is obviously not limited in a similar manner, it follows that the mind is not a formal system (or, in other words, not an algorithm). Of course, both those claims are presented here in a gross oversimplification.
Penrose uses those two arguments strongly in his book, but offers a third direction for the attack on Strong AI: the physical angle. According to Penrose, some of the human mind's functionality is based on quantum mechanics, in a way that cannot be simulated by any algorithm. And thus, he concludes, no algorithm can have a mind.
When attempting to put forward this argument, Penrose faces a serious problem: “to specialize is to be ignorant”. Few of the laypeople familiar with modern quantum mechanics are fluent in computing theory. On the other hand, of those people who deal with computing fewer still are familiar with quantum mechanics. And from both groups, very few indeed are familiar with biological information and research regarding the human brain itself. Penrose's claims draw from all three fields, and in order to put forward his argument, he must first attempt to teach the reader enough about all three subjects.
Penrose is also known for Tilings...
This book is about ..
As a result, the ten-chapter book has three chapters dedicated to computer science (mainly issues of provability and complexity, with a discussion of Gödel's Theorem, Turing Machines, the Halting Problem, etc.). Four other chapters deal with physics, from Newtonian physics and Einstein's Relativity to a hypothetical theory of “Correct Quantum Gravity” that Penrose suggests for the sake of argument, noting that it is totally unproved. And finally, one chapter deals with physical aspects of the human brain. Only then, in the very last chapter of the book, can Penrose finally present his claims. Sadly, the result is a work that creates a strong momentum, but fails to deliver a blow.
As a computer science student, I found nothing new in Penrose's chapters regarding my profession. The chapters about physics, however, were most enlightening, though I doubt I could have handled them without prior knowledge. I was wondering if any physicist who read this book could tell me how clear are the chapters regarding computing?
Penrose repeatedly falls into the trap of presenting too-technical issues. In many places, the example that follows many obscure equations is really all that was needed; the technical details could be spared. I think that in a book like this, the physical equations are really pointless. To make matters worse, some of the information is outright aimless. For example, there is an entire chapter trying to prove that the physical world is not time-symmetrical. This issue is still an open debate among physicists, and it contributes very little to the actual arguments regarding AI. A page or two regarding this problem would have sufficed, I believe.
(At the introduction, the author states that he was told “each [mathematical] formula will cut down the general readership by half”. According to this rule of thumb, and assuming that there are about five billion people on Earth right now, the book has a general readership of a lot less than a single person, even if one does not take into account those formulae that appear in footnotes and endnotes.)
When the concluding chapter finally arrives, the reader is certainly much wiser regarding many subjects, and is now ready to face Penrose's claims regarding AI in general and Strong AI in particular. I, for one, was very disappointed with those arguments. Only one of them has to do directly with quantum mechanics (and that, after reading four chapters on physics). I cannot judge if this argument is indeed correct, though on the face of it, it looks rather weak to me. It is one of the very few original arguments that Penrose presents, and I think he should have elaborated greatly about it.