Navigator
Fortune cookie
“In principle, we can know all of mathematics. It is given to us in its entirety and does not change. … That part of it of which we have a perfect view seems beautiful, suggesting harmony; that is that all the parts fit together although we see fragments of them only. … Mathematics is applied to the real world and has proved fruitful. This suggests that the mathematical parts and the empirical parts are in harmony and the real world is also beautiful.”
Kurt Gödel.
Courses for 1999-2000, spring semester
required
elective required
elective (logic)
elective (computer science logic)
Special Topics in Logic
special topics in computer science
Web standards:
XHTML1.0, CSS3.