Plans for the rest of the term.

Tuesday November 19: I conclude the proof of G?del's theorem. Thereafter we discuss exercises found in our textbook (see below) and the exam from 2022.

Wednesday November 20: No lecture.

Tuesday November 26: No lecture.

Wednesday November 27: We will discuss old exams (I will give more information later).