Seminar: Set Theory and the Continuum Hypothesis, WS 2018/19
Dr. Holger Leuz (Institut für Philosophie)
Prof. Dr. Clara Löh
Die Materialien von Johannes Witzig zu Vortrag 12 sind online (s.u.)
Ab der zweiten Vorlesungswoche beginnt/endet das Seminar um 12:15/13:45!
Bitte schicken Sie Ihre Ausarbeitungen sowohl an Holger Leuz als auch an
Da alle Teilnehmer Deutsch sprechen, dürfen die Vorträge auf Deutsch
gehalten werden; auch die Ausarbeitungen/Handouts dürfen auf Deutsch erstellt
Notes on background logic (H. Leuz).
The Templates for reports/handouts are online (see below);
of course, you can also produce the report/handout by other means.
The schedule is now available.
The organisational meeting for this seminar will be on Friday, July 6, at 13:00
(M 201). Alternatively, you can register for this seminar by sending an email
to firstname.lastname@example.org .
The talks are distributed and all registered participants should have received an email.
This seminar will be held in English. The written report
can be in English or German. The handouts should be in English.
Seminar: Set Theory and the Continuum Hypothesis
The classical foundation of Mathematics consists of Logic and Set Theory. A popular formalisation of Set Theory is through the Zermelo-Fraenkel axioms (and the Axiom of Choice).
An innocent-looking assumption about basic set theory is that
there is no set whose cardinality is strictly between the cardinality of the natural numbers and the real numbers (Continuum Hypothesis). In the early days of Set Theory, it was one of the fundamental open problems to
determine whether the Continuum Hypothesis holds or not -- in fact, this is the first of the list of Hilbert's problems from 1900.
Surprisingly, it turns out that the Continuum Hypothesis (CH) is independent from ZFC, i.e., that one can neither prove nor disprove the Continuum Hypothesis from ZFC (!). Gödel proved in 1940 that CH cannot be disproved from ZFC; Cohen established in 1963 that CH also cannot be proved from ZFC (thus winning the Fields Medal in 1966).
In this seminar, we will develop the basics of Set Theory needed to properly formalise and prove these results. This result is also important for the epistemology of mathematics as it shows us certain limits for the classical foundation of
mathematics and for the axiomatic method in general.
Mondays, 12:15 -- 13:45, M 103
None (except some maturity with formal reasoning).
This seminar is suitable for Bachelor/Master students and
Lehramtsstudenten with an interest in set theory and foundations of mathematics, and could be the
starting point for a project under my supervision (e.g., bachelor
or master thesis).
See the commented list of courses.
Last Change: January 16, 2018.