525:
machine could be sufficiently complex to perform all unperformable tasks. If I've gotten that, I think it's a good point! I still don't see, though, that it prevents the same argument from being made about human intelligence. For any given task that is associated with intelligence, I think there exists a human that can't perform that task. Reading, mathematical/logical reasoning, chess playing, etc. I think it's interesting to read about people who have sustained brain damage, and must relearn how to function without a formerly vital part of their mental capabilities. One more thing, in regard to a previous poster's comments about quantum computers. I think that it's probably accurate to say that quantum computers have no advantage over 'classical' computers, if we're debating whether a computer can perform the computations necessary to be classified as intelligent. On the other hand, I think there's something missing from the argument (not yours, the argument in general). I think too much of the AI debate focuses on Turing machines and computability. Has it ever been proved that humans really have some ability that transcends this? Penrose hints that it may be so because of some quantum link, but doesn't really explain what's so special about that link, he just takes it for granted that we definitely have something that computers never could.
575:
uses a variation on the diagonal slash with respect to considering the human intellect as an algorithm (ie. anything computable), and then demonstrating a contradiction to show that the assumption that the human intellect can be represented as an algorithm must be false. As for the statement you have heard about humans never being able to build something as smart as themselves due to Godels IT, that only applies to computable machines because Godels IT only applies to formal systems which are by definition only computable. You can not use Godels IT to show that humans can not build a machine that uses non-computable processes because that is out of the domain of formal systems. On the next point, if you say you are an AI proponent but would allow AI to include non-computable processes then I guess we just have a difference of definition. My general reading of the AI community is that they follow the stricter definition that I also use, which is that AI only encompasses computable processes, but thats only semantics and doesnt really change anything. On your last point, Penrose does mention (I think in
Shadows of the Mind) that human access to non-computable physics can not as simple as considering that physics to be an
535:
ones that a human CAN prove. This means that for every machine that is some truth accessible to humans that is not accessible to that machine. Penrose uses this as his basis to state that human beings must be achieving some kind of non-computable process in accessing truths. The reason the AI debate focuses on Turing machines and computability is because AI only deals with computable processes, and Turing machines can achieve any computable process. AI has no capability to deal with non-computable processes because there are currently no known physical processes in the
Universe that achieve this. Penrose suggests that further research into quantum mechanics may bring to light the physical processes that the human brain uses to achieve non-computability, but hasnt said that it has to be that in particular. However, he does assert that the fact that humans achieve non-computability means that ultimately there must be some form of non-computability in any complete physics model of the Universe, since the human brain follows the laws of physics.
589:
I'd love to see it, I read SOTM when it first came out, but don't remember the details very well. I do remember him (and others) using Cantor's diagonal slash to demonstrate the halting problem, as an example of noncomputable problems, but I don't remember an example or proof that human intellect is different, beyond his argument that a computer could never be creative. To stay focussed in this discussion, I'll concede what you said about limiting the AI discussion to computability in general. That's what my original point was about, I've always felt that the AI discussion should be expanded to include any physically deterministic process that could conceivably be used to create an artificial intelligence, but I also think there is a lot of value in trying to figure out how human intelligence works.
545:
to try to isolate the things that make us intelligent that computers currently can't do, and use those insights to gain self-knowledge and to enhance computers as a tool? Aside from that (back to computability), I've never seen a proof that humans achieve non-computability, only assertions that humans are definitely not sophisticated Turing machines. But lets say that humans CAN achieve noncomputability. If humans have access to some method of noncomputability that follows the laws of physics, why could this method never be used to create a computer that doesn't deal only with computable processes? Thanks in advance for any insight you can share with me, I enjoy this type of discussion immensely.
184:
565:
humans could never build something as smart as themselves, because of Godel's
Incompleteness Theorum", which I've actually heard someone say. It's a strawman argument, ultimately. I'm an AI proponent, and I believe that if cognitive science discovered that there was some aspect of human thought that could only be achieved by using a certain type of physics, that we could build a machine using that type of physics. Any intelligence created by man is 'artificial', regardless of what area of physics is used in the underlying process. Why would that area become 'out of bounds'? Further, if physics is used to compute something 'non-computable', hasn't it become computable?
579:, because then it does indeed become computable. My interpretation of what he said on that point is that he doesnt have a good answer to your concern, but that he believes it is inevitable that the concern will be answered because he has proven that humans are doing *something* non-computable, even if we cant yet define exactly what that is or how it makes sense. I think the philosophy of a non-computable mind is in its very early infancy, and there is a long way to go before we can get and comprehend all of the answers.
555:
machine can not, that truth must be attained using a non-computable process. Considering your other point, you are right that if we could find and master the non-computable physics that the human mind uses, we could indeed build a machine that also reaches non-computable conclusions. The debate exists because AI proponents state that all human reasoning is computable, and that this new physics is not necessary. By this definition any man-made machine that uses non-computable processes would not be considered AI.
485:
reference to the discussion that quantum computers could exploit quantum phenomena, as the brain is claimed to: Quantum computers are purely computational and deterministic, and have no net gain over classical computers other than raw speed. They simply serve to assist with the practical complexity of computation, but achieve no greater abilities in principle. The quantum nature of quantum computers is not exploiting the same concept as the quantum nature which
Penrose suggests may explain human reasoning.
396:
174:
147:
81:
471:, in chapter 2 of that book, Penrose presents an argument that appears to prove that the reader has some insight that a computer could not have. However, there is a subtle mistake in his argument, and I vaguely remember something written by Hofstadter where he succintly points out the mistake. I can't find a reference to what Hofstadter wrote, however I think there have been other reviewers of
22:
71:
53:
298:
271:
308:
598:
I would like to have a go at my own wording out of what I consider the convincing reasoning that
Penrose made for the non-computability of human intellect. Maybe that would justify its own Knowledge article if it was written as a NPOV article rather than an essay? I'll definitely leave a note on your
588:
Sorry, I should have typed that more clearly. When I said ANY truth, I meant "ANY AT ALL". In other words, I still don't see that
Penrose has shown that humans are doing something non-computable. If you know the substance of Penrose's argument against algorithmic representation of human intellect,
564:
There is still no proof that humans can prove any truth that a Turing machine can not, just an assertion. A conclusion can't be solely based on an assertion. As to the last point, when you say "AI proponents think this", you're not accurate. I could just as easily say that "AI opponents think that
544:
The reason I think the AI discussion focuses too much on computability is not because I didn't understand what the argument was, I just think we've reached the limit of how much they can prove anything about AI, and I don't know that any new insights are being gained. Wouldn't it be more interesting
534:
I think you are close to my point, but its not quite what I meant. Penrose was not only stating that it can be shown that there is a truth for every machine that that machine can not prove, but that there is a truth for every machine that that machine can not prove, and that each of those truths are
554:
Penrose draws the conclusion that humans achieve non-computability based on the assertion that humans are not representable as Turing machines. This is because Turing machines can prove all computable truths (ie. do anything computable), and if there is a truth that humans can prove that any Turing
647:
Penrose deserves more fame than he has enjoyed. TENM is a fine ramble through his fine mind, and the book is a smorgasborg for the intellect. In particular, chpt. 6 of TENM is a rare but worthy attempt by a first rate mind to explain quantum theory to educated lay readers. Penrose likes cooking up
574:
Penrose doesnt say that humans can prove ANY truth that a Turing machine can not, but he certainly believes he has proven that humans can prove SOME truths that Turing machines can not. He shows this in a much more rigorous and convincing manner in his follow up book 'Shadows of the Mind'. Penrose
780:
As it stands there isn't a critique of
Penrose's theory in this article. Certainly previous statements to the effect that it has been entirely discredited are out of order. On the other hand there are powerful thinkers who do disagree quite strenuously with his theory. For the article to have any
687:
Wooooah, there. That's a massive accusation to add, unsourced, and without any discussion. There needs to be a source for this statement, not to mention an opposing view. It seems unlikely the guy would win an award for a book no one thinks is right. I'm deleting it unless someone comes up with a
514:
Penrose does make it fairly clear that if you make a machine that achieves x, you can then apply that same argument to the new machine, so that it can not do, say, x2. If you then make a machine that achieves x and x2, then the same argument again shows it can not achieve, say, x3. So there is no
524:
Hi Remy. If I understand your point correctly (forgive me if wrong), it is that it is not necessary to specifically name the tasks which a particular machine cannot perform, as it can be shown that any particular machine will have at least one such task that it is unable to do, and therefore no
500:
All in all, I didn't find the arguments to be very strong. I guess it's a hard position to take, though. If you state that it is impossible for a machine to be intelligent because it cannot perform x, you then have to define x. Then someone will build a machine that specifically does x. Like
484:
This article doesnt just miss the mark, it is on another planet. Most of the references are to do with the first couple of chapters and are largely irrelevant to the theme of the book. The guts of the book must either have not been read by the author of this article, or largely misunderstood. In
614:
Since this article is about a
British writer, should it use British English, hence "modelled" rather than "modeled"? I'm not so fussy as to actually go ahead and make the change and tread on anyone's toes, just interested how the language policy is generally applied in this kind of situation. —
734:
to discuss the topic with CS students. His exposition of the subject is great to read, yet I do not think we need Scott here to realise that
Penrose does not expose right the differences between: computability and efficiency; quantum computers and brains. And, anyway, we all know that anything
432:
does contain much interesting background material on computation, physics, mathematics, and other topics, but all this background material is simply to prepare the reader to understand
Penrose's main argument. The main argument boils down to this: the human brain may exploit certain quantum
493:
Yeah, I had similar issues with Penrose's book. I felt that some of the chapters were completely unnecessary (he didn't really connect his famous tiles to the topic at hand), and some chapters were in subjects that were outside his expertise (the chapters on biology were unenlightening).
515:
machine that can ever encompass all of the possible non-computable truths, because for every machine, there is an x which it can not do. It is the existance of an x for every single sufficiently complex machine that forbids a sufficiently complex machine from achieving all x's.
660:. They simply aren't his strongest subjects. Penrose is no expert on theoretical computer science and the theory of algorithms either. He most definitely is not neurologist. The central argument of TENM was anticipated in important respects by
760:
kept running through my mind: "When a distinguished but elderly scientist states that something is possible, he is almost certainly right. When he states that something is impossible, he is very probably wrong."
781:
credibility it should have a section on those criticisms and perhaps the counter arguments. I'm unqualified to provide them but the article, as it currently stands, can't be considered authoritative.
789:
Why is Raymond Smullyan in the "see also"? I haven't read any of his philosophy books, but the wiki article "Raymond Smullyan" doesn't mention any connection to the contents of this article.
497:
He also summarized his arguments at the end with 'ask a computer how it feels', which is a pretty inane argument. Don't claim to be making a scientific argument and then get philosophical!
735:
computable classically is quantum computable. It would be great if a significant number of references were added to the article, but I am personally against citing just Scott's lecture.
839:
869:
730:
I think that almost any person with a background on quantum information or theoretical computer science would criticise Penrose's position much. Scott Aaronson dedicated one
844:
633:
This article was automatically assessed because at least one WikiProject had rated the article as start, and the rating on other projects was brought up to start class.
864:
329:
on Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
874:
240:
652:. Once again, a wonderful ramble through a great mind, but yet again a book that failed to deliver on its promise because of the author's lack of passion for
252:
157:
859:
770:
697:
366:
356:
433:
mechanical phenomena, key to intelligence and/or consciousness, that effectively make the brain's activity uncomputable, and hence beyond the reach of
437:/classical computers. To allow for this, Penrose suggests that current models of quantum physics are flawed, and hints at how they might be modified.
854:
834:
230:
849:
183:
829:
403:
331:
281:
669:
824:
796:
101:
444:
unconvincing and unnecessary, though admittedly plausible. Furthermore, even if Penrose turned out to be right, there is no reason why
819:
206:
707:
448:
would not be able to exploit the same quantum phenomena that the brain does, and thus become just as intelligent as humans. Thus,
321:
276:
105:
682:
197:
152:
33:
95:
58:
519:
683:"The book's thesis is considered erroneous by experts in the fields of philosophy, computer science, and robotics."
661:
673:
21:
800:
449:
441:
429:
440:
Although Penrose's expertise and authority on physics is undisputed, many have found the ideas suggested in
39:
757:
792:
657:
478:
109:
689:
762:
740:
693:
649:
648:
smorgasborgs for intelligent nonspecialists, and his next effort of this nature was the monumental
634:
620:
472:
468:
205:
on Knowledge. If you would like to participate, please visit the project page, where you can join
766:
710:
704:
476:
313:
753:
653:
590:
566:
546:
526:
445:
113:
703:
The source was provided with the edit: L.J.Landau (1997) "Penrose's Philosophical Error"
736:
731:
717:
616:
576:
457:
434:
189:
395:
813:
804:
744:
721:
677:
637:
623:
603:
593:
583:
569:
559:
549:
539:
529:
80:
86:
600:
580:
556:
536:
516:
173:
146:
326:
303:
179:
76:
665:
713:
461:
453:
475:. A quick web search turned up a detailed review by David J. Chalmers at
70:
52:
489:
I seem to recall both emotions and Godel's incompleteness theorom as well
325:, a collaborative effort to improve the coverage of content related to
202:
100:. To participate in the project, please visit its page, where you can
297:
270:
643:
We can learn much from TENM, but not about the human intellect.
15:
711:
http://www.mth.kcl.ac.uk/~llandau/Homepage/Math/penrose.html
394:
201:, a collaborative effort to improve the coverage of
377:
599:user talk page if I do get around to doing that.
112:. To improve this article, please refer to the
840:Start-Class physics articles of Low-importance
488:
428:For me, the current article misses the mark.
8:
752:All the time I was reading it, the first of
775:
19:
870:Low-importance philosophy of mind articles
790:
374:
265:
141:
108:. To use this banner, please refer to the
47:
845:Start-Class physics publications articles
106:discuss matters related to book articles
865:Start-Class philosophy of mind articles
267:
143:
114:relevant guideline for the type of work
49:
875:Philosophy of mind task force articles
335:about philosophy content on Knowledge.
7:
319:This article is within the scope of
195:This article is within the scope of
92:This article is within the scope of
38:It is of interest to the following
860:Low-importance Philosophy articles
776:Read's like a book's jacket liner.
14:
668:for a recent discussion by Lucas.
464:in artificially created systems.
341:Knowledge:WikiProject Philosophy
306:
296:
269:
182:
172:
145:
79:
69:
51:
20:
855:Start-Class Philosophy articles
835:Low-importance physics articles
361:This article has been rated as
344:Template:WikiProject Philosophy
235:This article has been rated as
452:is really an argument against
1:
850:Physics publications articles
638:04:29, 10 November 2007 (UTC)
604:17:32, 20 December 2005 (UTC)
594:17:01, 20 December 2005 (UTC)
584:06:31, 20 December 2005 (UTC)
570:15:34, 19 December 2005 (UTC)
560:10:51, 19 December 2005 (UTC)
550:19:32, 18 December 2005 (UTC)
540:12:20, 18 December 2005 (UTC)
530:19:45, 17 December 2005 (UTC)
250:This article is supported by
215:Knowledge:WikiProject Physics
209:and see a list of open tasks.
830:Start-Class physics articles
805:19:04, 3 February 2016 (UTC)
624:16:15, 24 October 2007 (UTC)
520:13:54, 4 December 2005 (UTC)
467:Regarding the followup book
218:Template:WikiProject Physics
504:Anyway...just my two cents
122:Knowledge:WikiProject Books
891:
825:WikiProject Books articles
367:project's importance scale
241:project's importance scale
125:Template:WikiProject Books
820:Start-Class Book articles
722:03:08, 31 July 2010 (UTC)
698:20:43, 27 July 2010 (UTC)
402:
373:
360:
291:
249:
234:
167:
64:
46:
771:17:45, 9 June 2015 (UTC)
745:20:51, 17 May 2011 (UTC)
678:05:38, 7 June 2009 (UTC)
662:John Lucas (philosopher)
629:WikiProject class rating
481:12:49, 3 Jul 2004 (UTC)
378:Associated task forces:
450:The Emperor's New Mind
442:The Emperor's New Mind
430:The Emperor's New Mind
399:
322:WikiProject Philosophy
253:Publications Taskforce
28:This article is rated
398:
688:pretty good source.
658:quantum field theory
610:US or Brit spelling?
650:The Road to Reality
473:Shadows of the Mind
469:Shadows of the Mind
458:classical computers
347:Philosophy articles
198:WikiProject Physics
404:Philosophy of mind
400:
332:general discussion
34:content assessment
807:
795:comment added by
446:quantum computers
421:
420:
417:
416:
413:
412:
409:
408:
314:Philosophy portal
264:
263:
260:
259:
140:
139:
136:
135:
96:WikiProject Books
882:
785:Raymond Smullyan
754:Arthur C. Clarke
654:particle physics
385:
375:
349:
348:
345:
342:
339:
316:
311:
310:
309:
300:
293:
292:
287:
284:
273:
266:
223:
222:
221:physics articles
219:
216:
213:
192:
187:
186:
176:
169:
168:
163:
160:
149:
142:
130:
129:
126:
123:
120:
102:join the project
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
890:
889:
885:
884:
883:
881:
880:
879:
810:
809:
787:
778:
685:
645:
631:
612:
501:playing chess.
491:
479:MichaelMcGuffin
435:Turing machines
426:
383:
346:
343:
340:
337:
336:
312:
307:
305:
285:
279:
220:
217:
214:
211:
210:
188:
181:
161:
155:
127:
124:
121:
118:
117:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
888:
886:
878:
877:
872:
867:
862:
857:
852:
847:
842:
837:
832:
827:
822:
812:
811:
786:
783:
777:
774:
750:
749:
748:
747:
725:
724:
684:
681:
670:123.255.31.114
644:
641:
635:BetacommandBot
630:
627:
611:
608:
607:
606:
596:
586:
577:Oracle machine
572:
562:
552:
542:
532:
522:
510:
490:
487:
460:, not against
425:
422:
419:
418:
415:
414:
411:
410:
407:
406:
401:
391:
390:
388:
386:
380:
379:
371:
370:
363:Low-importance
359:
353:
352:
350:
318:
317:
301:
289:
288:
286:Low‑importance
274:
262:
261:
258:
257:
248:
245:
244:
237:Low-importance
233:
227:
226:
224:
207:the discussion
194:
193:
190:Physics portal
177:
165:
164:
162:Low‑importance
150:
138:
137:
134:
133:
131:
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
887:
876:
873:
871:
868:
866:
863:
861:
858:
856:
853:
851:
848:
846:
843:
841:
838:
836:
833:
831:
828:
826:
823:
821:
818:
817:
815:
808:
806:
802:
798:
797:2.240.204.182
794:
784:
782:
773:
772:
768:
764:
759:
755:
746:
742:
738:
733:
729:
728:
727:
726:
723:
719:
715:
712:
709:
708:3-540-76163-2
706:
702:
701:
700:
699:
695:
691:
680:
679:
675:
671:
667:
664:in 1961; see
663:
659:
655:
651:
642:
640:
639:
636:
628:
626:
625:
622:
618:
609:
605:
602:
597:
595:
592:
587:
585:
582:
578:
573:
571:
568:
563:
561:
558:
553:
551:
548:
543:
541:
538:
533:
531:
528:
523:
521:
518:
513:
512:
511:
508:
505:
502:
498:
495:
486:
482:
480:
477:
474:
470:
465:
463:
459:
455:
451:
447:
443:
438:
436:
431:
423:
405:
397:
393:
392:
389:
387:
382:
381:
376:
372:
368:
364:
358:
355:
354:
351:
334:
333:
328:
324:
323:
315:
304:
302:
299:
295:
294:
290:
283:
278:
275:
272:
268:
255:
254:
247:
246:
242:
238:
232:
229:
228:
225:
208:
204:
200:
199:
191:
185:
180:
178:
175:
171:
170:
166:
159:
154:
151:
148:
144:
132:
128:Book articles
115:
111:
110:documentation
107:
103:
99:
98:
97:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
791:— Preceding
788:
779:
751:
686:
646:
632:
613:
509:
506:
503:
499:
496:
492:
483:
466:
439:
427:
362:
330:
320:
251:
236:
196:
158:Publications
94:
93:
87:Books portal
40:WikiProjects
591:Tristanreid
567:Tristanreid
547:Tristanreid
527:Tristanreid
30:Start-class
814:Categories
758:Three Laws
338:Philosophy
327:philosophy
277:Philosophy
737:Garrapito
690:Joker1189
617:PhilHibbs
462:strong AI
454:strong AI
793:unsigned
763:JHobson3
424:Untitled
732:lecture
365:on the
239:on the
212:Physics
203:Physics
153:Physics
601:Remy B
581:Remy B
557:Remy B
537:Remy B
517:Remy B
36:scale.
119:Books
59:Books
801:talk
767:talk
741:talk
718:talk
714:Spot
705:ISBN
694:talk
674:talk
666:here
656:and
621:talk
507:-t.
282:Mind
104:and
756:'s
456:in
357:Low
231:Low
816::
803:)
769:)
743:)
720:)
696:)
676:)
619:|
384:/
280::
156::
799:(
765:(
739:(
716:(
692:(
672:(
369:.
256:.
243:.
116:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.