Twierdzenie Gödla nie mówi, że „niczego nie da się udowodnić” — mówi, że każdy dostatecznie silny system ma własne nierozstrzygalne zdania
Pierwsze twierdzenie Gödla o niezupełności dotyczy formalnych, efektywnie aksjomatyzowanych i spójnych systemów zdolnych wyrazić dostatecznie dużo arytmetyki. W takim systemie istnieją zdania, których nie można w nim ani udowodnić, ani obalić. To nie jest twierdzenie o ludzkiej niewiedzy, względności prawdy ani o tym, że „wszystko jest niedowodliwe”. Granica jest zawsze względna wobec konkretnego systemu formalnego. Można przejść do silniejszego systemu i dowieść wcześniej nierozstrzygalnego zdania — lecz nowy system, jeśli spełnia warunki twierdzenia, będzie miał własne nierozstrzygalne zdania.
Co to znaczy „system formalny”
System formalny składa się z języka, aksjomatów i reguł wnioskowania pozwalających mechanicznie rozpoznać poprawne kroki dowodu. Twierdzenie Gödla nie dotyczy każdego zbioru przekonań ani każdej dziedziny wiedzy. Wymaga systemu dostatecznie silnego, by reprezentować podstawową arytmetykę, oraz odpowiedniej efektywności aksjomatyzacji.
Pomysł diagonalny tworzy zdanie mówiące o własnej dowodliwości
Kluczową innowacją Gödla było zakodowanie składni i dowodów za pomocą liczb naturalnych. Dzięki temu arytmetyka może w pewnym sensie wypowiadać się o własnych formułach i dowodach. Lemma diagonalna pozwala skonstruować zdanie powiązane z twierdzeniem „to zdanie nie jest dowodliwe w F”. Przy odpowiednich założeniach prowadzi to do zdania nierozstrzygalnego w F.
Nierozstrzygalność jest względna
Jeśli zdanie G nie jest dowodliwe w systemie F, można zbudować silniejszy system dodając G jako aksjomat albo używając mocniejszej teorii, która potrafi je dowieść. Gödel nie ustanawia więc absolutnej kategorii „zdań bez dowodu”. Twierdzenie mówi, że żaden pojedynczy system spełniający warunki nie zamknie całej prawdy arytmetycznej w jednej efektywnie opisanej teorii.
Najczęstsza nadinterpretacja jest filozoficznie atrakcyjna, ale matematycznie błędna
Twierdzeń Gödla używa się czasem jako hasła dowodzącego, że nauka, logika lub komputery „nigdy nie zrozumieją rzeczywistości”. Stanford Encyclopedia of Philosophy podkreśla, że takie rozszerzenia są znacznie bardziej kontrowersyjne. Sam wynik jest precyzyjnym twierdzeniem o formalnej dowodliwości, nie uniwersalnym argumentem przeciwko rozumowaniu czy poznaniu.
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.
System formalny i matematyka o systemie to dwa poziomy
Twierdzenia o niezupełności i niezależności wymagają rozróżnienia między rozumowaniem prowadzonym wewnątrz teorii a badaniem tej teorii z zewnątrz. Metateoria może mówić o modelach, dowodach i spójności systemu, korzystając przy tym z silniejszych zasad niż sam badany system. Dlatego zdanie niedowodliwe w jednej teorii nie staje się pozbawione sensu ani automatycznie „niepoznawalne”. Wynik opisuje relację między zdaniem a konkretnym zestawem aksjomatów i reguł.
Prawda, dowodliwość i niezależność nie są synonimami
W ustalonym modelu matematycznym zdanie może mieć określoną wartość logiczną, a jednocześnie nie mieć dowodu w wybranym systemie formalnym. W teorii mnogości sytuacja może być jeszcze subtelniejsza: różne modele tych samych aksjomatów mogą różnić się co do zdania niezależnego. To nie jest dowolność. Każde twierdzenie o niezależności samo ma ścisły dowód w metateorii i precyzyjnie określa, od jakich założeń zależy wynik. Ta perspektywa jest ważna również metodologicznie: kiedy twierdzenie okazuje się niezależne od danego systemu, kolejnym pytaniem nie jest już wyłącznie „jak znaleźć sprytniejszy dowód”, lecz „jakie dodatkowe zasady byłyby potrzebne i dlaczego warto je zaakceptować”. Granica dowodliwości staje się więc mapą relacji między teoriami, a nie ścianą kończącą matematykę.