The Limits of Logic
Fall 2022
Syllabus
Guide to Doing Exercises
Textbook
Tentative schedule
Problem presentation sign-up
Midterm solution guide
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)