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.
I am teaching Math 558 in Fall 2009. Lectures are Tue-Thu 9:45-11:00 AM. We are meeting in 315 McAllister.
My office is 305 McAllister. I am not holding regular office hours in Fall 2009, but 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 / 27 September 2009