MAT 410 Mathematical Logic

The course will cover truth functions and tables, rules of logic, predicate calculus, first order arithmetic, formal set theory, consistency, completeness, recursive functions, and if time permits, Godel Numbers, Godel’s Incompleteness Theorem, algorithms, computability, Church’s Thesis, Turing machines, undecidability of formal systems and the halting problem. Prerequisite(s): MAT 290 3 hour(s).