MATH3010
Logic and Set Theory
10 Units
Not available in 2014
Previously offered in 2013, 2008, 2006, 2004
Examines the logical foundations of concepts used throughout mathematics, such as order and equivalence relations, number and continuity. The use of infinity in mathematical arguments is investigated and implicit assumptions about infinite sets are exposed. Notions of infinity are formulated precisely and it is shown how infinite sets may be counted and compared in size. It is seen that, even in something as basic as set theory, 'truth' is not absolute.
| Objectives | Students will 1.learn about the logical foundations of such mathematical concepts as number, continuity and set 2.gain an appreciation of the usefulness and limitations of the development of theories from axioms 3.understand the concept of infinity and its role in mathematics. |
||||||
|---|---|---|---|---|---|---|---|
| Content | 1. the need for a rigorous treatment of the infinite in mathematics 2. the Zermelo-Fraenkel Axioms 3. order 4. ordinal and cardinal numbers 5. transfinite induction 6. the Axiom of Choice 7. the Continuum Hypothesis. |
||||||
| Replacing Course(s) | n/a | ||||||
| Transition | n/a | ||||||
| Industrial Experience | 0 | ||||||
| Assumed Knowledge | MATH2320 or MATH2330 | ||||||
| Modes of Delivery | Internal Mode | ||||||
| Teaching Methods | Lecture | ||||||
| Assessment Items |
|
||||||
| Contact Hours | Lecture: for 3 hour(s) per Week for Full Term |