Math 457 is an undergraduate course in mathematical logic. The subject should be of interest to advanced undergraduate and beginning graduate students in mathematics, computer science, philosophy, linguistics, etc. Math 457 covers the propositional calculus, the predicate calculus, the tableau method, completeness, compactness, computable functions, and undecidability. Math 457 is suitable for all students who have taken Math 311 or 312 or equivalent, or CSE 260 or equivalent, or Phil 212 or equivalent.
I am teaching Math 457 in Spring 2005. There is no textbook. I am providing lecture notes and other materials.
Our final exam was Monday, May 2, 2:30 PM, in 106 Osmond. Final grades have been entered.
Also of interest is the Penn State Logic Seminar.
simpson@math.psu.edu / 3 May 2005