Xref: utzoo comp.ai:2679 talk.philosophy.misc:1601
Path: utzoo!attcan!uunet!husc6!bloom-beacon!mit-eddie!uw-beaver!teknowledge-vaxc!sri-unix!garth!smryan
From: smryan@garth.UUCP (Steven Ryan)
Newsgroups: comp.ai,talk.philosophy.misc
Subject: Re: Artificial Intelligence, Infinity, and Hate
Message-ID: <1922@garth.UUCP>
Date: 22 Nov 88 00:29:03 GMT
References: <493@soleil.UUCP> <1071@actnyc.UUCP>
Reply-To: smryan@garth.UUCP (Steven Ryan)
Organization: INTERGRAPH (APD) -- Palo Alto, CA
Lines: 22

>Some humans are just biological Turing machines.  Others aren't.
>Those who are machines are the ones that know they are.  Their machine
>nature prevents them from detecting the other, non-machine kind of human.

An amusing idea:

Currently the only known way to prove nothing will pass the Turing test is
to try all possible machines. In other words, it appears to be a partial
recursive predicate.

Now once a machine gets trapped in partial recursive predicate, it's trapped
for infinity, so you couldn't expect a machine to prove nothing will pass the
Turing test in finite time.

Now if humans can't devise a finite proof..........
-- 
                                                   -- s m ryan
+---------------------------------------------------------------+--------------+
| And they looked across the PDP7 and saw that it was idle and  |  OSF is the  |
| without users. They `said let there be code' and it was.      |  antiUnix.   |
+---------------------------------------------------------------+--------------+
  There was a read and a write and it was the first memory cycle.