Aug 16, 2018  
Undergraduate Catalog 2017-2018 
    
Undergraduate Catalog 2017-2018 [ARCHIVED CATALOG]

MATH 37000 - Mathematical Logic


GER
3/B

A survey of the central results and techniques of metalogic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem Theorem and Church’s Theorem on undecidability. Cross-listed as PHILO 37500  and CSCI 37100 .
prereq: MATH 26000 or permission of the instructor
3 hrs
3 cr.