From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!spool.mu.edu!news.cs.indiana.edu!arizona.edu!NSMA.AriZonA.EdU!bill Thu Jan 16 17:21:49 EST 1992
Article 2727 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2727 sci.philosophy.tech:1851 sci.logic:801
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!spool.mu.edu!news.cs.indiana.edu!arizona.edu!NSMA.AriZonA.EdU!bill
>From: bill@NSMA.AriZonA.EdU (Bill Skaggs)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Subject: Re: Penrose on Man vs. Machine
Message-ID: <1992Jan14.211840.2423@arizona.edu>
Date: 15 Jan 92 04:18:40 GMT
Article-I.D.: arizona.1992Jan14.211840.2423
References: <1992Jan13.175936.2755@oracorp.com> <1992Jan13.200000.7489@husc3.harvard.edu> 
 <1992Jan14.162419.21604@cambridge.oracorp.com> <1992Jan14.182546.7560@husc3.harvard.edu>
Reply-To: bill@NSMA.AriZonA.EdU (Bill Skaggs)
Distribution: world,local
Organization: Center for Neural Systems, Memory, and Aging
Lines: 15
Nntp-Posting-Host: ca3.nsma.arizona.edu

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.

  What a remarkable claim!  Are you saying that if I create an axiom
system consisting of 10^100 axioms, each 10^1000 symbols long, you
would be able to understand it?  I envy you.  I myself have never
been able to understand quantum gravity, which is surely trivial
in comparison.

  Or what exactly are you saying?

	-- Bill


