Universität Wien

250082 VO Ausgewählte Kapitel aus der Mathematischen Logik (2014W)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

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 Truth

This 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