Lecture Notes by Stephen G. Simpson
I am Stephen G. Simpson, a mathematician at
Penn State University.
Lecture notes:
- Mathematical Logic: PDF, PS, DVI.
- Incompleteness and Undecidability: PDF, PS, DVI.
- Foundations of Mathematics: PDF, PS, DVI.
- Model Theory: PDF, PS, DVI.
- Topics in Logic and Foundations, Spring 2004: PDF, PS.
- Topics in Logic and Foundations, Spring 2005: PDF, PS, DVI.
- Computability, Unsolvability, and Randomness, Fall 2007: PDF, PS, DVI.
- Topics Course: Mass Problems, Spring 2009: PDF, PS, DVI.
Also available is information on my books and papers and talks.
t20@psu.edu / 16 June 2014