"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.