Když pravda nemá důkaz

[Instrumental Build-up] [Intro] Představ si cestu, která nikdy nekončí. Jdeš pořád dál, ale cíl je v nedohlednu. Tam, kde selhává lidská intuice, začíná království čisté logiky. [Verse 1] Vítejte v Hilbertově hotelu, kde mají plný stav, přesto pro každý nový autobus najdou další háv. Recepční se jen usměje a posune klíče dál, host z pokoje jedna jde do dvojky, jak si král přál. Každý se posouvá, nekonečno se natahuje, to, co se zdálo plné, se znovu nafukuje. Aristoteles by kroutil hlavou nad touhle hrou, kde potenciální a aktuální nekonečna řvou. Matematika není jen počítání do sta, je to propast, kde je logika náhle sprostá. Jeden plus nekonečno je stále to samé, v tomhle vesmíru čísel se snadno zklameme. [Pre-Chorus] Cítíš, jak se základy třesou pod nohama? To, co bylo jisté, je teď jenom drama. [Chorus] Některá nekonečna jsou větší než jiná, to je ta Cantorova děsivá vina. Diagonála protíná seznamy čísel, větší než všechno, co lidský mozek vymyslel. Pravda tam leží, tichá a chladná, ale cesta k důkazu? Ta bývá zrádná. (Zrádná...) [Post-Chorus] Nekonečno. Není cesty zpět. Nekonečno. Zhroutil se nám svět. [Verse 2] Joel David Hamkins nám otevírá brány do tmy, kde množiny všech množin tančí své rytmy. Bertrand Russell se ptá holiče, koho oholí, pokud se sám neholí, břitva ho skolí? Paradox, co rozbíjí základy na prach, z čisté logiky zbyl najednou jen strach. Snažili se postavit pevnost bez trhlin, ale v každé zdi našli jen další stín. Jestliže systém chce popsat sám sebe, musí se vzdát jistoty, co sahá do nebe. Není to chyba v kódu, je to vlastnost světa, že neexistuje ta jedna finální věta. [Pre-Chorus] Cítíš, jak se základy třesou pod nohama? To, co bylo jisté, je teď jenom drama. [Chorus] Některá nekonečna jsou větší než jiná, to je ta Cantorova děsivá vina. Diagonála protíná seznamy čísel, větší než všechno, co lidský mozek vymyslel. Pravda tam leží, tichá a chladná, ale cesta k důkazu? Ta bývá zrádná. (Zrádná...) [Verse 3] Pak přišel Gödel a zasadil poslední ránu, zavřel před nosem tu dokonalou bránu. Řekl, že pravda může existovat bez důkazu, jako horolezec visící uprostřed srázu. Stroj se zastaví, nebo pojede navždy dál? To je problém, co Turingovi ve snu stál. Multivesmír matematiky se rozpíná v šíři, kam už ani naše nejlepší teleskopy nemíří. Je to mapa, která je větší než území, nejsme páni tvorstva, jsme jen vězni v podzemí. [Bridge] Co když je matematika jen živý organismus? A my jsme jen svědci pro tenhle mechanismus? Nemůžeme dokázat všechno, co je pravdivé, to je to zjištění, co je tak střízlivé. Jsme omezení v nekonečném prostoru, hledáme záchytný bod v tomhle hororu. [Chorus] Některá nekonečna jsou větší než jiná, to je ta Cantorova děsivá vina. Diagonála protíná seznamy čísel, větší než všechno, co lidský mozek vymyslel. Pravda tam leží, tichá a chladná, ale cesta k důkazu? Ta bývá zrádná. (Zrádná...) [Outro] Možná jsme jen čísla v seznamu, co chybí. V hotelu, kde se hostům už dávno nelíbí. Pravda je tam venku. Nedosažitelná. Nekonečná.