Dec 02, 2024  
2014-2015 Undergraduate Bulletin 
    
2014-2015 Undergraduate Bulletin [Archived Catalog]

PHIL 45100 - The Gödel Theorems: Their Logic and Applications


Introduction to Primitive-Recursive Arithmetic as a framework to prove Gödel’s two incompleteness theorems followed by a critical discussion of their philosophical significance. 

Preparation for Course
P: PHIL 15000 and PHIL 25200, or consent of instructor.

Cr. 3.