Undergraduate Catalog 2021-2022

PHL 321 Mathematical Logic(RLA)

(Also MTH 350). 4 hours; 4 credits. The calculus of propositions. Existential and universal quantifiers. Turing machines and computability theory. Non-computable functions. The decision problem for arithmetic. Axiomatizing arithmetic. The Godel Incompleteness theorem. Prerequisite: MTH 233 or 236.

Credits

4

Cross Listed Courses

MTH 350