On May 10th, 2022 Hunter will be using a new Course Catalog system provided by CUNY that will look and feel different than the current version. The new Course Catalog system will be the primary resource for course information for undergraduate and graduate courses. If you have any questions, please contact your Academic Department.
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.
