From owner-qed Fri Nov 18 02:00:40 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id BAA17778 for qed-out; Fri, 18 Nov 1994 01:56:39 -0600
Received: from bos1a.delphi.com (SYSTEM@bos1a.delphi.com [192.80.63.1]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id BAA17773 for <qed@mcs.anl.gov>; Fri, 18 Nov 1994 01:56:34 -0600
Received: from delphi.com by delphi.com (PMDF V4.3-9 #7804)
 id <01HJLY33IN0W9D4OHC@delphi.com>; Fri, 18 Nov 1994 02:56:32 -0500 (EST)
Date: Fri, 18 Nov 1994 02:56:32 -0500 (EST)
From: Lyle Burkhead <LYBRHED@delphi.com>
Subject: Platonism
To: qed@mcs.anl.gov
Message-id: <01HJLY33IWO29D4OHC@delphi.com>
X-VMS-To: INTERNET"qed@mcs.anl.gov"
MIME-version: 1.0
Content-type: TEXT/PLAIN; CHARSET=US-ASCII
Content-transfer-encoding: 7BIT
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


Randall Holmes writes, 

>The line between the objects that exist and the objects 
>which do not is easy to draw; everything is on one side of it.

Of course!!!!!  Why didn't I think of that?  

Roger Jones writes, 

>I would have liked to have seen in an attack on A-platonism 
>some hint of a rational argument.  

I don't know how seriously de Bruijn intended his remarks to be 
taken;  he can speak for himself if he thinks this is worth 
pursuing.  My message was intended to be more playful than 
rational.  I don't think Platonism (or any other such ism) can be 
proved or refuted.  M. C. Escher's impossible buildings exist -- all 
objects exist, how could they not? -- but in another sense they 
don't exist, obviously.  I don't care one way or the other, and I 
don't see the relevance to QED.  

Lyle