Ancient Roman abacus
Ancient Roman abacus
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