|Module code||WTW 724|
|Faculty||Faculty of Natural and Agricultural Sciences|
Axiomatic set theory, ordinals, transfinite induction and recursion, ordinal arithmetic, the axiom of choice, cardinal arithmetic, the continuum hypothesis. Propositional and first order logic. The completeness and compactness theorems. Decidability, Gödel’s incompleteness theorems.
|Contact time||1 lecture per week|
|Language of tuition||Module is presented in English|
|Department||Mathematics and Applied Mathematics|
|Period of presentation||Semester 1|
Copyright © University of Pretoria 2023. All rights reserved.
COVID-19 Corona Virus South African Resource Portal
To contact the University during the COVID-19 lockdown, please send an email to [email protected]
Get Social With Us
Download the UP Mobile App