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 taught Math 558 in Fall 2009. Lectures were Tue-Thu 9:45-11:00 AM. We met in 315 McAllister.

My office is 305 McAllister. I did not hold regular office hours in Fall 2009, but students were able drop in whenever my door was open, or make an appointment.

Here are some course materials.

- Course announcement: PDF, PS, DVI, plain text.
- Lecture notes: PDF, PS, DVI.
- Notes on unsolvability of the word problem for semigroups: PDF, PS, DVI.
- Homework #1: PDF, PS, DVI.
- Homework #1 Solutions: PDF, PS, DVI.
- Homework #2: PDF, PS, DVI.
- Homework #2 Solutions: PDF, PS, DVI.
- Homework #3: PDF, PS, DVI.
- Homework #4: PDF, PS, DVI.

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.

t20@psu.edu / 17 December 2009