MA 236 Introduction Mathematical Reasoning
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.