Course Link pop-ups require javascript, but without, links simply open target page as expected
Header Photo

MAT 336 Logic and Foundations (3 credits)

Cantorian set theory and the crisis in foundations (Cantor’s paradox, Russell’s paradox); the intuitionist challenge and the formalist response; formal logic and metamathematics (Propositional Calculus, Predicate Calculus, formal number theory); Goedel’s incompleteness theorems of 1931.

Prerequisite: MAT 162.