May 24, 2019  
2018-2019 Undergraduate Bulletin 
    
2018-2019 Undergraduate Bulletin
[Add to Portfolio]

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]