TTh 2:00-3:20 in Eckhart 312

Denis Hirschfeldt

Ryerson 359B

(773) 702-7375

drh@math.uchicago.edu

Homework 1 (due Thursday, April 12th)

Homework 2 (due Thursday, April 19th)

Homework 3 (due Thursday, April 26th)

Homework 4 (due Thursday, May 3rd)

Homework 5 (due Thursday, May 10th)

Homework 6 (due Tuesday, May 22nd)

Homework 7 (due Thursday, May 31st)

Turing's

A video of my public lecture Waking up from Leiniz' Dream: On the Unmechanizability of Truth

Turing Computability: Theory and Applications by Soare

Chapter 2: Computability Theory of