From: Harvey Friedman <friedman at math.ohio-state.edu> >In this posting, I may convince people that I am worse than Simpson. Reuben Hersh's thesis that mathematics is a social activity has the obvious antithesis: foundations of mathematics is an antisocial activity. Category theorists are kinder, they would only call you cosocial. Vaughan Pratt