Prerequisites: PHIL 125 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
Description: ).
Prerequisites: PHIL 125 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
Description: ).