home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / ai / 4658 < prev    next >
Encoding:
Text File  |  1992-12-17  |  1.4 KB  |  33 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!mp.cs.niu.edu!rickert
  3. From: rickert@mp.cs.niu.edu (Neil Rickert)
  4. Subject: Re: discussion with Penrose
  5. Message-ID: <1992Dec17.200228.12761@mp.cs.niu.edu>
  6. Organization: Northern Illinois University
  7. References: <1992Dec17.160050.9104@CSD-NewsHost.Stanford.EDU>
  8. Date: Thu, 17 Dec 1992 20:02:28 GMT
  9. Lines: 22
  10.  
  11. In article <1992Dec17.160050.9104@CSD-NewsHost.Stanford.EDU> ginsberg@t.Stanford.EDU (Matthew L. Ginsberg) writes:
  12. >
  13. >1.  Penrose believes that his belief in mathematical sentences is
  14. >special; there is something qualitatively different about his belief
  15. >that e**(i pi) = -1, for example, than his belief that he has a stomach
  16. >ache.
  17. >
  18. >2.  Penrose believes that strong AI (the claim that a Turing machine
  19. >can pass the Turing test, for example) is false.
  20. >
  21. >3.  Penrose believes that (1) implies (2), and that the proof is
  22. >basically as outlined in his book.
  23. >
  24. >I think Penrose is right about (3), but wrong about (1) (and therefore
  25. >unjustified in concluding (2)).
  26.  
  27. Hmm.  I think Penrose is right about (1) but wrong about (3).  I wonder
  28. how he persuaded you.  His "proof" is based on a belief that humans are
  29. capable of doing things ruled out by the Goedel result.  I would say it
  30. is this this belief which is more in the category of having a stomach
  31. ache than in the category of exp(i pi) = -1.
  32.  
  33.