MATH 420: Mathematical Logic
MATH 313 or MATH 351 or permission of the instructor
This course will be a mathematical study of the concepts of truth and proof and how they relate to each other. The main topics to be covered are propositional logic, first order predicate logic, computability and undecidability results.
Outcomes: Students will develop proof writing skills, expand mathematical literacy, understand the expressive power and limitations of propositional and predicate logics and learn the mathematical meaning of "truth" and "proof".