From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!jupiter!morgan.ucs.mun.ca!nstn.ns.ca!bonnie.concordia.ca!uunet!wupost!kuhub.cc.ukans.edu!husc-news.harvard.edu!brauer!zeleny Tue Nov 19 11:10:32 EST 1991
Article 1360 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!jupiter!morgan.ucs.mun.ca!nstn.ns.ca!bonnie.concordia.ca!uunet!wupost!kuhub.cc.ukans.edu!husc-news.harvard.edu!brauer!zeleny
>From: zeleny@brauer.harvard.edu (Mikhail Zeleny)
Newsgroups: comp.ai.philosophy
Subject: Re: Chinese Room Variant
Message-ID: <1991Nov17.163705.5540@husc3.harvard.edu>
Date: 17 Nov 91 21:37:04 GMT
References: <1991Nov8.170856.21527@psych.toronto.edu> <1991Nov12.131428.4850@osceola.cs.ucf.edu> <1991Nov14.163630.20597@spss.com>
Organization: Dept. of Math, Harvard Univ.
Lines: 32
Nntp-Posting-Host: brauer.harvard.edu

In article <1991Nov14.163630.20597@spss.com> 
markrose@spss.com (Mark Rosenfelder) writes:

>In article <1991Nov12.131428.4850@osceola.cs.ucf.edu> 
clarke@next1 (Thomas Clarke) writes:

TC:
>>That is, the bare rules of computation plus any finite set of additional 
>>usage/correspondence rules are not sufficient for an understanding of number. 

MR:
>What is sufficient, then?  An infinite set of rules?  Or, if something else
>entirely is needed, what is it?

In effect, on the syntactical level, infinitely many rules are required in
order to characterize the standard model of the natural numbers.  This is a
direct consequence of G\"odel's Second Incompleteness Theorem.

'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`
`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'
: 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            :
:                                                                    :
'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`
`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'


