Definice
Gödelův teorém je běžné označení pro Gödelovy věty o neúplnosti, které rakouský logik Kurt Gödel publikoval v roce 1931. Ve zjednodušené, ale věrné podobě říkají:
- První věta o neúplnosti: v každém bezesporném formálním systému, který je dost silný na to, aby vyjádřil elementární aritmetiku přirozených čísel, a jehož axiomy lze mechanicky vyjmenovat, existují věty, které v něm nelze dokázat ani vyvrátit.
- Druhá věta o neúplnosti: takový systém nemůže dokázat vlastní bezespornost (pokud je bezesporný).
Důkaz využívá sebereferenci: Gödel zakódoval výroky o systému do čísel, takže systém mohl „mluvit sám o sobě“, a sestrojil větu, která v podstatě tvrdí „tato věta není dokazatelná“. Viz Self Reference.
Důležité je, co věty neříkají: netvrdí, že „pravda neexistuje“, že „všechno je relativní“, že „rozum je bezmocný“ nebo že „každý systém myšlení je rozporný“. Týkají se přesně vymezené třídy formálních systémů.
Původ a kontext pojmu
Gödel výsledek publikoval v článku Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931). Věty zasáhly Hilbertův program, který chtěl celou matematiku postavit na úplném a prokazatelně bezesporném axiomatickém základě. Navazující výsledky – Tarského věta o nedefinovatelnosti pravdy, Turingova práce o neřešitelnosti problému zastavení (1936) – utvořily jádro moderní logiky a teorie vyčíslitelnosti.
Kolem vět vznikla rozsáhlá populární a filozofická literatura. Část je přínosná, část je podle odborníků zavádějící. Torkel Franzén v knize Gödel's Theorem: An Incomplete Guide to Its Use and Abuse (2005) systematicky rozebral nejčastější nesprávná použití věty mimo matematiku.
Jak se projevuje
V manipulativním nebo pseudointelektuálním diskurzu se Gödel objevuje typicky takto:
- „Gödel dokázal, že žádný systém nemůže být úplný – proto ani vaše logika/věda/terapie.“
- „I matematika přiznává, že pravda je mimo rozum; proto musíte věřit.“
- „Gödel ukázal, že člověk nemůže poznat sám sebe; proto potřebujete vnějšího průvodce.“
- odkaz na „Gödela“ jako na argument, který ukončí diskusi, bez jakéhokoli výkladu;
- směs matematické terminologie a obecných životních tvrzení, kterou posluchač nemá šanci ověřit; viz EA-1.1.3 Terminologická mystifikace.
Mechanismus
Zneužití Gödela má dvě strukturální složky:
- Přenos autority. Věty jsou jedním z nejslavnějších výsledků 20. století a málokdo rozumí jejich důkazu. Odkaz na ně proto propůjčuje tvrzení prestiž, kterou nelze snadno zpochybnit. Jde o kategoriální omyl: výsledek o formálních systémech se vydává za výsledek o lidech, vztazích nebo světě.
- Vyvolání sebereferenční nejistoty. Druhá věta (systém nemůže dokázat vlastní bezespornost) se přenáší na lidskou mysl: „nemůžeš si být jistý, že tvé myšlení je v pořádku“. Z toho se vyvozuje závislost na vnější autoritě – která ovšem sama podle téže logiky jistotu nemá. Kompendium tento vzorec popisuje jako EA-5.4.4 Gödelovskou sebereflexi a obecně jako EA-5.1.21 Sebe-referenční paradox.
Spojuje se s dalšími paradoxy sebereference (Liarův paradox, Russell paradox, EA-5.4.3 Tarského diagonalizace pravdy) a s double bind, kde je člověk chycen v protichůdných požadavcích.
Obecný příklad (kompozit). Vedoucí semináře „kvantového vědomí“ odpovídá na otázku účastníka po důkazech: „Gödel přece dokázal, že ne vše pravdivé je dokazatelné.“ Účastník nemá matematické vzdělání a otázku stáhne. Věta, která o jeho otázce nic neříká, ji přesto umlčela.
Odlišení
- Matematický výsledek vs. filozofická interpretace: o tom, zda věty něco říkají o lidské mysli (například argumenty Lucase a Penrose), se ve filozofii vede vážná a nerozhodnutá debata. Ta se ale odehrává s přesností a s argumenty, ne jako heslo.
- Neúplnost vs. bezespornost: neúplný systém není rozporný. Gödel ukazuje meze dokazatelnosti, ne to, že systém „neplatí“.
- Neúplnost vs. relativismus: existence nedokazatelných pravdivých vět předpokládá pojem pravdy; Gödel relativismus nepodporuje.
- Legitimní metafora: v humanitních oborech se „gödelovská“ metafora někdy používá pro meze sebepoznání. Pokud je označena jako metafora a nevyvozují se z ní závazné závěry, není to zneužití.
Význam pro Kompendium
Heslo slouží jako referenční bod pro kartu QR EA-5.1.21 a pro kapitolu o paradoxálních metaanihilačních protokolech. Ilustruje obecný princip knihy: čím prestižnější a méně srozumitelný zdroj, tím snáze se jeho autorita přenese na tvrzení, která s ním nesouvisejí.
Proč na tom záleží v praxi. Pro pomáhající profese není cílem učit klienty matematickou logiku. Důležité je rozpoznat vzorec: argument se opírá o autoritu, kterou posluchač nemůže ověřit, a závěr leží mimo oblast, pro kterou autorita platí. Tentýž vzorec se objevuje u kvantové fyziky („kvantově je vše propojeno“), u neurověd („mozek je plastický, takže můžeš cokoli“) nebo u teorie chaosu. Gödel je jen nejčistší příklad. Klient, který pochopí vzorec na jednom příkladu, ho snáze pozná i u dalších.
Obrana a zotavení
- Ptát se, o jakém systému je řeč. Věty platí pro formální systémy se specifickými vlastnostmi; je partner, terapie nebo víra takovým systémem? Pokud ne, argument padá.
- Žádat výklad. Kdo se odvolává na Gödela, by měl umět vysvětlit, co věta říká a proč se týká daného tématu.
- Neúplnost neznamená bezmoc. I matematici po Gödelovi dál spolehlivě dokazují věty; meze poznání neruší poznání v jeho mezích.
- Pro vzdělávání: Kurikulum kritického myšlení a Hodnocení důkazů.
Literatura
- Kurt Gödel: „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I“, Monatshefte für Mathematik und Physik (1931).
- Ernest Nagel, James R. Newman: Gödel's Proof (1958).
- Torkel Franzén: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse (2005).
Související
Pojmy
- Self Reference – princip, na němž důkaz stojí.
- Liarův paradox – nejstarší paradox sebereference.
- Russell paradox – paradox v základech teorie množin.
- Category mistake – přenos výsledku mimo jeho oblast.
Techniky
- EA-5.4.4 Gödelovská sebereflexe – zneužití sebereferenční nejistoty.
- EA-1.1.3 Terminologická mystifikace – prestižní pojmy jako zastrašení.
- EA-5.1.21 Sebe-referenční paradox – obecný vzorec.
Obrana
- Kurikulum kritického myšlení – jak rozpoznat přenos autority.