Incompleteness

Gödel's two incompleteness theorems are among the most important results in the history of logic. We will study these results, and explore related topics, by working through some of the classic papers on the subject. Authors to be read include Gödel, Tarski, Feferman, and Visser. Prerequisites: PHIL 0640 or PHIL 1630 , or special permission from instructor.