Prawdopodobnie słyszałeś legendę o wynalazcy szachów, który za swój wynalazek zażądał zapłaty w ziarnach ryżu ułożonych na polach szachownicy – za każdym razem podwajając ich liczbę. Król, przerażony skalą wyniku, kazał go zgładzić. To klasyczna opowieść o potędze wzrostu wykładniczego, ale muszę Ci powiedzieć, że w świecie matematyki to zaledwie „rozgrzewka”.
Ostatnio natrafiłem na badania dotyczące procesów, które rosną tak niewyobrażalnie szybko, że wspomniane 18 trylionów ziaren ryżu z szachownicy staje się przy nich niemal zerem. Co więcej, te liczby nie są tylko ciekawostką – one łamią teoretyczne ograniczenia prędkości naszych standardowych systemów matematycznych. Jeśli kiedykolwiek zastanawiałeś się, gdzie leży granica logiki, właśnie tam.
Dlaczego proste zasady przestają wystarczać?
Wszystko zaczęło się w XIX wieku, gdy matematycy tacy jak Giuseppe Peano próbowali ustalić fundamenty arytmetyki. Ich system opierał się na „sukcesji” – procesie przejścia od 1 do 2, od 2 do 3 i tak dalej. To prosty przepis, który zbudował wszystko, co znamy, od dodawania po skomplikowaną fizykę. Jednak Kurt Gödel w 1931 roku udowodnił, że żaden zestaw reguł nie będzie kompletny. Zawsze znajdą się prawdy, których nie da się wyprowadzić z podstawowych aksjomatów.
Długo uważano, że te braki dotyczą tylko ezoterycznych łamigłówek logicznych, a nie świata rzeczywistego. Ale ostatnio zauważyliśmy, że arytmetyka ma swój „limit prędkości”, a niektóre ciągi liczb – tzw. ciągi Goodsteina – zaczęły ten limit przekraczać.
Ciąg Goodsteina: wyścig w nieznane
Ciąg Goodsteina wydaje się prosty: bierzesz liczbę, zapisujesz ją w określony sposób, potem zamieniasz cyfry na większe i odejmujesz jeden. Zaskakujące jest to, że mimo ogromnego wzrostu, każda taka sekwencja ostatecznie… spada do zera. Problem polega na tym, jak długo to zajmuje.
Wartości w tych ciągach są tak potężne, że nawet Donald Knuth, wybitny matematyk, opisywał je jako „niepojęte”. Oto kilka faktów, które warto przyswoić:
- Już szósty krok w tzw. metasekwencji Goodsteina generuje liczbę, której nie da się zapisać używając znanych nam wież potęgowych.
- Wysokość „wieży” liczb potrzebnej do zapisu wyniku przewyższa czas istnienia całego wszechświata.
- Te procesy wymagają wyjścia poza standardowe aksjomaty Peano, by w ogóle dowieść, że kiedykolwiek zakończą się sukcesem.
Dlaczego to w ogóle nas obchodzi?
Możesz pomyśleć: „Co mnie obchodzą jakieś abstrakcyjne zbiory liczb?”. Odpowiedź przynosi matematyka zwana reverse mathematics. Okazuje się, że to podejście pomaga nam zrozumieć skomplikowane sieci – od molekuł w chemii po infrastrukturę sieci internetowej.
Badania nad tzw. twierdzeniem o minorach grafów pokazały, że dowodzenie prostych z punktu widzenia budowy wykresów właściwości wymagało sięgnięcia do potężniejszych systemów logicznych. To nie jest już tylko arytmetyka – to „matematyczny statek kosmiczny”, który wyrywa się poza zwykłe definicje liczb.
W mojej praktyce często obserwuję, jak ludzie próbują zrozumieć świat, bazując na intuicji „liniowej”. Tymczasem rzeczywistość – zarówno w matematyce, jak i w technologiach AI – często operuje na poziomach złożoności, których nie da się sprowadzić do prostego równania. Często granica między prostotą a chaosem jest cieńsza, niż nam się wydaje.
Czy zastanawiałeś się kiedyś, czy w świecie, w którym komputery coraz szybciej rozwiązują dowody matematyczne, intuicja ludzka nadal wystarcza, by nadążyć za logiką wszechświata? Zapraszam do dyskusji w komentarzach.
