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

BMA-LOTD17-204.02

Cím

Metaelmélet 2.: Halmazelmélet

Tervezett félév

Őszi

Meghirdetve

2025/26/1

ECTS

4

Nyelv

en

Oktatás célja

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.

Tantárgy tartalma

Kurzus szakjai