Apr 20, 2021  
2013-14 Undergraduate Bulletin 
2013-14 Undergraduate Bulletin [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

MA 454 - Foundations of Mathematics

Credits: 3

Prerequisite: MA 182 and MA 301

Predicate calculus, first order logic, Godel’s completeness theorem for first-order logic, Turing machines, discussion of Godel’s first incompleteness theorem, axiomatic systems for different number systems, for groups and for set theory.

Add to Portfolio (opens a new window)