FOM: use and mention, objective, astronomical calculations, etc.
martind at cs.berkeley.edu
Sun Mar 22 14:24:03 EST 1998
At 01:27 PM 3/21/98 -0700, Reuben Hersh wrote:
>"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
I never said anything remotely like that. It would help if you would quote.
More information about the FOM