Undergraduate Catalog 2013-2014
MTH 350 Mathematical Logic
(Also PHL 321)
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 Gödel Incompleteness theorem.
Up one level
Click arrowheads to expand or collapse contents