In December 2000 I attended a Philosophy of Mathematics Worshop, organized by Jeremy Avigad and Steve Awodey, held at Carnegie Mellon University.

At the workshop, I gave an invited 30-minute talk on ** A World
Where Relative Definability Coincides With Relative Recursiveness
(i.e., Turing Reducibility)**. My transparencies are available
in several formats: DVI, PDF, PS.

The talk was based on some of my recent
papers, including ** Pi01 Sets and Models of WKL0** and

I run FOM, an automated e-mail list for discussing foundations of mathematics.

t20@psu.edu / 12 December 2000