Skąd mamy pewność? Historia dowodu matematycznego

Narysuj trójkąt na piasku. Wydaje się, że jego kąty sumują się do 180 stopni. Ale skąd pewność? Rysunek może być niedokładny, a inny trójkąt wyglądać zupełnie inaczej. Jeden dobry przykład nie wystarczy. Potrzebne jest uzasadnienie działające dla każdego trójkąta na płaskiej powierzchni.

To proste pytanie prowadzi do ważnej myśli. Matematyka nie polega wyłącznie na otrzymywaniu wyników. Trzeba też pokazać, krok po kroku, dlaczego wynik jest poprawny.

Księga, która uporządkowała wiedzę

Przyjmuje się, że około 300 roku p.n.e. matematyk Euklides działał w Aleksandrii w Egipcie. O jego życiu wiemy niewiele. Jednak związane z jego imieniem Elementy przez stulecia wpływały na nauczanie matematyki.

Elementy zaczynają od podstawowych definicji i przyjętych reguł. Następnie prowadzą przez kolejne zagadnienia, opierając nowe wyniki na wcześniejszych. Nie trzeba wierzyć twierdzeniu tylko dlatego, że wypowiedział je słynny matematyk. Można prześledzić kroki i samodzielnie ocenić argument.

Według opracowania historycznego Uniwersytetu w St Andrews Euklides prawdopodobnie nie odkrył większości idei zawartych w Elementach. Jego wielkim osiągnięciem było ich jasne uporządkowanie. Postęp czasem oznacza nowe odkrycie, a czasem lepsze zrozumienie wiedzy już dostępnej.

Dowód pozwala sprawdzić twierdzenie

Jeden przykład pokazuje, że reguła działa w konkretnym przypadku. Dowód wyjaśnia, dlaczego działa we wszystkich przypadkach, których dotyczy. Ujawnia również założenia, dzięki czemu inni mogą wychwycić błąd lub zakwestionować rozumowanie.

Starożytni Grecy nie byli pierwszymi ludźmi zajmującymi się zaawansowaną matematyką. W Egipcie, Babilonii i innych kulturach wcześniej rozwijano metody pomiaru, rachunku i rozwiązywania problemów. Greckie teksty są szczególnie znane z dowodów geometrycznych prowadzonych krok po kroku. Nie oznacza to, że wcześniejszym kulturom brakowało wiedzy czy staranności.

Także reguły wyjściowe Euklidesa można było podważać. Jedna dotyczyła prostych równoległych. Po wielu stuleciach matematycy zbadali, co się stanie po jej zmianie, i opracowali inne geometrie. Nie była to porażka metody Euklidesa. Pokazywało to, dlaczego trzeba jasno określać założenia.

Dlaczego ten sposób myślenia jest przydatny

Znana osoba może się pomylić. Przekonujący mówca może nie mieć racji. W matematyce liczy się poprawność rozumowania. Dowód pozwala sprawdzić twierdzenie, objaśnić je innym i wykorzystać w następnym zadaniu.

Podobnej staranności potrzebują inżynierowie, naukowcy i programiści. Niektóre programy można sprawdzać metodami matematycznymi. Poprawne obliczenie nie gwarantuje jednak, że rzeczywista maszyna nigdy się nie zepsuje. Nadal trzeba ją testować.

Dowód mówi, co wynika z określonych założeń. Nie potwierdza, że założenia idealnie opisują świat. Do tego potrzebne są obserwacje i doświadczenia.

Co to ma wspólnego z AI?

AI korzysta z matematyki, ale nie zawsze działa jak dowód matematyczny. Wiele współczesnych systemów uczy się wzorców na dużych zbiorach danych. Mogą udzielać przydatnych odpowiedzi bez wykazania, że każda musi być poprawna. Dlatego ważne twierdzenia podawane przez AI wymagają sprawdzenia.

Euklides nie wynalazł sztucznej inteligencji. Związek jest prostszy: pokazał siłę dzielenia trudnego problemu na jasne kroki, które inni mogą skontrolować. To podejście nadal przydaje się przy projektowaniu algorytmów, pisaniu programów i ocenianiu, czy ufać maszynie.

Stąd już blisko do następnego pytania: czy urządzenie mogłoby samodzielnie wykonywać ustaloną kolejność instrukcji? Już w starożytności wynalazcy zaczynali badać taką możliwość.