MAT 481 - Introduction to Mathematical LogicCredits: 3
(MAT 581 ) Prerequisite: MAT 275 and MAT 336 . The formal study of truth and provability. Propositional calculus; predicate calculus. Godel’s completeness theorem, applications to formal number theory and incompleteness. Additional topics chosen from areas such as undecidability or nonstandard analysis.
Click here for the Fall 2022 Class Schedule.