Principia Mathematica - Whitehead i Russell: fundamenty logiki i matematyki
Principia Mathematica — Whitehead i Russell: historia, idee i wpływ na logikę i fundamenty matematyki; od aksjomatów po konsekwencje twierdzenia Gödela.
Książka Isaaca Newtona zawierająca podstawowe prawa fizyki znajduje się w Philosophiæ Naturalis Principia Mathematica.
Pamiętam jak Bertrand Russell opowiadał mi o strasznym śnie. Był na ostatnim piętrze Biblioteki Uniwersyteckiej, około 2100 roku. Asystent biblioteki chodził po półkach niosąc ogromne wiadro, rozbierał książki, patrzył na nie, przywracał je na półki lub wrzucał do wiadra. W końcu dotarł do trzech dużych tomów, które Russell mógł uznać za ostatni zachowany egzemplarz Principia Mathematica. Zdjął jeden z tomów, przewrócił na kilka stron, przez chwilę wydawał się zdziwiony ciekawą symboliką, zamknął tom, wyważył go w ręku i wahał się ....
Hardy, G. H. (2004) [1940]. A Mathematician's Apology. Cambridge: University Press. s. 83. JESTBN 978-0-521-42706-7.
Principia Mathematica to trzytomowa praca na temat podstaw matematyki autorstwa Alfreda Northa Whiteheada i Bertranda Russella. Została ona wydana w latach 1910, 1912 i 1913. W 1927 roku ukazało się drugie wydanie zawierające ważne Wprowadzenie do drugiego wydania oraz dodatkowe notatki i poprawki. Dzieło bywa skracane do oznaczenia PM i od początku wywołało szerokie zainteresowanie ze względu na ambicję: zredukować całą znaną matematykę do niewielkiego zestawu aksjomatów i reguł wnioskowania.
Cel i zakres pracy
Głównym celem Principia Mathematica było wykazanie, że logika symboliczna może posłużyć jako fundament matematyki. Autorzy dążyli do sformułowania formalnego systemu — zbioru aksjomatów i reguł wnioskowania — z którego dałoby się w zasadzie dedukować wszystkie prawdy matematyczne. Projekt ten miał charakter dogłębnej rekonstrukcji: Russell i Whitehead chcieli pokazać, że pojęcia arytmetyki, teorii mnogości i analizy matematycznej można zdefiniować i uzasadnić logicznie.
Główne idee i rozwiązania
- Logika symboliczna — autorzy rozwijali rozbudowany system symboliczny, znacznie odmienny od ówczesnych notacji matematycznych, służący precyzyjnemu zapisie formuł logicznych i dowodów.
- Teoria typów — aby uniknąć paradoksów (w tym paradoksu Russella), wprowadzili tzw. zapasowaną lub radiantną teorię typów, która ograniczała sposób, w jaki klasy i funkcje mogą odnosić się do siebie nawzajem.
- Aksjomaty i zasady wnioskowania — PM formułowało dokładny zestaw aksjomatów logicznych oraz reguł syntaktycznych, z których konstruowano kolejne twierdzenia.
- Aksjomat redukcji — by ukończyć rozwinięcia wynikające z teorii typów, autorzy wprowadzili aksjomat redukcji, który miał przywrócić użyteczność systemu kosztem pewnej naturalności filozoficznej; ta decyzja stała się przedmiotem późniejszych debat.
- Wpływ Fregego — jednym z inspiratorów projektu była wcześniejsza praca Gottloba Frege'a, zwłaszcza jego próby formalizacji arytmetyki; Russell i Whitehead rozwijali te idee, ale wprowadzili własne rozwiązania, w tym teorię typów.
Struktura i zawartość tomów
Praca jest rozległa i techniczna; w skrócie obejmuje:
- rozbudowaną notację i teorię dowodu formalnego,
- analizę klasycznych pojęć logiki i teorii mnogości,
- definicje liczb kardynalnych i porządkowych oraz analizy związanej z arytmetyką,
- konstrukcje pojęć związanych z analizą matematyczną (m.in. pojęcie liczb rzeczywistych w kontekście formalnym).
Styl prezentacji jest bardzo szczegółowy i symboliczny: wiele intuicyjnych twierdzeń matematycznych trzeba tam przeprowadzić przez długi, formalny łańcuch definicji i dowodów, co uczyniło PM trudnym lekturze, ale także modelowym przykładem rygoru logicznego.
Odbiór, krytyka i znaczenie
Praca wywarła ogromny wpływ na rozwój logiki matematycznej i filozofii matematyki oraz przyczyniła się do sformułowania współczesnych pojęć formalizacji. Jednocześnie spotkała się z krytyką:
- skomplikowana i nieintuicyjna notacja utrudniała korzystanie z dzieła,
- pewne dodatkowe założenia, jak aksjomat redukcji, budziły wątpliwości filozoficzne co do pełnej „logicznej” redukcji matematyki,
- praca nie rozwiązała wszystkich problemów fundamentów matematyki — zwłaszcza po sformułowaniu istotnych wyników metamatematycznych w następnych dekadach.
Twierdzenie Gödla i dalsze konsekwencje
W 1931 r. twierdzenie Gödela o niezupełności wykazało, że nijaki program całkowitej formalizacji — w sensie uzyskania kompletnego, niesprzecznego i wystarczająco silnego systemu aksjomatycznego — nie może zostać zrealizowany. Oznacza to, że każdy system достатnio silny, by wyrazić arytmetykę liczb naturalnych, albo będzie niespójny, albo nie będzie w stanie dowieść wszystkich prawd arytmetyki. W praktyce wynik Gödla nie „obalił” znaczenia PM, ale ograniczył zakres nadziei na całkowite zamknięcie matematyki w jednym formalnym systemie.
Dziedzictwo
Mimo trudności i krytyki, Principia Mathematica miały trwały wpływ na:
- rozwój logiki symbolicznej i teorii dowodu,
- filozofię analityczną i sposób przedstawiania argumentów logicznych,
- późniejsze prace nad fundamentami matematyki, zarówno w kierunku formalizmu, jak i konstruktywizmu czy intuicjonizmu.
W literaturze popularnej i historii nauki dzieło bywa czasem przywoływane jako symbol wysiłków usystematyzowania wiedzy matematycznej — stąd anegdota Russella o nietrwałości książek w przyszłości i metaforyczna wartość tej opowieści.
Wydania i miejsce w kulturze
Drugie wydanie z 1927 roku zawierało istotne poprawki i dodatki autorstwa Whiteheada i Russella, w tym rozszerzone wprowadzenie. Przez długi czas PM było podstawową lekturą dla osób zainteresowanych formalnymi podstawami matematyki, chociaż ze względu na trudność tekstu współczesne kursy częściej korzystają z syntetycznych i bardziej przystępnych podręczników logiki.
Praca zachowała również miejsce w kulturze intelektualnej — różne rankingi i wybory książek klasycznych umieszczają ją wysoko jako jedno z najważniejszych dzieł XX wieku w dziedzinie logiki i filozofii matematyki. Modernistyczne i akademickie podsumowania historii matematyki stale odwołują się do roli PM w kształtowaniu dyscypliny.
Warto podkreślić, że PM nie należy mylić z wcześniejszą książką Russella Principles of Mathematics (1903). Autorzy sami wskazują we wstępie, że początkowo traktowali Principia Mathematica jako kontynuację tego wcześniejszego dzieła, lecz szybko zakres pracy okazał się znacznie większy, co pociągnęło za sobą powstanie obszernego, samodzielnego opracowania.
Choć dziś historia podstaw matematyki jest już bogatsza o wyniki Gödla i dalsze rozwinięcia, Principia Mathematica pozostaje kamieniem milowym — przykładem ambicji, precyzji i wpływu, jaki formalne ujęcie pojęć logicznych może mieć na rozwój nauki.
Strona tytułowa skróconej wersji Principia Mathematica do *56
Pytania i odpowiedzi
P: Jaki jest tytuł książki Isaaca Newtona?
O: Tytuł książki Isaaca Newtona to Philosophiæ Naturalis Principia Mathematica.
P: Kto napisał Principia Mathematica?
O: Autorami Principia Mathematica są Alfred North Whitehead i Bertrand Russell.
P: Kiedy została opublikowana Principia Mathematica?
O: Principia Mathematica zostały opublikowane w latach 1910, 1912 i 1913.
P: Co autorzy uważali, że mogą zrobić z tą książką?
O: Autorzy wierzyli, że mogą wykorzystać książkę do opisania zestawu aksjomatów, reguł wnioskowania i prawa niesprzeczności w logice symbolicznej, na podstawie których można w zasadzie udowodnić wszystkie prawdy matematyczne.
P: W jaki sposób twierdzenie o niezupełności Gödla udowodniło, że ten cel jest niemożliwy do osiągnięcia?
O: Twierdzenie o niezupełności Gödla udowodniło, że dla każdego zaproponowanego zestawu aksjomatów i reguł wnioskowania, albo system musi być niespójny, albo muszą istnieć takie prawdy matematyczne, których nie da się z nich wyprowadzić. Tym samym okazało się, że ten ambitny projekt jest niemożliwy do zrealizowania.
P: Kto inspirował i motywował PM?
O: Inspiracją i motywacją dla PM była wcześniejsza praca Gottloba Fregego nad logiką.
P: Czym PM różni się od Principles of Mathematics Russella z 1903 roku?
O: PM różni się od "Principles of Mathematics" Russella z 1903 r., ponieważ w PM napisano: "Niniejsza praca była początkowo pomyślana przez nas jako ... drugi tom "Principles of Mathematics"... Jednak w miarę postępu prac stawało się coraz bardziej oczywiste, że temat jest znacznie większy, niż przypuszczaliśmy...".
Przeszukaj encyklopedię