Units: 4
Hours: Lecture, 3 hours; extra reading, 2 hours; term paper, 1 hour
Catalog page 535
Prerequisites: PHIL 124 with a grade of C- or better; or consent of instructor
Description: Advanced metatheory of first-order logic, leading to a discussion of some of the important incompleteness, undecidability, and non- expressability results of twentieth-century logic. Includes the writings of Godel, Church, and Turing.