Set Theory serves a dual purpose in modern Mathematics. It began as a set of handy tools for working with collections of objects, tools that are used in all branches of Mathematics. Later, in the early 20th century, those tools got formalized and extended into an axiomatic formal system that’s meant to serve as a rock-solid foundation for all mathematics. This course aims to give a thorough introduction to both approaches, and our work will lead us to some deep philosophical questions about the nature of mathematical truth itself.
This course is a standalone module in the Mathematical Systems program. Contact the faculty to take this as a 4 credit module in that program.
Strong algebra skills. Previous experience with proofs and/or Discrete Mathematics is helpful but not required.
Contact the faculty to be enrolled in the 4-credit Set Theory option in Mathematical Systems.
Mathematics, Education, Philosophy
Upper division science credit will be awarded for work in this course.