Twierdzenie Gödla o niezupełności

Temat poza podstawą programową liceum (logika i podstawy matematyki). Pełne twierdzenie jest głęboko techniczne — poniżej ujęcie poglądowe, upraszczające wizualizację i model.

Co się właśnie stało?

Dokładałeś aksjomaty do systemu formalnego. Krąg „zdań udowadnialnych" rósł, obejmując coraz większą część wszystkich prawd — ale nigdy całość. Zawsze zostaje niepusty obszar zdań prawdziwych, lecz nieudowodnialnych w tym systemie. To istota niezupełności.

Pierwsze twierdzenie Gödla (1931):

W każdym dostatecznie bogatym (obejmującym arytmetykę liczb naturalnych), niesprzecznym systemie formalnym istnieją zdania prawdziwe, których w tym systemie nie da się udowodnić ani obalić. Gödel skonstruował konkretne zdanie samoodnoszące się — w duchu „to zdanie jest nieudowodnialne w tym systemie":

Zdanie $G$ jest prawdziwe wtedy i tylko wtedy, gdy jest nieudowodnialne. Gdyby system je udowodnił, byłby sprzeczny; skoro jest niesprzeczny — $G$ pozostaje prawdą poza jego zasięgiem.

Dodanie aksjomatów nie pomaga:

Można dołączyć $G$ jako nowy aksjomat — ale w rozszerzonym systemie $T' = T + G$ od nowa daje się skonstruować kolejne zdanie nierozstrzygalne $G'$. Luka nigdy się nie zamyka: to dlatego na wykresie po prawej stronie pasek „LUKA" maleje, lecz zatrzymuje się nad przerywaną linią — nigdy nie sięga zera.

Drugie twierdzenie Gödla:

Taki system nie może udowodnić własnej niesprzeczności: $T \nvdash \mathrm{Con}(T)$. Matematyka nie potrafi „od wewnątrz" zagwarantować, że sama się nie zapętli w sprzeczności.

Kontekst — program Hilberta:

Wynik Gödla był ciosem dla marzenia Davida Hilberta o ugruntowaniu całej matematyki na kompletnym, rozstrzygalnym zestawie aksjomatów, z którego wynikałyby wszystkie prawdy. Gödel pokazał, że to niemożliwe: matematyka jest z natury „otwarta" — zawsze będą prawdy wykraczające poza dowodliwość w danym systemie. To głęboki wynik na styku matematyki, logiki i filozofii — jedna z „granic poznania matematycznego".

Po co Ci to wiedzieć:

To nie jest materiał maturalny — ale zmienia sposób myślenia o tym, czym jest dowód i „prawda" w matematyce. Pokazuje, że nawet najściślejsza z nauk ma wbudowane, nieusuwalne ograniczenie tego, co można w niej udowodnić.

Zapamiętaj: niezupełność jest nieunikniona — dla każdego dostatecznie bogatego, niesprzecznego systemu formalnego istnieją zdania prawdziwe, ale nierozstrzygalne, a dokładanie kolejnych aksjomatów tylko tworzy nowe takie zdania. Matematyki nie da się „domknąć".