CMU Philosophy of Mathematics Workshop

I am Stephen G. Simpson, a mathematician at the Pennsylvania State University.

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. / 12 December 2000