Computability Theory and Foundations of Mathematics (CTFM 2016)

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

During September 20-23, 2016 I participated in a conference CTFM 2016 at Waseda University, and a satellite workshop at the Tokyo Institute of Technology.

As part of the workshop, I gave an invited 2-hour tutorial on degrees of unsolvability.

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

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 / 2 October 2016