Hipoteza Riemanna nie przewiduje, gdzie są liczby pierwsze — kontroluje, jak bardzo ich rozmieszczenie może odchylać się od średniej
Hipoteza Riemanna, sformułowana w 1859 roku, mówi że wszystkie nietrywialne zera funkcji dzeta Riemanna mają część rzeczywistą równą 1/2. Na pierwszy rzut oka brzmi to jak problem z analizy zespolonej, ale zera funkcji dzeta są głęboko powiązane z rozmieszczeniem liczb pierwszych. Twierdzenie o liczbach pierwszych opisuje ich średnią gęstość; hipoteza Riemanna dawałaby bardzo silną kontrolę nad błędem tego przybliżenia. Według Clay Mathematics Institute problem pozostaje nierozwiązany, mimo sprawdzenia ogromnej liczby pierwszych zer numerycznie.
Funkcja o zerach sterujących liczbami pierwszymi
Riemann badał funkcję dzeta, która w pewnym obszarze może być zapisana jako suma 1+1/2^s+1/3^s+… i jest związana z iloczynem po liczbach pierwszych. To połączenie oznacza, że informacje o jej zerach przekładają się na informacje o liczbach pierwszych. Z pozoru odległa analiza funkcji zmiennej zespolonej staje się więc narzędziem badania arytmetyki.
Średnia to nie to samo co dokładność
Twierdzenie o liczbach pierwszych mówi, że liczba liczb pierwszych nie większych od x jest w przybliżeniu x/log x. Nie mówi jednak, jak duże mogą być lokalne odchylenia od tej średniej. Hipoteza Riemanna narzuca bardzo silne ograniczenia na te fluktuacje. Clay opisuje ją właśnie jako twierdzenie o odchyleniu rozmieszczenia liczb pierwszych od wartości średniej.
Biliony sprawdzonych zer nie są dowodem
Obliczenia komputerowe potwierdziły położenie ogromnej liczby początkowych zer na linii o części rzeczywistej 1/2. To zwiększa zgodność hipotezy z danymi, ale nie może rozstrzygnąć nieskończonego problemu. Ewentualne zero poza linią mogłoby pojawić się dalej niż zakres wszystkich dotychczasowych obliczeń. Matematyczny dowód musi obejmować wszystkie zera naraz.
Dlaczego tyle twierdzeń zaczyna się od „jeśli RH jest prawdziwa”
W teorii liczb udowodniono wiele wyników warunkowych: jeśli hipoteza Riemanna zachodzi, to można uzyskać znacznie ostrzejsze oszacowania rozmaitych funkcji arytmetycznych. To nie oznacza, że cała teoria liczb zależy od jednej hipotezy, ale pokazuje jej rolę jako centralnego regulatora błędów. Rozwiązanie RH nie byłoby jedynie zdobyciem nagrody; usunęłoby warunek z wielu istniejących twierdzeń albo wymusiło przebudowę oczekiwań, gdyby okazała się fałszywa.
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.