Miliony sprawdzonych przypadków hipotezy Goldbacha nie zastępują jednego dowodu dla wszystkich liczb
Silna hipoteza Goldbacha mówi, że każda parzysta liczba całkowita większa od 2 jest sumą dwóch liczb pierwszych. Komputery potwierdziły ją dla ogromnych zakresów, a teoria liczb zna bardzo mocne wyniki częściowe, lecz ogólny dowód nadal nie jest znany. Co ciekawe, słabszy wariant — że każda nieparzysta liczba większa od 5 jest sumą trzech liczb pierwszych — został udowodniony przez Haralda Helfgotta. To świetny przykład różnicy między „sprawdziliśmy niewyobrażalnie dużo przykładów”, „udowodniliśmy bliski wariant” i „mamy pełny dowód pierwotnego twierdzenia”.
Hipoteza jest banalnie łatwa do testowania dla konkretnej liczby
Dla danej parzystej liczby można po prostu szukać par liczb pierwszych, których suma daje wymagany wynik. Dla 100 mamy na przykład 47+53. Komputer może powtarzać takie testy dla bardzo dużych zakresów. Problem matematyczny nie dotyczy jednak skończonego katalogu liczb, lecz nieskończonego zbioru wszystkich parzystych liczb.
Sprawdzenie do ogromnej granicy wciąż zostawia nieskończenie wiele liczb
To jedna z najbardziej zdradliwych cech problemów nieskończonych. Nawet jeśli hipoteza działa dla miliardów, trylionów czy znacznie większych liczb, pierwszy kontrprzykład — jeśli istnieje — mógłby leżeć dalej. Obliczenia zwiększają wiarygodność empiryczną i pomagają testować idee, ale logicznie nie zamykają pytania.
Słaba hipoteza Goldbacha została rozwiązana
Wariant trójkowy mówi, że każda nieparzysta liczba większa od 5 jest sumą trzech liczb pierwszych. Harald Helfgott ukończył dowód tego twierdzenia w 2013 roku, rozwijając metody analitycznej teorii liczb. To pokazuje, że bardzo bliskie sformułowania mogą mieć zupełnie inny status: trzy składniki są dziś twierdzeniem, dwa nadal hipotezą.
Wyniki częściowe bywają bardzo silne, ale nie równoważne
Teoria liczb zna wiele twierdzeń pokazujących, że reprezentacje Goldbachowskie zachodzą dla ogromnej większości liczb albo przy dodatkowych warunkach. Takie wyniki często wymagają wyrafinowanych metod analitycznych. Nadal jednak pozostaje luka między „prawie zawsze” a „zawsze”, a w matematyce właśnie ten pojedynczy kwantyfikator nad wszystkimi liczbami jest sednem problemu.
Jaki rodzaj granicy tu widzimy?
Ten przykład warto czytać bardzo precyzyjnie. W matematyce „nie ma rozwiązania” może oznaczać kilka zupełnie różnych sytuacji: problem może być nadal otwarty, może istnieć dowód niemożliwości przy zadanych regułach, może nie istnieć uniwersalny algorytm, albo dane zdanie może być niezależne od wybranego systemu aksjomatów. Te przypadki nie są zamienne. Siła matematycznego wyniku bierze się właśnie z dokładnego określenia warunków: dowód nie mówi ogólnie, że „człowiek tego nie potrafi”, lecz wskazuje, czego nie można uzyskać przy konkretnych założeniach. To odróżnia granicę matematycznej wiedzy od zwykłego braku pomysłu.
Co w problemie otwartym naprawdę znaczy „postęp”
Brak pełnego dowodu nie oznacza braku wiedzy. Matematycy mogą udowadniać przypadki szczególne, twierdzenia warunkowe, granice asymptotyczne, wyniki statystyczne albo redukcje pokazujące, gdzie dokładnie skupia się trudność. Taki postęp potrafi całkowicie zmienić obraz problemu, nawet jeśli nagłówek nadal brzmi „nierozwiązany”. Ważne jest jednak zachowanie logicznej hierarchii: wynik prawdziwy dla prawie wszystkich przypadków, dla ogromnego skończonego zakresu lub przy dodatkowej hipotezie nie staje się przez to dowodem wersji uniwersalnej.
Dlaczego eksperyment numeryczny ma inną rolę niż dowód
Obliczenia są w nowoczesnej matematyce niezwykle ważne: pomagają znajdować wzorce, eliminować fałszywe hipotezy, testować granice i sugerować właściwe twierdzenia. Dla zdania obejmującego nieskończenie wiele obiektów nawet niewyobrażalnie długi skończony test pozostaje jednak logicznie czymś innym niż dowód. Wyjątkiem są sytuacje, gdy wcześniej udowodniono, że wystarczy sprawdzić skończoną listę przypadków. Bez takiej redukcji komputer może dostarczać bardzo mocnego świadectwa, ale nie zamyka nieskończonego pytania.