Prerequisites: PHIL 125
Description: Advanced metatheory of first-order logic, leading to a discussion of some of the important incompleteness, undecidability and non-expressability results of twentieth-century logic (Godel, Church, Turing, etc.).
Prerequisites: PHIL 125
Description: Advanced metatheory of first-order logic, leading to a discussion of some of the important incompleteness, undecidability and non-expressability results of twentieth-century logic (Godel, Church, Turing, etc.).