PHIL 6070 Mathematical Logic

This course treats theory of computable (general recursive) functions, arithmetical coding of syntax, unprovability of consistency, and undefinability of truth. The course develops these topics and reflects on their philosophical significance. Instructor