Course Stuff

• Syllabus

• Guide to Doing Exercises

• Textbook

• Schedule

• Presentation sign-up

• Midterm

• Midterm solutions

• Final exam: problems, essay queston

Bonus Content!

• Chiang, “Division by Zero” (Content warning: suicide)

• Pullum, “Scooping the Loop-Snooper”

• Boolos, “Gödel’s Second Incompleteness Theorem Explained in Words of One Syllable”

• Chalmers, “Hard Cases”, in Constructing the World

• Hilbert, “On the Infinite”

• Lucas, “Minds, Machines, and Gödel” (Content warning: misogyny)