„Nikt nas nie wypędzi z raju, który stworzył nam Cantor" - Hilbert
David Hilbert, 1925
„Z raju, który stworzył nam Cantor, nikt nie zdoła nas wypędzić.”
(niem. Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.)
Kto to powiedział
David Hilbert (1862-1943) - najbardziej wpływowy matematyk przełomu XIX i XX wieku, twórca getyńskiej szkoły, która przyciągała talenty z całego świata. To on na kongresie w Paryżu w 1900 roku ogłosił listę 23 problemów, wyznaczających matematyce program na całe stulecie, i on ukuł dewizę „Wir müssen wissen - wir werden wissen” („musimy wiedzieć - będziemy wiedzieć”), wyrytą później na jego nagrobku.
Jak było naprawdę
Zdanie o raju nie jest luźnym bon motem - pochodzi z wykładu „O nieskończoności”, wygłoszonego w Münsterze w 1925 roku i opublikowanego rok później. Był to głos w najgorętszym sporze epoki, tzw. Grundlagenstreit - wojnie o podstawy matematyki.
Teoria mnogości Cantora, z nieskończonościami różnych rozmiarów, najpierw przetrwała ataki Kroneckera, a potem zachwiała się od środka: paradoks Russella pokazał, że beztroskie operowanie „zbiorem wszystkich zbiorów” prowadzi do sprzeczności. Na tej fali Brouwer i intuicjoniści zażądali amputacji: wyrzućmy z matematyki nieskończoność aktualną i dowody niekonstruktywne. Dla Hilberta oznaczałoby to spustoszenie - jak mówił przy innej okazji, odebranie matematykom dowodów nie wprost byłoby „jak odebranie astronomom teleskopu, a bokserom pięści”.
Wykład z 1925 roku był kontrofensywą. Hilbert oddał w nim hołd Cantorowi - nazywając jego dzieło „najwspanialszym kwiatem matematycznego ducha” - i ogłosił program ratunkowy: sformalizować całą matematykę i udowodnić jej niesprzeczność środkami skończonymi, ponad wszelką wątpliwość. Raj miał zostać nie tylko obroniony, ale i ufortyfikowany.
Z tego samego kręgu wykładów pochodzi najsłynniejsza ilustracja raju: hotel Hilberta o nieskończenie wielu pokojach, który - choć pełny - zawsze przyjmie nowego gościa (wystarczy przesunąć każdego o jeden pokój dalej), a nawet nieskończenie wielu (każdy przechodzi do pokoju o numerze dwa razy większym).
Czy na pewno tak powiedział?
Tu odpowiedź jest wyjątkowa na tle całego naszego cyklu: tak, co do słowa. Zdanie stoi w tekście, który Hilbert sam napisał i opublikował (Über das Unendliche, „Mathematische Annalen” 95, 1926, s. 170). Żadnych świadków z drugiej ręki, żadnych przekazów po wiekach - rzadki luksus przy słynnych cytatach.
Za to finał historii przewrotnie skorygował sam los. Sześć lat po wykładzie Kurt Gödel udowodnił, że programu Hilberta w pierwotnej postaci nie da się wykonać: żaden dostatecznie bogaty system nie udowodni własnej niesprzeczności. Mur, którym Hilbert chciał otoczyć raj, okazał się niemożliwy do zbudowania - ale sam raj przetrwał: teoria mnogości jest dziś standardowym fundamentem matematyki, a z Cantorowskich nieskończoności korzysta każdy podręcznik analizy.
Matematyka za tą historią
Czym właściwie jest ten raj? Odkryciem, że nieskończoności mają rozmiary: liczb rzeczywistych jest istotnie więcej niż naturalnych, a nad każdą nieskończonością piętrzy się większa - bez końca. Pełny dowód i konsekwencje: twierdzenie Cantora i metoda przekątniowa oraz przegląd twierdzeń Cantora.
Trylogię cytatów tej wojny warto czytać w kolejności: Kronecker wyklina wszystko poza liczbami całkowitymi, Hilbert broni raju, a puentę dopisuje Gödel - twierdzeniem, nie aforyzmem. To chyba jedyny spór filozoficzny, którego rozstrzygnięcie ma postać dowodu matematycznego.
