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

Martin Davis martind at cs.berkeley.edu
Sun Mar 22 14:24:03 EST 1998


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




More information about the FOM mailing list