Jan 27, 2023  
2012-2013 Undergraduate Catalogue 
2012-2013 Undergraduate Catalogue Archived Catalogue

MAT 481 - Introduction to Mathematical Logic

Credits: 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.