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:
Organized
117 responses
4.51
/ 5
Clear Expectations
38 responses
4.29
/ 5
Learned a Lot
116 responses
4.33
/ 5
Recommend
80 responses
4.22
/ 5
Workload
80 responses
2.54
/ 5
Fair Assessments
118 responses