Am So., 8. Jan. 2023 um 16:30 Uhr schrieb Ingo Tessmann über PhilWeb
<philweb(a)lists.philo.at>at>:
Zur Klarstellung: Cantors Kontinuumshypothese (1878) –
CH: Jede unendliche Menge reeller Zahlen ist entweder abzählbar oder von der Mächtigkeit
der Menge aller reeller Zahlen.
Gödel (1937): Die Kontinuumshypothese wird von ZFC nicht widerlegt.
Cohen (1963): Die Kontinuumshypothese wird von ZFC nicht bewiesen.
Gödel und Cohen: CH wird von ZFC nicht entschieden.
Kurze Anmerkung: Wenn ich den Namen falsch geschrieben habe, dann ist
das kein Hinweis auf eine Art persönliche Abwertung, sondern meinen
fehlerhaften Gedächtnis geschuldet.
Gödel scheint, geht aus dem Nachlass hervor, bis zu seinem Lebensende
an CH gearbeitet zu haben.