2017-18 Catalog

Search Results

MATH 303 (PHIL 303) Mathematical Logic 3-4 Credits

Detailed proofs are given for the basic mathematical results relating the syntax and semantics of firstorder logic (predicate logic): the Soundness and Completeness (and Compactness) Theorems, followed by a brief exposition of the celebrated limitative results of Gödel, Turing, and Church on incompleteness and undecidability. The material is conceptually rigorous and mathematically mature; the necessary background is a certain degree of mathematical sophistication or a basic knowledge of symbolic logic. Consent of instructor required.
Attribute/Distribution: MA

PHIL 303 (MATH 303) Mathematical Logic 3,4 Credits

Detailed proofs for the basic mathematical results relating the syntax and semantics of first-order logic (predicate logic): the Soundness and Completeness (and Compactness) Theorems, followed by a brief exposition of the celebrated limitative results of Gödel, Turing, and Church on incompleteness and undecidability. The material is conceptually rigorous and mathematically mature; the necessary background is a certain degree of mathematical sophistication or a basic knowledge of symbolic logic. Consent of instructor required.
Prerequisites: (PHIL 114)
Attribute/Distribution: MA