From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!think.com!yale.edu!jvnc.net!darwin.sura.net!europa.asd.contel.com!uunet!mcsun!uknet!edcastle!aisb!aisb!smaill Thu Jan 16 17:21:43 EST 1992
Article 2717 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:2717 sci.philosophy.tech:1845 sci.logic:799
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!rpi!think.com!yale.edu!jvnc.net!darwin.sura.net!europa.asd.contel.com!uunet!mcsun!uknet!edcastle!aisb!aisb!smaill
>From: smaill@aisb.ed.ac.uk (Alan Smaill)
Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
Subject: Re: Penrose on Man vs. Machine
Message-ID: <SMAILL.92Jan14211642@affric.aisb.ed.ac.uk>
Date: 14 Jan 92 21:16:42 GMT
References: <1992Jan13.175936.2755@oracorp.com>
	<1992Jan13.200000.7489@husc3.harvard.edu>
Sender: news@aisb.ed.ac.uk (Network News Administrator)
Organization: DAI, University of Edinburgh
Lines: 20
In-Reply-To: zeleny@zariski.harvard.edu's message of 14 Jan 92 00:59:57 GMT

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


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

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?
If so, what is it like (which large cardinal statements are true there,
for example)? 



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


