Můžete rozřezat kouli a složit dvě? Jak axiomy štěpí matematiku na paralelní vesmíry

V dubnu 1963 poslal devětadvacetiletý matematik Paul Cohen dopis Kurtu Gödelovi do Princetonu. Obsahoval důkaz něčeho, co se osmdesát pět let zdálo nemožné — že na jednu z nejstarších otázek matematiky neexistuje odpověď. Gödel si Cohena pozval k sobě domů, důkaz zkontroloval a v dopise mu napsal, že podal „vůbec nejlepší možný důkaz“ (the best possible proof). O rok později Gödel v publikovaném textu označil Cohenovu práci za „bezpochyby největší pokrok v základech teorie množin od její axiomatizace“.

Cohenův výsledek — spolu s Gödelovým vlastním příspěvkem z roku 1940 — ukázal, že matematika není jednolitá budova s jedním souborem pravd. Je to rozvětvená krajina, kde volba výchozích předpokladů otevírá zásadně odlišné světy. V některých lze kouli rozřezat na pět kusů a složit z nich dvě koule. V jiných je to nemožné. V některých existují „meziúrovně“ nekonečna, v jiných ne. Všechny tyto světy jsou vnitřně bezesporné.

Tento objev zrodil dodnes nekončící filozofický spor: existuje jediný „správný“ matematický vesmír, nebo jich je nekonečně mnoho? A v éře, kdy umělá inteligence řeší olympiádní úlohy na úrovni zlaté medaile a formalizuje důkazy v systému Lean, vyvstává nová otázka — může AI tyto paralelní světy systematicky prozkoumávat?

Příběh začíná v roce 1873, kdy Georg Cantor učinil šokující objev: reálných čísel je „více“ než přirozených. Ukázal, že přirozená čísla (1, 2, 3, …) mají mohutnost ℵ₀ (alef nula), zatímco reálná čísla — celá číselná přímka — mají mohutnost 2^ℵ₀, kterou nelze s ℵ₀ ztotožnit. Cantorův původní důkaz z roku 1873 používal metodu vnořených intervalů. Slavný diagonální argument, který je dnes známější, přišel až v roce 1891: předpokládáme, že všechna reálná čísla v intervalu (0, 1) jde seřadit do seznamu, a pak z tohoto seznamu zkonstruujeme číslo, které se od prvního liší na první desetinné pozici, od druhého na druhé atd. Toto číslo v seznamu chybí — spor.

Přirozeně se nabízela otázka: existuje nějaká „mezimnožina“, jejíž velikost by spadala přesně mezi tato dvě nekonečna?

Cantorova hypotéza kontinua (CH) tvrdí, že nikoliv — že 2^ℵ₀ = ℵ₁, tedy že mohutnost kontinua je přímo „další“ nekonečno po ℵ₀ bez jakéhokoli mezistupně. Cantor tuto hypotézu zformuloval v roce 1878 a považoval ji za klíčovou otázku teorie množin.

David Hilbert považoval tuto otázku za tak zásadní, že ji v roce 1900 zařadil jako problém číslo 1 svého slavného seznamu 23 nevyřešených problémů. Řešení přišlo, ale úplně jinak, než si Hilbert představoval: ukázalo se, že CH je od standardních axiomů nezávislá.

V hluboké ironii osudu Hilbert 8. září 1930 v Královci pronesl své slavné Wir müssen wissen, wir werden wissen — musíme vědět, budeme vědět. Předchozího dne na propojené konferenci o epistemologii exaktních věd mladý Kurt Gödel oznámil předběžnou verzi své první věty o neúplnosti, která ukázala, že Hilbertův optimismus má zásadní meze.

Kurt Gödel přistoupil k problému tím, že zkonstruoval vnitřní model teorie množin nazvaný L — konstruovatelný vesmír. Standardní množinový vesmír V se buduje v etapách: na každém stupni se vezmou podmnožiny předchozího stupně. Gödel postup zpřísnil — do L zařadil pouze ty podmnožiny, které lze definovat formulí s parametry z předchozí úrovně. Výsledkem je „hubenější“ vesmír, kde je každá množina explicitně popsatelná.

Obrazně řečeno: když vstoupíte do „místnosti“ L a zavřete dveře, vidíte jen definovatelné objekty. O nedefinovatelných množinách, které mohou existovat „venku“, nic nevíte — a z vašeho pohledu CH prostě platí.

Gödelův výsledek formálně říká: je-li ZF bezesporná, pak je bezesporná i ZFC + CH. Jinými slovy, CH nelze vyvrátit. Sám Gödel však věřil, že CH je nepravdivá. Ve svém článku z roku 1947 napsal, že považuje za podezřelé, že oproti řadě argumentů proti CH neexistuje žádný věrohodný argument v její prospěch. V roce 1972 dokonce rozšiřoval argument, že pravá mohutnost kontinua je ℵ₂, ale důkaz obsahoval chybu a byl stažen.

Druhý krok učinil Paul Cohen — analytik, nikoli logik, což činí jeho výkon ještě pozoruhodnějším. Cohen vynalezl metodu zvanou forcing, která umožňuje rozšířit existující model teorie množin přidáním nového generického objektu, aniž by se narušila konzistence.

Jak to funguje? Začneme s modelem M, kde CH platí. Poté do M přidáme ℵ₂ nových reálných čísel — ale děláme to opatrně, aby se nezhroutily kardinality. Toho dosáhl podmínkou zvanou countable chain condition, která zajistí, že se nezmění mohutnosti existujících množin. Výsledkem je nový model, kde 2^ℵ₀ ≥ ℵ₂ > ℵ₁, a tedy CH neplatí.

Cohen svůj výsledek oznámil v roce 1963 a v roce 1966 obdržel Fieldsovu medaili — dodnes jedinou udělenou za práci v matematické logice. Scott Aaronson přirovnává forcing ke konstrukci orákulí v teorii výpočetní složitosti — vkládáme novou funkci do vesmíru a krok po kroku zajišťujeme, že splňuje požadované vlastnosti. Timothy Chow ve svém textu „A Beginner’s Guide to Forcing“ nazývá forcing otevřeným expozičním problémem, protože pro většinu matematiků tato metoda zůstává obtížně přístupná.

Výsledky Gödela a Cohena dohromady říkají: CH je nezávislá na ZFC. Existují bezesporné matematické světy, kde CH platí, i světy, kde neplatí.

Jde o analogii s Euklidovým postulátem o rovnoběžkách. Dva tisíce let se matematici pokoušeli dokázat pátý postulát z ostatních axiomů. Euklid sám ho zformuloval jako postulát, nikoli větu, snad proto, že tušil jeho odlišný charakter. V 19. století Lobačevskij, Bolyai a Gauss ukázali, že existují konzistentní geometrie, kde neplatí. Dnes nikdo nepovažuje euklidovskou geometrii za „jedinou pravdivou“ — hyperbolická a eliptická jsou stejně legitimní.

Zásadní je odlišit tuto nezávislost od Gödelových vět o neúplnosti. Gödelova neúplnost produkuje věty pravdivé ve standardním modelu aritmetiky, ale nedokazatelné. Přidání jejich negace vytváří nestandardní, „patologické“ modely. U CH je situace odlišná: oba směry rozšíření jsou matematicky plnohodnotné a mají své zastánce. Jak poznamenává Aaronson, neúplnost dává dva konzistentní modely, ale jen jeden zdravý, zatímco nezávislost CH nabízí dva věrohodné.

Hypotéza kontinua není ojedinělým případem. Moderní matematika je plná křižovatek, kde volba axiomu vede k zásadně odlišným teoriím.

Axiom výběru (AC), formulovaný Ernstem Zermelem v roce 1904, tvrdí, že pro každou kolekci neprázdných množin existuje funkce vybírající z každé přesně jeden prvek. Bertrand Russell to vystihl slavnou analogií o ponožkách: k výběru jedné z nekonečně mnoha párů ponožek potřebujete axiom výběru, ale pro boty nikoliv — vždy si vezmete levou.

AC je ekvivalentní řadě dalších tvrzení: Zornovu lemmatu, větě o dobrém uspořádání a Tychonoffově větě o kompaktnosti. Jeho nejprovokativnějším důsledkem je Banachův-Tarského paradox z roku 1924, kde kouli v trojrozměrném prostoru lze rozřezat na konečný počet kusů a složit z nich dvě koule stejné velikosti.

Zdánlivé porušení zákona zachování objemu se vysvětluje tím, že „řezy“ produkují množiny tak patologicky složité, že nemají žádný definovaný objem — nejsou lebesgueovsky měřitelné. Axiom výběru je nezávislý na ZF: Fraenkel, Mostowski a Gödel ukázali v různých modelech, že matematika může fungovat s ním i bez něj.

Robert Solovay v roce 1970 ukázal, že existuje model ZF, kde platí závislý výběr (dostatečný pro běžnou analýzu), ale každá množina reálných čísel je měřitelná. Jde o dramatický kontrast: v jednom vesmíru koule zdvojíte, v druhém je to nemožné.

Velké kardinály tvoří hierarchii nekonečen tak ohromných, že jejich existenci nelze v ZFC dokázat. Hierarchie sahá od nedostupných kardinálů přes měřitelné až k Woodinovým a superkompaktním kardinálům. Pozoruhodné je, že tato hierarchie je empiricky lineárně uspořádaná podle síly konzistence — fakt, který je pozorováním bez protipříkladu, nikoli dokazatelnou větou.

Dana Scott v roce 1961 dokázal, že v konstruovatelném vesmíru L žádné měřitelné kardinály neexistují. To znamená, že přijetí existence měřitelných kardinálů automaticky implikuje V ≠ L — skutečný vesmír množin je „bohatší“ než Gödelova konstrukce.

Překvapivě tyto gigantické kardinály rozhodují otázky o „malých“ objektech. Martin a Steel v roce 1989 dokázali, že existence nekonečně mnoha Woodinových kardinálů implikuje projektivní determinovanost. Ta dává elegantní a úplnou strukturní teorii pro projektivní množiny reálných čísel, kterou samotná ZFC neposkytuje.

Axiom determinovanosti (AD), navržený Mycielským a Steinhausem v roce 1962, říká, že v každé nekonečné hře dvou hráčů má jeden z nich vyhrávající strategii. AD je přímo neslučitelný s axiomem výběru — AC umožňuje zkonstruovat hru, kde žádný hráč strategii nemá. Pod AD je každá množina reálných čísel měřitelná, každá má vlastnost Baira a ω₁ je měřitelný kardinál.

Zajímavá je role forcingových axiomů jako PFA (Proper Forcing Axiom), které implikují 2^ℵ₀ = ℵ₂ — tedy specifickou negaci CH.

Saharon Shelah v roce 1974 ukázal, že čistě algebraická otázka — „Je každá Whiteheadova grupa volná?“ — je nezávislá na ZFC. V konstruovatelném vesmíru L je odpověď ano; pod Martinovým axiomem s negací CH existují nesvobodné Whiteheadovy grupy. Šlo o jeden z prvních případů, kdy se nezávislost na axiomech projevila přímo v běžné algebře, mimo logiku a teorii množin.

Pozoruhodný je nedávný obrat: Clausen a Scholze ukázali, že v rámci kondenzované matematiky (condensed mathematics) je analogická verze Whiteheadova problému v ZFC rozhodnutelná — nezávislost se váže na klasický pojem grupy, nikoli na problém samotný.

Joel David Hamkins, od roku 2022 O’Hara Professor of Logic na University of Notre Dame, je jedním z nejvlivnějších zastánců množinově-teoretického pluralismu. Ve svém článku „The set-theoretic multiverse“ (Review of Symbolic Logic, 2012) formuloval radikální tezi: existuje mnoho legitimních množinových vesmírů a žádný z nich není privilegovaný.

V navazujícím textu „More than a Decade in the Set-Theoretic Multiverse“ z roku 2025 shrnuje vývoj své pozice. Argumentuje, že nejprominentnějším fenoménem moderní teorie množin byla právě překvapivá rozmanitost množinově-teoretických možností.

Hamkins rozvíjí analogii s geometrií: tak jako alternativní geometrie byly nejprve kuriozity pro důkazy nezávislosti a postupně získaly plnou legitimitu, tak i alternativní množinové vesmíry mají být považovány za plně reálné. CH je na této perspektivě „vyřešena“ — nikoli nalezením odpovědi, ale hlubokým porozuměním tomu, jak se chová v celém multivesmíru.

Na opačném pólu stojí W. Hugh Woodin z Harvardu, jehož intelektuální trajektorie je sama o sobě fascinující. V období kolem roku 2001 vyvinul sofistikovaný argument, že CH je nepravdivá, a navrhl Ω-logiku jako rozšíření axiomů ZFC. Od roku 2010 však radikálně změnil pozici a představil program Ultimate L — pokus zkonstruovat kanonický vnitřní model kompatibilní se všemi velkými kardinály, v němž by CH platila.

Jak dokumentuje Rittberg v článku „How Woodin Changed His Mind“ (2015), jde o mimořádný případ, kdy přední matematik veřejně přehodnotil svůj postoj k fundamentální otázce. Woodin tvrdí, že axiom V = Ultimate-L by rozhodl všechny otázky nerozhodnutelné Cohenovou metodou, přiznává však, že vše závisí na pravdivosti konjektury o Ultimate L.

Saharon Shelah z Hebrejské univerzity v Jeruzalémě, jeden z nejplodnějších žijících matematiků, zastává pragmatický postoj. Ve svém textu „Logical Dreams“ píše, že jeho zájem o logiku byl vždy matematický, nikoli filozofický. Proti axiomu V = L je silně — konstruovatelný vesmír považuje za příliš speciální případ. Jeho pcf teorie ukazuje, že smysluplná matematika o kardinální aritmetice je možná i bez rozhodnutí CH.

Penelope Maddy (UC Irvine) přistupuje k axiomům naturalisticky: o přijetí nových axiomů mají rozhodovat matematická kritéria — plodnost, sjednocující síla, hloubka. Prosazuje princip „Maximalizuj!“ — vesmír množin by měl být co nejbohatší. Disertace jejího studenta Jeffreyho Schatze (2022) formálně prokázala, že Martinovo maximum v tomto smyslu „maximalizuje“ nad V = Ultimate-L.

V červenci 2024 systém AlphaProof od DeepMind vyřešil 4 ze 6 úloh Mezinárodní matematické olympiády a získal 28 z 42 bodů — úroveň stříbrné medaile. Systém spojuje reinforcement learning s formálním dokazovačem Lean 4 — každý důkaz je strojově verifikován, takže halucinace jsou vyloučeny. Navíc vyřešil nejtěžší úlohu P6, ve které uspělo jen minimum lidských soutěžících.

O rok později, na IMO 2025, dosáhl Gemini Deep Think od DeepMind 35 bodů ze 42, čímž překonal práh zlaté medaile — a to end-to-end v přirozeném jazyce, bez potřeby překladu do formálního systému.

Současně zaznamenáváme zásadní pokroky v autoformalizaci matematiky v Lean 4, kde AI systémy automaticky překládají neformální důkazy do strojově ověřitelné podoby.

Terence Tao v březnu 2026 na konferenci IPAM prohlásil, že AI je v matematice a teoretické fyzice „připravena pro hlavní vysílání“ (ready for primetime). Argumentuje, že AI nástroje ušetří více času, než zabere jejich naučení a integrace do pracovního postupu. Ve stejném měsíci vyhlásil „Mathematics Distillation Challenge“ — výzvu pro AI systémy, aby generovaly lidsky srozumitelná vysvětlení formálních důkazů z projektu Equational Theories. Tento projekt systematicky rozhodl přes 22 milionů implikací mezi tisíci rovnicovými zákony — přímá ukázka AI-asistovaného průzkumu axiomatických systémů.

Christian Szegedy, dříve Google Brain a spoluzakladatel xAI, dnes zakladatel Math Inc. a hlavní vědec Morph Labs, prosazuje autoformalizaci — automatický překlad neformální matematiky do strojově ověřitelného jazyka. Jeho systém Gauss dokončil formalizaci silné věty o prvočíslech v Lean v řádu týdnů — úkol, na kterém Fields Medalista Terence Tao a Alex Kontorovich s dalšími spolupracovníky pracovali přes rok a půl. Szegedy je přesvědčen, že cesta k superinteligenci vede přes formální matematiku.

Equational Theories Project je zatím nejbližší realizací systematického průzkumu axiomatických krajin — projekt dosáhl téměř úplného pokrytí za 19 dní. Systémy jako Axplorer a AI-Hilbert generují hypotézy induktivně z dat a ověřují je deduktivně.

Zatím však žádný systém autonomně nevynalezl fundamentálně nový axiomatický rámec tak, jak matematik vynalézá neeuklidovskou geometrii. Současné nástroje prozkoumávají důsledky daných axiomů, ale nereflektují meta-otázku, které axiomy přijmout. Právě zde se otevírá fascinující výzkumná hranice.

Gödelovy věty o neúplnosti říkají, že jakýkoli dostatečně silný konzistentní formální systém obsahuje pravdivá, ale nedokazatelná tvrzení — to platí pro AI stejně jako pro člověka.

Lucas-Penroseův argument — že lidská mysl transcenduje formální systémy, protože „vidí“ pravdivost Gödelových vět — je dnes většinově odmítán. Kritici jako Feferman upozorňují, že k poznání pravdivosti Gödelovy věty musíte nejprve vědět, že systém je konzistentní — a to nedokáže ani člověk.

Praktická relevance neúplnosti pro AI je omezená — většina pracovní matematiky na tyto hranice nenarazí. Skutečným limitem není neúplnost, ale schopnost navrhovat nové definice, volit perspektivu a formulovat produktivní otázky.

Bylo by pohodlné vyprávět příběh jako triumfální pochod od neúplnosti k AI průzkumníkům multivesmíru. Ale realita je nuancovanější.

Multivesmír versus praxe. Většina pracujících matematiků Hamkinsův multivesmír ignoruje — pracují v ZFC a na nezávislost narazí jen výjimečně. Shelahův pragmatismus, nikoli filozofický pluralismus, je de facto standardem oboru.

AI a kreativita. Současné AI systémy jsou mimořádně silné v prozkoumávání důsledků daných axiomů, ale dosud nepředvedly nic srovnatelného s Cohenovou invencí forcingu — tedy zásadně novou metodu, která změní pravidla hry. AlphaProof řeší olympiádní úlohy, ale nenavrhuje nové definice. Equational Theories Project mapuje krajinu, ale neinventuje krajiny nové. Propast mezi „řešit úlohu“ a „položit otázku, která změní obor“ zůstává otevřená.

Historický precedent. Analogie s geometrií je poučná, ale ne dokonalá. Neeuklidovské geometrie získaly legitimitu díky fyzikální realitě — obecná relativita ukázala, že prostoročas je zakřivený. Alternativní množinové vesmíry žádnou takovou fyzikální oporu nemají. Otázka, zda CH „skutečně“ platí, může být kategoriálně odlišná od otázky, zda platí pátý postulát.

Příběh větvení matematiky podle axiomů odhaluje něco hlubšího než technický detail logiky. Ukazuje, že matematická pravda závisí na východiscích — a že tato závislost není slabostí, nýbrž zdrojem bohatství.

Filozofický spor mezi Hamkinsovým multivesmírem a Woodinovým hledáním kanonického modelu zůstává otevřený — a právě tato otevřenost je produktivní. Woodinova změna názoru ukazuje, že i přední matematici revidují své pozice, když se objeví nové argumenty.

Vstup AI na scénu tento příběh dramaticky akceleruje. Za dva roky jsme přešli od stříbrné medaile na IMO ke zlatu, od ručního překladu do Lean k end-to-end řešení v přirozeném jazyce. Equational Theories Project ukázal, že systematický průzkum axiomatických krajin je s AI nejen možný, ale překvapivě efektivní.

Klíčová otázka pro příští dekádu není, zda AI dokáže dokazovat věty — to už umí — ale zda dokáže klást otázky, které by člověka nenapadly, a navrhovat axiomy, které otevřou dosud netušené matematické světy. Gödelovy věty říkají, že žádný systém nebude úplný. Ale právě tato neúplnost je pozváním k průzkumu — a dnes máme na tento průzkum nástroje, o kterých se Cantorovi, Gödelovi ani Cohenovi nesnilo.

Klíčové zdroje: Stanford Encyclopedia of Philosophy: Continuum Hypothesis, Gödel’s Incompleteness Theorems, Independence and Large Cardinals, Large Cardinals and Determinacy · Hamkins, J. D.: „The set-theoretic multiverse“ (Review of Symbolic Logic, 2012) · Rittberg, C. J.: „How Woodin Changed His Mind“ (Archive for History of Exact Sciences, 2015) · Shelah, S.: „Logical Dreams“ (2002) · DeepMind: AlphaProof, Gemini Deep Think IMO 2025 · Tao, T.: Equational Theories Project, Mathematics Distillation Challenge · Chow, T.: „A Beginner’s Guide to Forcing“ (arXiv:0712.1320) · Math Inc.: Gauss

Transparentnost tvorby:

Koncepce, struktura a redakční linie článku jsou dílem autora, který vypracoval obsahovou skicu, stanovil klíčové teze a řídil celý proces tvorby. Generativní AI (Claude, Anthropic) byla využita jako nástroj pro rešerši, ověřování faktů a rozepsání autorovy předlohy.

Autor výstupy průběžně redigoval, ověřil klíčová zjištění a schválil finální znění. Žádná část textu nebyla publikována bez lidské kontroly. Všechny faktické údaje byly ověřeny proti veřejně dostupným zdrojům uvedeným v textu.

Postup je v souladu s požadavky Čl. 50 Nařízení EU 2024/1689 (AI Act) na transparentnost AI-generovaného obsahu. #poweredByAI