The following abstract for a talk was circulated in our lab in May 1997:

That, as always local achievements, provers come together and prove theorems, not simply to their own satisfaction, but for all provers for all time, provides the sustaining grounds of mathematical activity. These achievements, viewed as a research problem in the intersubjectivity of concerted action, allow the reformulation of the problem of mathematical foundations in terms of social interaction.Can you explain why the first sentence seems so awkward? (Other than that it was written by a sociologist :-)

To UCSZ homepage

To Tatami project homepage

To UCSD Meaning and Computation Lab homepage

To my homepage

10 January 1998; version of 23 January 2000.