Math 487

Fall 2013

A mathematical logic course, building up to G\ouml;del’s incompleteness theorems, out of Ebbinghaus, Flum, and Thomas.

• Syllabus.
• Reading for 8/26: Chapters I and II.
• Handout on Writing by Jack Lee.
• Reading for 9/1: Chapter III.
• Homework for 9/6: II.1.3, 1.4, 1.5, 4.6, and 5.2. Solutions: pdf, tex.
• Reading for 9/8: Chapter IV.
• Tuesday 9/10: Makeup lecture 8:45–9:35 in 205 Physics.
• Friday 9/13: No class.
• Homework for 9/16: III.3.3 and 4.14, IV.3.6(a2). Solutions: pdf, tex.
• Tuesday 9/24: Makeup lecture 8:30–9:45 in 205 Physics.
• Week of 9/30: No class.
• Reading for 10/7: Chapter X, Sections 1-4.
• Homework for 10/7: IV.4.10 and the problem in this Handout on Ordinals. Solutions: pdf, tex.
• Tuesday 10/8: Makeup lecture 8:30–9:45 in 205 Physics.
• Homework for 10/18: pdf, tex.