I attended a sectional meeting of the American Mathematical Society, in Columbus, Ohio, September 21-23, 2001. I gave an invited 45-minute talk as part of a Special Session on Proof Theory and Foundations of Mathematics.
The title of my talk was Muchnik and Medvedev Degrees of Pi01 Subsets of 2omega. My abstract is available in several formats: DVI, PDF, PS. My transparencies are available in several formats: PDF, PS.
A list of my recent and upcoming talks is available.
My publication list is available.
I run FOM, an automated e-mail list for discussing foundations of mathematics.
simpson@math.psu.edu / 21 September 2001