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 2^omega**. 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.

t20@psu.edu / 21 September 2001