Math 558 is an introductory graduate-level course in foundations of mathematics. It 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 taught Math 558 in Spring 2004. Here are some course materials.

- Course announcement: PS, PDF, DVI, plain text.
- Supplementary textbooks on reserve in the Mathematics Library: plain text.
- Lecture notes: PS, PDF, DVI.
- Notes on unsolvability of the word problem for semigroups: PS, PDF, DVI.
- Midterm Exam #1: PS, PDF, DVI.
- Midterm Exam #2: PS, PDF, DVI.
- Homework: PS, PDF, DVI.
- Final Exam: PS, PDF, 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 / 3 May 2004