Path: utzoo!attcan!uunet!mailrus!news-server.csri.toronto.edu!utgpu!watserv1!maytag!watdragon!violet!cpshelley
From: cpshelley@violet.uwaterloo.ca (cameron shelley)
Newsgroups: comp.ai
Subject: Re: Against AI
Message-ID: <1990Sep26.170033.2257@watdragon.waterloo.edu>
Date: 26 Sep 90 17:00:33 GMT
References: <94y2P6w163w@bluemoon.UUCP>
Sender: daemon@watdragon.waterloo.edu (Owner of Many System Processes)
Organization: University of Waterloo
Lines: 17


  So, your reasoning is: 1/ the halting problem exists, therefore
*true* AI does not.  This would be quite acceptable if I could see
some reason why one necessarily excludes the other.

  Frankly, "proofs" of the impossibility of computer intelligence
strike me very much like the medieval "proofs" of the existence 
of god, they amount to a statement of opinion.  Perhaps the problem
of machine intelligence is much like the halting problem:  if we
succeed then we'll know, otherwise the question will simply remain
undecided.

--
------------------------------------------------------------------
| Cameron Shelley                 |  Office: dc 2136             |
| cpshelley@violet.waterloo.edu   |  Phone: (519) 885-1211 x3390 |
|----------------------------------------------------------------|