MATH 601: Mathematical Logic
(3-0) Cr. 3. Alt. F., offered odd-numbered years.
Prereq: MATH 504
Model theory of propositional and predicate logic, the Soundness Theorem, the Compactness Theorem, the Goedel-Henkin Completeness Theorem, the Incompleteness Theorem, computability theory. As time permits: modal and temporal logic, set theory (the continuum hypothesis). Emphasis on the relationship between `provable' and `true' and the relationship between `computable' and `definable'.