The second phase of the procedure will be to design specific curriculum recommendations for the new courses. This task should be completed during the Spring semester of 1998.
We propose to keep Math 557 and Math 558 as the two-semester sequence on Logic and Foundations, with some minor changes to the syllabus as necessary. These courses include the Gödel completeness and incompleteness theorems, basic computability theory, solvable and unsolvable problems, and an introduction to proof theory, model theory, and set theory.
The new Logic and Foundations exam should be available to the students recently accepted to the Ph.D. program as well as to the next group of incoming Ph.D. candidates. The Foundations Option should start offering exams by August of 1998 to those incoming students that wish to select the Foundations Option upon arrival.