Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Bölcsészettudományi Kar
- Szervezet
- BTK Filozófia Intézet
- Kód
- BMI-LOTD17-204E.01
- Cím
- Metaelmélet 2.: Halmazelmélet
- Tervezett félév
- Őszi
- Meghirdetve
- 2024/25/1
- ECTS
- 4
- Nyelv
- en
- Oktatás célja
- Tantárgy tartalma
- General aim of the course: The course assumes some familiarity with the basic concepts and methods of standard first-order logic. Content of the course: The course provides a philosophical introduction to set theory. The lectures will cover the following topics: informal introduction to Cantor's paradise; naive set thory as a formal system: the classical paradoxes; the axioms of Gödel-Bernays set theory; a reconstruction of the natural numbers; well-ordered classes; ordinal numbers; the axiom of choice; cardinal numbers; finitization of the axiom system; Gödel's constructible universe. The topics may change during the course, in accordance with student demand. Grading criteria, specific requirements: TBA Required reading: · Lecture notes (Last updated at December 11.) · Smullyan, R.and Fitting, M., Set Theory and the Continuum Problem. Oxford UP, 1996. Mendelson, E., Introduction to Mathematical logic. 4th ed. Springer, 1997.