MA 236 Introduction Mathematical Logic

This course introduces students to first order logic and to fundamental discoveries about the nature and limits of mathematics which have emerged in the last hundred years. The course begins with a concrete treatment of first order logic and culminates with the unsolvability of the halting problem and the Church-Turing Theorem on the undecidability of first order logic.




Pure and Applied Mathematics Program

Typically Offered Periods

Spring Semester