Computability Theory and Foundations of Mathematics (CTFM)

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

During January 17-21, 2016 I will participate in a conference CTFM 2016 at Waseda University, and a satellite workshop at the Tokyo Institute of Technology.

As part of the workshop, I will give an invited 2-hour tutorial on Degrees of unsolvability.

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

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

A list of my recent and upcoming talks is available.

My publication list is available.

t20@psu.edu / 12 September 2016