>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
Replied: Tue, 10 May 1994 12:55:09 -0500
Replied: "Gerard Huet <huet@petrus.inria.fr> "
Replied: Tue, 10 May 1994 12:50:16 -0500
Replied: "Gerard Huet <huet@petrus.inria.fr> "
Replied: Tue, 10 May 1994 12:47:14 -0500
Replied: "Gerard Huet <huet@petrus.inria.fr> "
Replied: Tue, 10 May 1994 12:39:27 -0500
Replied: "Gerard Huet <huet@petrus.inria.fr> "