Moscow State University

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

On October 29, 2014 I participated (via Skype) in the Online Logic Seminar at Moscow State University. I gave an invited talk entitled Gauging the complexity of mathematical theorems.

My abstract is available in plain text format.

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

A list of my recent and upcoming talks is available.

My publication list is available. / 28 October 2014