FOM: proof theory (correction) (correction)

Stephen G Simpson simpson at
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.

-- Steve

More information about the FOM mailing list