From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!think.com!news.bbn.com!hsdndev!husc-news.harvard.edu!zariski!zeleny Thu Jan 16 17:21:56 EST 1992
Article 2737 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2737 sci.philosophy.tech:1859 sci.logic:805
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!think.com!news.bbn.com!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.120854.7593@husc3.harvard.edu>
Date: 15 Jan 92 17:08:52 GMT
References: <1992Jan13.175936.2755@oracorp.com> <SMAILL.92Jan14211642@affric.aisb.ed.ac.uk>
Organization: Dept. of Math, Harvard Univ.
Lines: 47
Nntp-Posting-Host: zariski.harvard.edu

In article <SMAILL.92Jan14211642@affric.aisb.ed.ac.uk> 
smaill@aisb.ed.ac.uk (Alan Smaill) writes:

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

MZ:
>   If so, do you believe
>   yourself to be capable of reasoning about the standard model of ZFC, per my
>   discussion above?  

AS:
>Can you let us know what you mean here by "the standard model of ZFC"?
>Are you suggesting there is a unique (up to isomorphism) model that
>mathematicians have in mind when they talk of sets?

Yes, provided that you interpret `have in mind' in a normative, rather than
merely descriptive, sense: `to have ... in mind' doesn't entail `to be
aware of ...'.  In other words, I believe that our conversation about ZFC
has a determinate, though perhaps not fully determinable, meaning.

AS:
>If so, what is it like (which large cardinal statements are true there,
>for example)? 

For one thing, it's not countable.  As for the axioms of strong infinity,
being that I can only guess, and that my relatively uneducated guesses are
of little value in this learned assembly, I'd rather not say.

>--
>Alan Smaill,                       JANET: A.Smaill@uk.ac.ed             
>Department of Artificial           ARPA:  A.Smaill%uk.ac.ed@nsfnet-relay.ac.uk
>       Intelligence,               UUCP:  ...!uknet!ed.ac.uk!A.Smaill
>Edinburgh University. 


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


