Advanced Logic and Computability
Metalogic, incompleteness and the limits of computation.
PHIL-420 Year 4 3 credits 5 lessons planned
Offered by HSM University · Philosophy
Course content
- 1Soundness and completenessComing
- 2Set theoryComing
- 3ComputabilityComing
- 4Gödel's theoremsComing
- 5Modal logicComing
Requirements
Recommended background. You can start any course at any time.
Description
Metalogic, incompleteness and the limits of computation.
Part of the Arts & Social Sciences stream, typically taken in year 4.