MATH 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, Gödel numbering, decidability of theories, Peano arithmetic, Robinson’s system and Gödel’s incompleteness theorems.

Prerequisite(s): MATH 3000. MATH 3510 or MATH 3610.

Print this Page