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 TBA

Class Time and Location: TBA

Office Hours: TBA; 5 Washington Place Room 308