John R. Steel: Courses 

---

Math 136: Incompleteness and Undecidability

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, 2-3: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