Course Objectives:  To provide students with a knowledge of the
elements of Godel's First Incompleteness Theorem and attendant
results in mathematical logic and an appreciation for the
philosophical significance of those theorems.  Our concerns will
also include basic facts and ideas from the theories of
compatibility and of definability.

Course grades are determined on the basis of student performance on
two take home exams, one final exam - also take home - a brief
presentation and a number of excercise assignments.  There will be
450 points possible for the entire class.  Each of the exams will be
worth 100 points, the presentation 50 points and exercise
assignments 100 points (percentagewise) in all.