250082 VO Ausgewählte Kapitel aus der Mathematischen Logik (2014W)
Labels
Details
Sprache: Englisch
Prüfungstermine
Lehrende
Termine
Di, Do 14:00-15:00
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
The Philosphy and Mathematics of Set-Theoretic TruthThis will be a course devoted to the approach to Set-Theoretic Truth given by the Hyperuniverse Programme. I'll begin with a discussion of the Iterative Conception as well as the Potentialism vs. Actualism debate in our understanding of structure of the set-theoretic universe. Then after touching on various Multiverse Conceptions I'll focus in detail on the Hyperuniverse Programme: Mental pictures and Maximality, the Reduction to the Hyperuniverse, H-Axioms, the IMH and its variants, #-Generation and the Synthesis of Mathematical Criteria. The optimistic aim of the Programme is to discover new first-order consequences of the Maximality feature of the Universe of Sets which resolve fundamental problems in Set Theory such as the Continuum Problem.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Zuordnung im Vorlesungsverzeichnis
MLOV
Letzte Änderung: Mi 19.08.2020 08:05