Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I was looking at the Penrose–Lucas argument as discussed on Wikipedia. It states:

In 1931, the mathematician and logician Kurt Gödel proved that any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. Further to that, for any consistent formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory.

In his first book on consciousness, The Emperor's New Mind (1989), Penrose made Gödel's theorem the basis of what quickly became an intensely controversial claim. He argued that while a formal proof system cannot, because of the theorem, prove its own incompleteness, Gödel-type results are provable by human mathematicians. He takes this disparity to mean that human mathematicians are not describable as formal proof systems, and are not therefore running an algorithm.

If find this hard to believe, because I can't see why either one of the following is true:

(1) Humans are proving incompleteness not using the system itself, but using some greater system
OR
(2) If there is a proof of incompleteness that was found in the system by a human, then as long as that proof is of finite length, it could be found algorithmically simply by trying and checking every proof until one finds one which is correct.

I looked at the criticisms on the Wikipedia page, and they only criticised the science of quantum effects in the brain, not the mathematics of the original assertion.

I'm sure I'm missing something, but is his original assertion correct? And if so, could you explain why?

share|improve this question
    
I think this question would be better suited for Philosophy.SE –  Sniper Clown Jul 2 '12 at 3:05
    
Mahmud: I'm more interested in the mathematics behind the statement, as in whether certain proofs can not be generated by an algorithm. I believe that's purely a mathematical question, not a philosophy one. –  Clinton Jul 2 '12 at 3:17
    
Of course it is not correct. One can program a computer to prove Gödel-type results. –  André Nicolas Jul 2 '12 at 3:57
    
I heard Penrose speak about this back around the time the book came out, and I thought he was misunderstanding the mathematics badly, and for essentially the reasons you give. –  Gerry Myerson Jul 2 '12 at 3:57

2 Answers 2

I recommend Torkel Franzen's book, Godel's Theorem, for pretty much anything concerning popular misconceptions, but in particular there is a discussion of Penrose, pages 119 to 124.

share|improve this answer

Shapiro (in Philosophia Mathematica (III) 14 (2006), 262–264) published a review of Torkel's book, here referred to by Gerry Myerson:

Of course, some alleged applications and consequences of incompleteness cannot be dismissed as easily as this. The Lucas-Penrose thesis (or theses) do not seem to turn on such elementary misunderstandings of what the incompleteness theorems say. Lucas and Penrose themselves certainly understand the mathematics. The author’s treatment of the issue provides a nice introduction to the underlying issues, but the book does not contain many references to the extensive literature on this topic.

I suspect that most readers of this journal do not need this book. Those who engage in contemporary debates concerning the philosophy of mathematics knowfull well what the incompleteness theorems say and what they do not say." (bold letters are mine)

That the book of Torkel falls short in addresing this issue, is quite clear. Now, to say that the problem concerns exclusively to math, confines math to a kind of closed crystal box because there are major issues in cog-sciences regarding math and logical knowledge to be explained. It might be due to phenomena such as this one here raised by Penrose and others, that social sciences in general seem so chaotic and underdeveloped in comparison to math, physics, chemistry and other comparable fields of research.

The last point I wish to bring to your attention here is the one that Clinton himself acknowledges:

(1) Humans are proving incompleteness not using the system itself, but using some greater system.

If this is true, then how exactly functions our mind or brain to be able to prove such a thing ever from a greater system?

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.