PHIL 1645
Incompleteness
Brown University · UGRD · Fall 2026
1 section
Catalog description
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.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #brown-PHIL1645Fall 2026UGRD
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?