FOM: use and mention, objective, astronomical calculations, etc.

[Martin Davis]

At 01:27 PM 3/21/98 -0700, Reuben Hersh wrote:

> It's
>"obvious," as Martin Davis informed me, that mathematics is a social
>activity.  But that's not the real mathematics that one provides
>foundations for.  We should use subscripts or quote marks to keep
>them straight. 

Dear Reuben,

I never said anything remotely like that. It would help if you would quote.

Martin