The Gödel Incompleteness Theorems

The two incompleteness theorems proved by Kurt Gödel in 1931 are among the greatest results in the history of logic. We'll study them in detail, reading Gödel's original paper and other sources. Prior exprerience with logic will be helpful but is not required. A strong background in mathematics is required, as most of the course will deal with proofs. Sophomores may be allowed to enroll if there is room and should contact the instructor for an override after pre-registration.