A Twisted Syntax
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.