Mathematical Logic I

MATH 58500

3

MATH 35100 or an undergraduate proof course; MATH 58700 recommended


Formal theories for propositional and predicate calculus with study of models, completeness, and compactness.  Formalization of elementary number theory; Turing machines, halting problem, and the undecidability of arithmetic.