Matematyka jest często postrzegana jako zimna, abstrakcyjna dziedzina liczb, odległa od ludzkiego doświadczenia. Jak jednak pokazuje Simon Singh w swojej przełomowej książce Ostatnie twierdzenie Fermata z 1997 r., poszukiwanie dowodów matematycznych to głęboko ludzka saga, pełna obsesji, tragedii, tajnych stowarzyszeń i ostatecznie triumfu.
Prawie trzydzieści lat po publikacji praca Singha pozostaje definiującym badaniem tego, co to znaczy szukać prawdy absolutnej za pomocą logiki.
Siła absolutnego dowodu
Historia nie zaczyna się od skomplikowanych równań, ale od podstawowej koncepcji dowodu matematycznego. Aby zilustrować tę różnicę, Syng zwraca się do Pitagorasa. Chociaż wiele cywilizacji pracowało z trójkątami, Pitagoras spowodował rewolucję, ponieważ nie polegał na próbach i błędach; użył niepodważalnej logiki, aby udowodnić, że jego twierdzenie ($x^2 + y^2 = z^2$) jest prawdziwe dla każdego trójkąta prostokątnego.
To rozróżnienie jest niezwykle ważne: w nauce teorie można aktualizować w miarę pojawiania się nowych danych, ale w matematyce udowodnione twierdzenie jest wieczną prawdą. To właśnie pragnienie „wiedzy absolutnej” napędza matematyków przedstawionych w narracji Singha.
„Marginalna” tajemnica Fermata
Główny dramat koncentruje się wokół Pierre’a de Fermata, francuskiego sędziego i genialnego matematyka XVII wieku. Wiadomo, że Fermat rozważał równanie Pitagorasa. Zasugerował, że jeśli równanie $x^2 + y^2 = z^2$ ma nieskończoną liczbę rozwiązań całkowitych, to dla żadnego wyższego stopnia równanie to nie działa. Innymi słowy:
Jeśli $n > 2$, to równanie $x^n + y^n = z^n$ nie ma rozwiązań w liczbach całkowitych.
W 1637 roku Fermat zapisał na marginesie książki, że znalazł „naprawdę wspaniały” dowód, ale dodał (co stało się legendą), że marginesy są zbyt wąskie, aby je pomieścić. To odważne, bezpodstawne twierdzenie wywołało 350-letnią intelektualną obsesję, która pozostawiła pokolenia matematyków w pogoni za duchem.
Galeria matematycznych tragedii i triumfów
Synge tchnął życie w historię matematyki, opisując błyskotliwych, ale często pełnych wad ludzi, którzy znaleźli się w cieniu Fermata:
- Sophie Germain: pionierka, która musiała pracować pod męskim pseudonimem, aby wnieść swój wkład w naukę.
- Evariste Galois: rewolucjonista, którego życie zostało przerwane w pojedynku, pozostawiając po sobie nowatorskie dzieła.
- Yutaka Taniyama: matematyk, którego pomysły położyły podwaliny pod przyszłe rozwiązanie, ale niestety popełnił samobójstwo.
Punkt kulminacyjny książki poświęcony jest Andrew Wilesowi, matematykowi, który w końcu „złamał kod” w 1994 roku. Wiles osiągnął to poprzez zbudowanie logicznego pomostu pomiędzy dwiema pozornie niezwiązanymi ze sobą dziedzinami: krzywymi eliptycznymi i formami modułowymi. To połączenie nie było tylko rozwiązaniem jednego problemu; potwierdziło znacznie szerszą wizję matematyczną.
Wielki projekt: program Langlandsa
Znaczenie dowodu Wilesa wykracza daleko poza konkretne przypuszczenia Fermata. Dostarczyło wczesnych dowodów na poparcie Programu Langlands, wielkiej wizji architektonicznej w matematyce zaproponowanej przez Roberta Langlandsa w 1967 roku.
Program Langlandsa zakłada, że wszystkie odrębne gałęzie matematyki są ze sobą głęboko powiązane. Teoria głosi, że znajdując takie „mosty”, możliwe jest rozwiązanie problemu, który w jednym obszarze wydaje się niemożliwy do rozwiązania, przy użyciu specjalistycznych narzędzi w innym. Sukces Wilesa udowodnił, że te powiązania są realne, torując drogę współczesnym przełomom, takim jak postęp w analizie harmonicznej, jaki nastąpił w roku 2024.
Wniosek
Ostatnie Twierdzenie Fermata to nie tylko historia jednego równania; jest dowodem pragnienia człowieka zrozumienia podstawowej struktury rzeczywistości. Traktując dowody matematyczne jak dzieła sztuki, Singh pokazuje, że poszukiwanie logiki jest z natury głębokim i pięknym ludzkim przedsięwzięciem.
