Math 559: Recursion Theory

I am Stephen G. Simpson, a Professor of Mathematics at Penn State University.

Math 559 is an introductory graduate-level course on recursion theory, a.k.a., computability theory.

My plain text advertisement for Math 559 is here.

I taught Math 559 in Spring 2013. We met Mon-Wed-Fri 10:10-11:00 in 106 McAllister. Office hours were Mon-Wed-Fri 11:00-11:30 in 305 McAllister.

Also of interest is the Penn State Logic Seminar. / 30 April 2013