home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / ai / 4977 < prev    next >
Encoding:
Text File  |  1993-01-23  |  1.6 KB  |  47 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!cs.utexas.edu!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
  3. From: nakashim@etl.go.jp (Hideyuki Nakashima)
  4. Subject: Re: discussion with Penrose
  5. In-Reply-To: ginsberg@t.Stanford.EDU's message of Thu, 17 Dec 1992 16: 00:50 GMT
  6. Message-ID: <NAKASHIM.93Jan23150803@uranus.etl.go.jp>
  7. Sender: news@etl.go.jp (News System)
  8. Nntp-Posting-Host: uranus
  9. Organization: Electrotechnical Laboratory
  10. References: <1992Dec17.160050.9104@CSD-NewsHost.Stanford.EDU>
  11. Date: Sat, 23 Jan 1993 06:08:03 GMT
  12. Lines: 33
  13.  
  14. In article <1992Dec17.160050.9104@CSD-NewsHost.Stanford.EDU> ginsberg@t.Stanford.EDU (Matthew L. Ginsberg) writes:
  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. If (2) and (3) are correct, then there exists a Tuting test which will
  31. distinguish the belief states described in (1).  Applying the test to
  32. Matt and Penrose, it can be found which of you are correct.
  33.  
  34. But since both of you agreed on
  35.  
  36.    that neither of us had any hope of
  37.    changing the other's views on (1),
  38.  
  39. it can be concluded that (1) is wrong (by assuming (2) and (3)) :-)
  40.  
  41. --
  42. Hideyuki Nakashima
  43. Cooperative Architecture
  44. Electrotechincal Lab.
  45.  
  46.  
  47.