essentials

Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar. Um das zu zeigen, baut man zwei verschiedene mengentheoretische Modelle, meist mit Hilfe der bahnbrechenden Beweistechnik Forcing. Am Beispiel des berühmtesten unabhängigen Satzes – der Kontinuumshypothese – erläutert dieses Buch die Grundstruktur und die wesentlichen Argumente eines Unabhängigkeitsbeweises. Anschließend bietet es Einblicke in Themen, die Mengentheoretiker:innen aktuell beschäftigen und diskutiert verschiedene philosophische Sichtweisen auf das mysteriöse Phänomen.