"Lecture" for Week 13

Logic and Combinatorics


In my never-ending quest to keep the content of this course finite, I decided not to assign much from Chapter 25. That chapter did not exist until the 3rd edition of the book, there is not must history in it, and it seems anticlimactic after the philosophical heights of Chapter 24. Of course, you're always free to read things that are not assigned.

Logic, set theory, and computability

My take on Russell's paradox and the halting problem occupies most of a short set of old course notes. The same course page has links to a review of basic logic, in two parts.