Kolegové mě často žádají o pomoc s čísly. Myslí si, že umím matematiku. Ironií je, že jsem hrozná v počítání v hlavě.
Lidé často špatně rozumějí matematice. Myslí si, že to dělá rychlé sčítání a odčítání ve vaší hlavě, zatímco si kupujete kávu. Ne. Skutečná matematika je struktura světů.
Mýtus nadace
Vše začíná pravidly. Axiom. Základní pravdy, které přijmete, aby hra mohla začít. Na tomto základu postavíte vše ostatní: množiny se stanou čísly, čísla se stanou funkcemi a funkce se přemění v geometrii. To vše je založeno na stejném počátečním podlaží.
Matematici hráli dlouhou dobu nebezpečnou hru s rovnováhou. Chtěli použít co nejméně pravidel, ale stále dost na to, aby popsali moderní vesmír. A tato pravidla se musela zdát správná. Intuitivně srozumitelné. Stejně jako výrok „existuje prázdná množina“. Prostě to dává smysl.
V roce 1900 se všichni shodli na systému ZFC. Zermelo-Frenkelova teorie množin s axiomem výběru. Devět pravidel. Vše. Tohle byl základ.
Nebo si to alespoň mysleli.
Gödel ničí všechno
Matematici milovali svůj základ. Snili o systému, který by měl dvě kvality zároveň:
- Úplnost. Jakákoli pravda může být prokázána.
- Konzistence. Rozpory jsou nepřijatelné.
Přichází rok 1931. Na jevišti – Kurt Gödel. Je mu pětadvacet let. Shodí bombu, která rozbije samotný základ.
Jeho první věta o neúplnosti je nemilosrdná. Uvádí, že v každém dostatečně silném a konzistentním systému existují tvrzení, která nelze prokázat ani pravdivě, ani nepravdivě. Tečka. A pak přichází druhá věta. Ještě horší. Systém nemůže prokázat svou vlastní konzistenci.
Zní to akademicky, samozřejmě. Abstraktní logika. Gödelovi kolegové doufali, že jde jen o podivnost. Nějaká teoretická chyba, postrádající praktický význam. Mýlili se.
Gödel dokázal, že jistota má své hranice. Nemůžete vědět všechno, dokonce ani v rámci pravidel, která jste si sami vytvořili.
Vezměme stejný systém ZFC. Je plná neprokazatelných tvrzení. Nejznámější je hypotéza kontinua. Existuje nekonečno mezi celými čísly a reálnými čísly? Nevíme. A s našimi současnými nástroji to nikdy nebudeme schopni dokázat. Tahle otázka prostě… zůstala viset ve vzduchu.
Nevyřešený. Ani neřešitelné.
Takže ano, můžete stavět světy z axiomů. Můžete přejít od jednoduchých množin ke komplexní topologii. Ale ve struktuře jsou díry. Vestavěná slepá místa, kde se pravda skrývá, navždy mimo dosah.
Proč mysl touží po úplnosti, když je úplnost nemožná?
