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 A Symmetric beta-Model.
I run FOM, an automated e-mail list for discussing foundations of mathematics.
t20@psu.edu / 12 December 2000