Math 558 is an introductory graduate-level course in foundations of mathematics. The topics covered are: computability, unsolvable problems, undecidability of the natural number system, decidability of the real number system, informal set theory, axiomatic set theory.
Math 558 is suitable for all mathematics graduate students. It is also part of our first year graduate sequence in logic and foundations, Math 557-558, which prepares Ph.D. students for the logic qualifying exam.
I am teaching Math 558 in Spring 2007. Lectures are Mon-Wed-Fri 9:05-9:55 AM. We are meeting in 315 McAllister.
Grades are based on homework, an in-class midterm exam, and a final exam.
My office is 305 McAllister. My office hours for Spring 2008 are Monday-Tuesday-Thursday 1:00-2:00, or you can drop in whenever my door is open, or make an appointment.
Here are some course materials.
I have taught Math 558 several times before. Some old course materials are available.
Click here to see more information on foundations of mathematics.
Also of interest is the Penn State Logic Seminar.
simpson@math.psu.edu / 10 February 2008