John R. Steel: Courses
Math 136: Incompleteness and Undecidability
Spring 2020, TTh 12:302:00, 310 Hearst Mining
Instructor: John R. Steel, 717 Evans,
Office Hours: TTh 2:304:00
Email address: coremodel@berkeley.edu
Available documents:

Course announcement. pdf

Homework 1, due Jan. 30. pdf

Homework 2, due Feb. 6. pdf

Homework 3, due Feb. 13. pdf

Homework 4, due Feb. 20. pdf

Homework 5, due Feb. 27. pdf

Study guide for first midterm. pdf

Homework 6, due March 5. pdf
 Notice: I will have office hours Wed. Feb. 26, 23:30pm. There will be no office hour Thurs. Feb. 27.

Homework 7, due March 12.
pdf

Homework 8, due March 19.
pdf

Homework 9, due April 9.
pdf

Homework 10, due April 17, 11pm
pdf

Homework 11, due April 23, 5pm.
pdf

Homework 12, due May 1, 5pm.
pdf

Last homework, due May 8, 11pm.
pdf
Last modified: Feb 20 08:38:03 PST
2010