MATH 5090---Set Theory and Mathematical Logic

Meets:    Time/Place TBA

Instructor:    Eric Moorhouse,   Ross 216,   766-4394.

Prerequisite:     Experience with mathematical proofs, including Math 2800 or consent of instructor. Interested junior/senior undergraduate students, as well as graduate students, are encouraged to speak with me about this course.

Textbook Textbook (required):
Sets, Logic and Categories, Peter J. Cameron, Springer, 1998.
Additional source (optional): Gödel, Escher, Bach: An Eternal Golden Braid, D. Hofstadter, 20th Anniversary Edition, Basic Books, 1999.
Additional source (optional):
Gödel's Theorem: An Incomplete Guide to its Use and Abuse, Torkel Franzén, A. K. Peters, 2005.

Additional source (optional): A Course in Mathematical Logic for Mathematicians, 2nd ed., Yu. I. Manin with B. Zilber, Springer, 2010.

Further reading (optional):
Model Theory: An Introduction, David Marker, Springer, 2002.
Additional Source (optional): Logicomix: An Epic Search for Truth, A. Doxiadis and C. H. Papadimitriou, Bloomsbury, 2009.

Poster   Course announcement

Sample Course Content: A Few Highlights

Links/Handouts


/ revised September, 2014