home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / ai / 4653 < prev    next >
Encoding:
Text File  |  1992-12-17  |  1.5 KB  |  40 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!t.Stanford.EDU!ginsberg
  3. From: ginsberg@t.Stanford.EDU (Matthew L. Ginsberg)
  4. Subject: discussion with Penrose
  5. Message-ID: <1992Dec17.160050.9104@CSD-NewsHost.Stanford.EDU>
  6. Originator: ginsberg@t.Stanford.EDU
  7. Sender: news@CSD-NewsHost.Stanford.EDU
  8. Organization: Computer Science Department, Stanford University.
  9. Date: Thu, 17 Dec 1992 16:00:50 GMT
  10. Lines: 28
  11.  
  12.  
  13. I had dinner with Penrose last night, and we talked about his book
  14. among other things.  We agreed on the following:
  15.  
  16. 1.  Penrose believes that his belief in mathematical sentences is
  17. special; there is something qualitatively different about his belief
  18. that e**(i pi) = -1, for example, than his belief that he has a stomach
  19. ache.
  20.  
  21. 2.  Penrose believes that strong AI (the claim that a Turing machine
  22. can pass the Turing test, for example) is false.
  23.  
  24. 3.  Penrose believes that (1) implies (2), and that the proof is
  25. basically as outlined in his book.
  26.  
  27. I think Penrose is right about (3), but wrong about (1) (and therefore
  28. unjustified in concluding (2)).
  29.  
  30. It was a very interesting -- and short -- discussion.  We realized
  31. almost immediately that we differed in our beliefs regarding
  32. mathematical sentences, that given those beliefs the rest of our views
  33. were completely consistent, and that neither of us had any hope of
  34. changing the other's views on (1).  Penrose did try to get me by
  35. asking how I felt about "2 is not equal to 3", but I said that was the
  36. thin edge of the wedge and I wasn't falling for it.
  37.  
  38.                         Matt Ginsberg
  39.  
  40.