A rigorous treatment of the foundations of Euclidean geometry and an introduction to hyperbolic geometry with emphasis on proofs. The history and philosophical implications of the discovery of non-Euclidean geometry are studied. Liberal arts Prerequisite(s): MAT 231. Semester(s) Offered: Spring