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
138 responses
4.51
/ 5
Clear Expectations
59 responses
4.42
/ 5
Learned a Lot
137 responses
4.32
/ 5
Recommend
80 responses
4.22
/ 5
Workload
80 responses
2.54
/ 5
Fair Assessments
139 responses