Workshop on Proof Theory and Computability

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

During February 20-23, 2012 I attended a Workshop on Proof Theory and Computability in Tokyo, Japan.

More information about the workshop is here.

As part of the workshop, I gave an invited talk entitled Propagation of partial randomness.

My abstract is available in several formats: PDF, PS, DVI.

My slides are available in several formats: PDF, PS.

A list of my recent and upcoming talks is available.

My publication list is available.

t20@psu.edu / 29 February 2012