John R. Steel: Courses
Math 136: Incompleteness and Undecidability
Spring 2018, TTh 11:0012:30, 241 Cory
Instructor: John R. Steel, 717 Evans,
Office Hours: To be announced.
Email address: coremodel@berkeley.edu
Available documents:

Course announcement. pdf
 Homework 1, due Jan. 25.pdf
 Homework 2, due Feb. 1 at lecture, or Feb. 2 before 4pm at 937 Evans.pdf
 GSI office hours: Benjamin Siskind, 937 Evans,
Mon., Thurs., 2:003:30.
 Homework 3, due Feb. 8 at lecture, or Feb. 9 before 4pm at
937 Evans. pdf
 Homework 4, due Feb. 15 at lecture or Feb. 16 before 4pm
at 937 Evans. pdf
 First mideterm study guide
pdf
 Homework 5, due Feb. 22 at lecture or Feb. 23 before 4pm
at 937 Evans. pdf
 Homework 6, due March 1 or March 2.pdf
 Homework 7, due March 8 or March 9.pdf
 Homework 8, due March 15 or 16.pdf
 Homework 9, due March 22 or 23.pdf
 Bonus problem 6.pdf
Last modified: Feb 20 08:38:03 PST
2010