From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!asuvax!ukma!hsdndev!husc-news.harvard.edu!zariski!zeleny Thu Jan 16 17:22:01 EST 1992
Article 2745 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2745 sci.philosophy.tech:1861 sci.logic:806
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!asuvax!ukma!hsdndev!husc-news.harvard.edu!zariski!zeleny
>From: zeleny@zariski.harvard.edu (Mikhail Zeleny)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Subject: Re: Penrose on Man vs. Machine
Message-ID: <1992Jan15.143037.7600@husc3.harvard.edu>
Date: 15 Jan 92 19:30:36 GMT
References: <1992Jan14.162419.21604@cambridge.oracorp.com> <1992Jan14.182546.7560@husc3.harvard.edu> <1992Jan14.211840.2423@arizona.edu>
Distribution: world,local
Organization: Dept. of Math, Harvard Univ.
Lines: 40
Nntp-Posting-Host: zariski.harvard.edu

In article <1992Jan14.211840.2423@arizona.edu> 
bill@NSMA.AriZonA.EdU (Bill Skaggs) writes:

>In article <1992Jan14.182546.7560@husc3.harvard.edu> 
>zeleny@zariski.harvard.edu (Mikhail Zeleny) writes:

MZ:
>>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.

BS:
>  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

You create it, and I'll understand it, provided that there is anything to
understand.  One proviso: the axioms must all be written by hand, in your
handwriting.  

Never having tried to do likewise, I can't really sympathize with it, but
sorry about your problem with quantum gravity.

`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'
: Qu'est-ce qui est bien?  Qu'est-ce qui est laid?         Harvard   :
: Qu'est-ce qui est grand, fort, faible...                 doesn't   :
: Connais pas! Connais pas!                                 think    :
:                                                             so     :
: Mikhail Zeleny                                                     :
: 872 Massachusetts Ave., Apt. 707                                   :
: Cambridge, Massachusetts 02139           (617) 661-8151            :
: email zeleny@zariski.harvard.edu or zeleny@HUMA1.BITNET            :
:                                                                    :
'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`


