Computability and Incompleteness

Course Description:  An introduction to the theory of computability and to the major limitative results of mathematical logic, including the undecidability of first-order logic, Gödel's incompleteness theorems, and Tarski's theorem on the non-definability of truth.

Syllabus

Class Time and Location: Tu Th 2pm - 3:15pm; 194 Mercer St, Room 304

Office Hours: Th 11am - 1pm; 5 Washington Place, Room 308