John R. Steel: Courses 

---

Math 136: Incompleteness and Undecidability

Available documents:

• Course announcement. pdf
• Homework 1, due Jan. 26. pdf
• Homework 2, due Feb. 2. pdf
• Homework 3, due Feb. 9. pdf
• Homework 4, due Feb. 16. pdf
• Homework 5, due Feb. 23. pdf
• First midterm study guide. pdf
• Homework 6, due March 2. pdf
• Homework 7, due March 8. pdf
• Grading Policy announcement. pdf
• Homework 8, due March 15. pdf
Homework 9, due March 22. pdf
• Homework 10, due April 10. pdf
• Second midterm study guide. (Midterm to be given April 17.) pdf
• Homework 11, due April 26. pdf
• Homework 12, due May 3. pdf
• Special homework. pdf