3 min

Génius, který dokázal, že pravdu nelze dokázat – a přestal věřit i vlastnímu jídlu

Přidejte si obsah Centrum.cz do oblíbených zdrojů pro Google hledání a Google zprávy

Sdílet

Dennívýzva

Na počátku 20. století se matematika snažila dosáhnout něčeho, co se zdálo nejen možné, ale i nutné – vytvořit systém, v němž by bylo možné každé pravdivé tvrzení dokázat pomocí jasně definovaných pravidel, čímž by se odstranila nejistota a matematika by se stala dokonale uzavřeným a spolehlivým jazykem.

Génius, který dokázal, že pravdu nelze dokázat – a přestal věřit i vlastnímu jídlu

Zdroj: Šťavnatý příběh - Čeština

Tento ambiciózní program, spojený zejména se jménem David Hilbert, měl matematiku zbavit pochybností a ukázat, že logika může stát na pevných základech, které nelze zpochybnit. Byla to představa světa, který je v principu pochopitelný – pokud máme dostatek času a správné nástroje.

Právě do tohoto intelektuálního prostředí, které věřilo v úplnost a řád, vstupuje mladý Kurt Gödel – a místo potvrzení této víry přináší něco, co ji zásadně naruší.

Untitled design (30) Kurt Gödel v roce 1925 během svých studií ve Vídni, fofo picryl

Věta, která změnila všechno

Když mladý Kurt Gödel v roce 1931 publikoval své výsledky, nešlo jen o další příspěvek do akademické debaty, ale o zásah, který změnil samotné základy toho, co si matematika o sobě myslela.

Gödel ukázal, že v každém dostatečně silném formálním systému existují tvrzení, která jsou pravdivá, ale nelze je v rámci daného systému dokázat, což znamená, že ideál úplné a uzavřené matematiky není dosažitelný. Nešlo o chybu systému. Šlo o jeho vlastnost.

Pravda, která uniká důkazu

Gödelovy věty o neúplnosti mají důsledky, které přesahují samotnou matematiku, protože naznačují, že existují hranice toho, co lze dokázat pomocí logiky, a že tyto hranice nejsou dočasné, ale strukturální. To znamená, že žádný systém, který je dostatečně silný na to, aby popsal aritmetiku, nemůže být zároveň úplný i bezesporný.

Tato myšlenka je zneklidňující právě proto, že neříká „zatím nevíme“, ale „nikdy vědět nebudeme – alespoň ne tímto způsobem“.

Génius, který viděl důsledky příliš jasně

Gödel nebyl jen matematikem, který přišel s abstraktním výsledkem, ale člověkem, který si velmi dobře uvědomoval, co jeho práce znamená, a právě tato schopnost domýšlet důsledky mohla být zároveň jeho silou i slabinou.

Postupem času se u něj začaly projevovat paranoidní tendence, zejména přesvědčení, že by mohl být otráven, což vedlo k tomu, že odmítal jíst cokoli, co nepřipravila jeho manželka. Tento strach nebyl náhlý ani iracionální v jednoduchém smyslu slova, ale spíše postupně sílil a začal ovlivňovat jeho každodenní život natolik, že se stal neoddělitelnou součástí jeho příběhu.

Untitled design (31) Kurt Gödel v roce 1970, for wikimedia commons

Myšlení, které se nedá snadno zastavit

Je lákavé vidět v Gödelově osudu jednoduchý příběh génia, který „se zbláznil“, ale takové vysvětlení by bylo příliš pohodlné, protože ignoruje složitost jeho osobnosti i prostředí, v němž žil. Gödel byl člověk, který se pohyboval na hraně mezi extrémní racionalitou a hlubokými otázkami o povaze reality, a právě tato kombinace mohla vytvářet napětí, které nebylo snadné unést.

Jeho přátelství s Albertem Einsteinem, s nímž pravidelně diskutoval při procházkách v Princetonu, naznačuje, že jeho myšlení bylo hluboce respektované i mezi nejvýznamnějšími vědci své doby, a že jeho práce nebyla vnímána jako excentricita, ale jako zásadní přínos.

Kde končí logika

Příběh Kurta Gödela tak není jen o matematice, ale i o tom, co se stane, když se člověk dostane až na hranici toho, co lze racionálně uchopit, a začne si uvědomovat, že existují otázky, které nelze uzavřít v rámci žádného systému. Není to příběh o selhání logiky, ale o jejích limitech – a o tom, jak může být obtížné žít s vědomím, že tyto limity existují.

Věděli jste, že…

…Kurt Gödel při svém americkém občanském pohovoru upozornil na to, že v ústavě existuje logická mezera, která by teoreticky umožnila vznik diktatury – a jeho přátelé ho museli přerušit, aby celý proces neohrozil?

Génius, nebo šílenec? 16 velikánů vědy i umění, kteří jsou důkazem, že hranice mezi nimi je až nebezpečně tenká

Zdroj: Britannica, World History, Princetone University, img ai generated leonardo ai, foto picryl

Reklama

Další články z Kód Enigma

Přes 160 zlomenin po jediném nárazu. Kostra ze Stirlingu možná zachytila první známý zásah trebuchetem

Dávno před Inky převáželi živé papoušky přes Andy. Jejich peří po tisíci letech prozradilo celou cestu

Barevná pera nalezená v elitní hrobce v Pachacamacu na vyprahlém pobřeží Peru přinesla archeologům zvláštní...

Fyzikové napodobili jeden z triků rotující černé díry. Jejich zařízení se přitom vůbec netočí

Rotující černá díra obsahuje obrovské množství energie a fyzika dovoluje, alespoň teoreticky, část této...

Sedm kilometrů pod mořem našli hřbitov velryb. Některé ostatky tam leží miliony let

Když se čínská hlubokomořská ponorka Fendouzhe v roce 2023 ponořila do Diamantinské zóny v jihovýchodním...

Při stavbě školy v Kolumbii našli 14 hrobů. Uvnitř bylo 4.082 lidských zubů

Začalo to obyčejnými zemními pracemi před stavbou školy v kolumbijské Cajamarce. Dělníci ale místo základů...

Tento článek byl publikován ze zdrojů Kód Enigma

KodEnigma.cz se věnuje zajímavostem napříč obory – od přírody a historie přes vědu, vesmír až po záhady a nečekané objevy. Články otevírají témata, která dokážou překvapit, inspirovat i přimět k zamyšlení. Silnou stránkou webu je pestrost – jednou narazíte na příběhy dávných civilizací, jindy na...

Génius, který dokázal, že pravdu nelze dokázat – a přestal věřit i vlastnímu jídlu

„Vladimire, dost.“ Exministr Kuleba popsal, co může ukončit válku na Ukrajině

Páteční večer přinese přechod extrémně silné bouřky přes část republiky

Školní rok 2026/27 přehledně: Rodiče a děti se mohou těšit na spoustu prodloužených víkendů

Zrůda, ošklivá, kdo by jí udělal dítě? Kovalová ukázala hejty, které dostala za to, že nechce být matkou

Co nás čeká v příštích 10 letech: 20 událostí, kterých se obávat – i na které se dá připravit