Hipotezy continuum nie da się rozstrzygnąć z samych standardowych aksjomatów ZFC
Hipoteza continuum pyta, czy istnieje kardynalność ściśle pomiędzy mocą liczb naturalnych a mocą liczb rzeczywistych. Gödel pokazał, że jeśli ZFC jest niesprzeczne, to ZFC razem z hipotezą continuum również może być niesprzeczne. Cohen wykazał później analogicznie, że jeśli ZFC jest niesprzeczne, to niesprzeczne może być także ZFC z negacją hipotezy continuum. Razem daje to niezależność CH od ZFC: standardowe aksjomaty teorii mnogości nie potrafią jej ani udowodnić, ani obalić, przy założeniu ich własnej niesprzeczności.
Pytanie między dwiema nieskończonościami
Cantor wiedział, że liczby naturalne mają najmniejszą nieskończoną kardynalność alef-zero, a liczby rzeczywiste mają większą moc continuum. Naturalne pytanie brzmiało: czy istnieje zbiór, którego kardynalność leży ściśle pomiędzy tymi dwoma rozmiarami? Hipoteza continuum, CH, odpowiada „nie”. W języku kardynałów stwierdza, że continuum jest następną kardynalnością po alef-zero. Cantor nie zdołał tego dowieść ani obalić, a Hilbert umieścił problem na pierwszym miejscu swojej słynnej listy problemów z 1900 roku.
Co osiągnął Gödel
W latach 30. XX wieku Kurt Gödel skonstruował model wewnętrzny teorii mnogości, tzw. uniwersum konstruowalne L. Pokazał w nim, że jeśli aksjomaty ZFC są niesprzeczne, to dodanie CH — a nawet uogólnionej hipotezy continuum — nie prowadzi do sprzeczności. To nie był dowód, że CH jest prawdziwa. Był to rezultat względnej niesprzeczności: standardowe aksjomaty nie mogą obalić CH, o ile same są niesprzeczne.
Co dołożył Cohen
W 1963 roku Paul Cohen opracował metodę forcingu i uzyskał komplementarny wynik. Jeśli ZFC jest niesprzeczne, można zbudować model ZFC, w którym CH jest fałszywa. ZFC nie może więc również udowodnić hipotezy continuum. Połączenie wyników Gödla i Cohena oznacza niezależność: w ramach ZFC nie istnieje dowód CH ani jej negacji, zakładając niesprzeczność systemu.
Niezależność nie znaczy „wszystko jedno”
Łatwo zinterpretować rezultat zbyt szeroko. Nie oznacza on, że matematycy wykazali jednocześnie prawdziwość i fałszywość CH ani że logika pozwala na dowolne odpowiedzi. Chodzi o relację między zdaniem a konkretnym systemem aksjomatów. Istnieją modele ZFC spełniające CH i modele ZFC spełniające ¬CH. Aby rozstrzygnąć problem w jednym kierunku, trzeba przyjąć dodatkowe zasady wykraczające poza ZFC, a wybór i uzasadnienie takich aksjomatów jest osobnym zagadnieniem fundamentów matematyki.
Dlaczego to było przełomowe
Przez dziesięciolecia brak rozwiązania mógł wyglądać jak zwykły brak odpowiednio pomysłowego dowodu. Niezależność pokazała coś znacznie głębszego: bariera tkwi w samym zestawie aksjomatów. To zmieniło charakter teorii mnogości. Zamiast szukać wyłącznie dowodów poszczególnych twierdzeń, matematycy zaczęli systematycznie badać, które zdania są rozstrzygalne w danych teoriach i jak różne dodatkowe aksjomaty kształtują „uniwersum zbiorów”.
Nieskończoność i granice formalizacji
CH jest szczególnie efektowna, bo pytanie brzmi elementarnie: czy pomiędzy dwoma znanymi rozmiarami nieskończoności istnieje trzeci? Odpowiedź w ZFC okazuje się niedostępna. To nie jest paradoks polegający na sprzeczności, lecz przykład niezależności. Uczy, że nawet po precyzyjnym zdefiniowaniu różnych nieskończoności nie wszystkie naturalne pytania o ich relacje muszą być rozstrzygane przez standardowy fundament, na którym formalizuje się ogromną część współczesnej matematyki.
Co właściwie znaczy „niezależna od ZFC”
Niezależność jest twierdzeniem o systemie formalnym, a nie deklaracją, że matematycy nie potrafili jeszcze znaleźć wystarczająco sprytnego dowodu. W uproszczeniu: jeśli ZFC jest niesprzeczne, to istnieją modele spełniające ZFC, w których hipoteza continuum jest prawdziwa, oraz modele spełniające ZFC, w których jest fałszywa. Z tego wynika, że z samych aksjomatów ZFC nie można wyprowadzić ani CH, ani jej zaprzeczenia. Można oczywiście rozważać dodatkowe aksjomaty, które rozstrzygają tę kwestię. Wtedy dyskusja przesuwa się z pytania „jaki jest dowód w ZFC?” na pytanie, jakie dodatkowe zasady najlepiej opisują teorię zbiorów, którą chcemy badać. Trzeba też uważać na słowo „dowód”. Gödel i Cohen nie wykazali po prostu, że CH jest „ani prawdziwa, ani fałszywa”. Ich wyniki mają charakter względnej niesprzeczności: jeśli ZFC jest niesprzeczne, to dołączenie CH nie prowadzi do sprzeczności, a jeśli ZFC jest niesprzeczne, również dołączenie ¬CH może być niesprzeczne. Razem daje to niezależność CH od ZFC, przy założeniu niesprzeczności systemu bazowego. To subtelność, ale kluczowa dla uczciwego opisu. Niezależność nie usuwa treści pytania o continuum; pokazuje, że odpowiedź zależy od tego, jakie aksjomaty ponad ZFC zdecydujemy się przyjąć. W standardowym zapisie CH mówi po prostu, że 2^{ℵ₀}=ℵ₁: continuum miałoby być najmniejszą nieprzeliczalną kardynalnością.