FOM: Platonism and social constructivism

[Vaughan Pratt]

From: Reuben Hersh <rhersh at math.unm.edu>
>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