FOM: Platonism and social constructivism

Vaughan Pratt pratt at cs.Stanford.EDU
Tue Mar 24 14:02:27 EST 1998

From: Reuben Hersh <rhersh at>
>In particular, I have written repeatedly that once a mathematical
>entity is invented, it has definite properties which we are not
>free to choose, and which may be difficult or impossible for us
>to discover.

In that case I see no remaining differences in your position.  It seems
to me that Hersh, Machover, and I are in essential agreement.

Vaughan Pratt

More information about the FOM mailing list