Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

    Feb 23, 2020  
2018-2019 Undergraduate Catalog 
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

Add to My Catalog

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 .

Add to My Catalog