FOM: proof theory (correction) (correction)
Stephen G Simpson
simpson at math.psu.edu
Thu Apr 9 11:51:01 EDT 1998
Earlier today I wrote:
> It was foolish of me to attempt to list the proof theorists who
> subscribe to FOM off the top of my head. I unintentionally omitted
> two of the most prominent ones, Charles Parsons and Peter Aczel, and
> perhaps others. I apologize to anyone who was left out.
Another prominent one that I unintentionally omitted is Grigori Mints.
What an idiot I am.
More information about the FOM