Introduction to Metamathematics

Catalog description

** Transfer course offered by NT752 ** 4010. Introduction to Metamathematics. 3 hours. Introduction of the syntax and semantics of propositional logic and first-order logic. Topics include quantifier elimination, compactness and completeness theorems, Craig's interpolation theorem, elementary submodels, partial recursive functions, Godel numbering, decidability of theories, Peano arithmetic, Robinson's system, and Godel's incompleteness theorems. Prerequisite(s) : MATH 3000 and at least one of the following : MATH 3510 or 3610.