MAT 2362 Foundations of Mathematics
3 units
Mathematics
Faculty of Science
Review of propositional logic, informal set theory and proofs techniques. Paradoxes, introduction to axiomatic set theory and the encoding of mathematics. Ordinals, ordinal arithmetic. Axiom of choice, well-ordering principle and Zorn’s lemma. Cardinals and cardinality of sets, Cantor-Schröder-Bernstein theorem, Cantor's diagonal argument, continuum hypothesis. Introduction to recursive functions and recursive sets.
Components:
Discussion Group
Lecture
Previously Offered Terms:
Fall
French Equivalent:
All Professors
C+ Average (4.681)
Most Common: A+ (12%)
276 students
F
D
C
B
A-
A+