From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!pitt!geb Thu Jan 16 17:21:53 EST 1992
Article 2733 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2733 sci.philosophy.tech:1857 sci.logic:803
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!pitt!geb
>From: geb@dsl.pitt.edu (gordon e. banks)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Subject: Re: Penrose on Man vs. Machine
Message-ID: <12988@pitt.UUCP>
Date: 15 Jan 92 14:26:21 GMT
References: <1992Jan13.200000.7489@husc3.harvard.edu> <1992Jan14.162419.21604@cambridge.oracorp.com> <1992Jan14.182546.7560@husc3.harvard.edu>
Sender: news@cs.pitt.edu
Followup-To: comp.ai.philosophy
Organization: Decision Systems Laboratory, Univ. of Pittsburgh, PA.
Lines: 19

In article <1992Jan14.182546.7560@husc3.harvard.edu> zeleny@zariski.harvard.edu (Mikhail Zeleny) writes:
>
>To sum up, my position is that, were I a Turing machine, there would exist
>some formal mathematical theory whose meaning I couldn't understand.
>Personally, I find this implausible; feel free to judge to the contrary.
>
OK, I can grant that Mikhail isn't a Turing machine.  But that leaves
the rest of humanity, a great portion of which are incapable of understanding
some of the most simple formal theories of mathematics for the AI people
to model.  I suppose they could claim success even if they couldn't
replicate Mikhail.



-- 
----------------------------------------------------------------------------
Gordon Banks  N3JXP      | "I have given you an argument; I am not obliged
geb@cadre.dsl.pitt.edu   |  to supply you with an understanding." -S.Johnson
----------------------------------------------------------------------------


