Ještě kousek a mám to! Anatomie problémů, které vypadají skoro řešitelně

Pepík chodil do knihovny od první třídy. Ne proto, že ho tam posílali — posílali ho ven. Ale venku byly jen stromy a jiné děti, zatímco v knihovně byly záhady. Pepík měl v hlavě seznam věcí, které vypadaly, že by je mohl vyřešit, kdyby se dost snažil. Přečetl knížku o starověkých Řecích a jejich hádankách. Jedna ho chytila: jak sestrojit čtverec, který má přesně tolik místa jako daný kruh? Pravítko, kružítko, papír. Víc nepotřebujete.

Pepík to zkoušel celé odpoledne. Skoro to vyšlo. Pak to zkoušel další odpoledne. Zase skoro. „Ještě kousek,“ říkal si.

Nevěděl, že přesně totéž si říkali lidé přes dva tisíce let. A že některým z nich to zničilo život.

Existuje zvláštní kategorie problémů. Vypadají jednoduše — formulaci pochopí školák. Nástroje k řešení má každý po ruce. Prvních pár pokusů dává slibné výsledky. A pak přijde moment, kdy si člověk řekne: „Ještě kousek a mám to!“

Jenže ten kousek nikdy nepřijde. Ne proto, že by řešitel nebyl dost chytrý. Proto, že řešení z principu neexistuje — alespoň ne tím způsobem, jakým se o něj pokouší. Problém ale vypadá natolik dosažitelně, že to rozumný člověk odmítne přijmout. A tak pokračuje. Měsíce. Roky. Celý život.

Za tím stojí dvojí léčka. Ta první je v samotné struktuře problémů: konkrétní případy se řešit dají, nemožný je jen ten obecný krok. Ta druhá je v lidském mozku: dopaminová odměna za „skoro výhru,“ potvrzovací zkreslení, utopené náklady. Obě pasti spolupracují tak elegantně, že jim propadli géniové i šarlatáni, starověcí filozofové i moderní inženýři.

Tohle je příběh o nich všech. A trochu taky o Pepíkovi.

Pepík na gymnáziu v knihovně našel ten svůj problém v encyklopedii matematiky. Měl vlastní jméno: kvadratura kruhu. A nebyl sám. Řekové ho znali spolu s dalšími dvěma: trisekce úhlu (rozdělení libovolného úhlu na třetiny) a zdvojení krychle (sestrojení krychle s dvojnásobným objemem). Pravidla hry: smíte používat pouze pravítko a kružítko, v konečném počtu kroků.

Pravidla jsou důležitá. Právě v nich se skrývá past.

Nemožnost trisekce a zdvojení krychle dokázal Pierre Wantzel roku 1837 — a způsob, jakým to udělal, je klíčem k pochopení celého fenoménu. Konstrukce pravítkem a kružítkem matematicky odpovídají řešení rovnic stupně 2ⁿ. Jenže trisekce šedesátistupňového úhlu vyžaduje vyřešit ireducibilní kubickou rovnici — stupeň tři není mocnina dvou. Nikdy nebude.

Kvadraturu kruhu definitivně pohřbil Ferdinand von Lindemann roku 1882, když dokázal, že π je transcendentní číslo — není kořenem žádné polynomické rovnice s racionálními koeficienty. Čtverec o obsahu kruhu by měl stranu r·√π, a to je s pravítkem a kružítkem nesestrojitelná délka.

Jenže — a tady začíná past — důkazy nemožnosti nikoho nezajímaly. Jak ukázal historik matematiky Jesper Lützen, Wantzelův výsledek byl po celé století prakticky ignorován. Proč?

Protože spousta úhlů trisektovat jde. Stoosmdesát stupňů na šedesát? Snadno. Devadesát na třicet? Žádný problém. A aproximativní konstrukce jsou vizuálně nerozeznatelné od přesných — indický matematik Srinivasa Ramanujan publikoval roku 1913 geometrickou konstrukci, jejíž výsledek odpovídá hodnotě π ≈ 355/113 = 3,1415929… Odchylka se projeví až na sedmém desetinném místě. Člověk vidí, že to funguje. Jen netuší, že přesně to nefunguje nikdy.

Augustus De Morgan, matematik devatenáctého století a neúnavný kronikář matematických blouznivců, zavedl pro jejich posedlost termín morbus cyclometricus — nemoc kruhoměřičů. Ve své knize A Budget of Paradoxes navrhl svatého Víta za jejich patrona — odkazem na tanec svatého Víta jako dobovou masovou hysterii — a popsal typický průběh nákazy: jakmile virus vstoupí do mozku, oběť obíhá kolem problému jako můra kolem plamene.

Jeden z jeho případů — jistý James Smith, liverpoolský kupec — byl přesvědčen, že π = 3,125. De Morgan mu v korespondenci vysvětloval chybu, dokud nezjistil, že Smith argumentuje kruhem o kruhu. Lewis Carroll (matematik Charles Dodgson) vyměnil s jiným kruhoměřičem přes dvacet dopisů, než „smutně dospěl k přesvědčení, že nemá šanci.“

Americký matematik Underwood Dudley, autor knih Mathematical Cranks (1992) a The Trisectors (1994), sestavil profil typického matematického blouznivce: muž, starší věk, často v důchodu, vzdělání zakončené středoškolskou geometrií, přesvědčený o budoucí odměně a o spiknutí akademiků. Jako žert proložil hodnoty π uváděné kruhoměřiči v letech 1832–1879 regresní přímkou a vypočítal, že π bylo přesně rovno π ve 22:54 dne 10. listopadu 219 před naším letopočtem.

V osmnáctém století byly evropské akademie věd zahlceny podáními kruhoměřičů, trisektorů a konstruktérů perpetuí mobilí natolik, že Francouzská akademie věd roku 1775 oficiálně přestala tyto podání přijímat — patrně jako první vědecká instituce v dějinách.

Pepík přelistoval o pár regálů dál — do sekce fyziky — a narazil na další záhadu se stejnou strukturou. Perpetuum mobile, stroj, který pracuje bez přísunu energie, je fyzikální mutace téže iluze.

Příběh Johanna Besslera, který si říkal Orffyreus, by stačil na román. Roku 1712 předvedl v Geře „samohybné kolo“ o průměru dvou metrů. V roce 1717 na zámku Weissenstein nechal landkrabě hesensko-kasselský zapečetit místnost s kolem o průměru 3,7 metru a postavit stráže. Po 54 dnech byla pečeť prolomena — kolo se stále točilo. Willem ’s Gravesande, profesor matematiky a astronomie v Leidenu, kolo prozkoumal a napsal Newtonovi, že nedokáže odhalit podvod. Žádná odpověď nebyla nikdy nalezena. Bessler požadoval za tajemství 20 000 liber, ale žádný kupec nechtěl platit bez nahlédnutí do mechanismu. Zemřel roku 1745 v chudobě pádem z větrného mlýnu.

Charles Redheffer měl roku 1812 ve Philadelphii méně štěstí. Zpoplatnil prohlídky svého perpetua mobile — muži platili pět dolarů, ženy měly vstup zdarma. Když ho navštívili inspektoři, syn jednoho z nich, Coleman Sellers, si všiml, že ozubená kola jsou obroušená na špatné straně: malé kolo pohánělo velké, nikoli naopak. Stroj neběžel sám — něco ho pohánělo zvenčí.

Odhalení přišlo v New Yorku. Robert Fulton, průkopník parní plavby, rozpoznal nepravidelný chod stroje — nerovnoměrnou kadenci typickou pro ruční kliku — a vytrhal prkna ze zdi. Za nimi vedla catgutová šňůra do podkroví, kde seděl starý vousatý muž na židli, jednou rukou točil klikou a druhou jedl kůrku chleba. Dav stroj na místě zničil.

Americký patentový úřad od roku 1911 odmítá patenty na perpetuum mobile — jako jediná kategorie vynálezů vyžaduje funkční model. Navzdory tomu bylo uděleno několik desítek patentů na zařízení, která jsou de facto perpetua mobilia — stroje tak složité, že examinátoři nedokázali odhalit, proč nefungují.

Pepík v knihovně otevřel kapitolu o kuriozitách a rozesmál se nahlas. Knihovnice ho napomenula. Ale tenhle příběh za to stál. Edward J. Goodwin, lékař z vesnice s příhodným názvem Solitude, byl přesvědčen, že čtverci kruh, trisektoval úhel a zdvojil krychli. Řekl novinám: „Jestli budu žít deset let, sledujte Goodwina. Na povrchu Země je asi 40 000 čtverečních mil, které tu nejsou.“

Poslanec Taylor I. Record, který přiznal, že absolvoval jen obecnou školu, předložil House Bill 246 — zákon „zavádějící novou matematickou pravdu.“ Text nikdy nezmiňuje π přímo, ale obsahuje větu, z níž vyplývá π = 3,2. Sněmovna zákon schválila jednomyslně 67–0 a poslala ho do senátního Výboru pro střídmost.

Záchrana přišla náhodou. Clarence Abiathar Waldo, profesor matematiky z Purdue University, se ten den ocitl ve Státním domě kvůli rozpočtovému lobbingu. Když mu nabídli představení dr. Goodwinovi, odmítl — prý už zná dost bláznů. Poučil senátory o absurditě zákona. Senátor Orrin Hubbell navrhl odložení na neurčito se slovy: „Nehodí se, aby Senát, který stojí stát 250 dolarů denně, mařil čas takovou frivolností.“ Zákon zemřel.

Indiana se stala národním terčem posměchu. Ale příběh má hlubší pointu: 67 poslanců hlasovalo pro, protože jim Goodwinův „objev“ zněl technicky — a nikdo z nich neměl nástroje k rozpoznání nesmyslu. Iluze lákavosti nefunguje jen na jednotlivce. Funguje na celé instituce.

Před rokem 1931 panoval v matematice heroický optimismus. David Hilbert, nejslavnější matematik své doby, formuloval ambiciózní program: formalizovat veškerou matematiku do úplného, bezesporného a rozhodnutelného axiomatického systému. Na kongresu v Boloni roku 1928 prohlásil, že práce Ackermanna a von Neumanna v podstatě prokázala bezespornost teorie čísel. O dva roky později, při penzijním projevu v Královci, shrnul své krédo do slavné věty: „Wir müssen wissen — wir werden wissen.“ Musíme vědět — budeme vědět.

Pak přišel Kurt Gödel.

Na kulatém stole konference o epistemologii exaktních věd v Královci — den před Hilbertovým projevem — Gödel tiše oznámil, že žádný dostatečně silný formální systém nemůže být zároveň úplný a bezesporný. Reakce sálu byla téměř nulová. Jedinou výjimkou byl John von Neumann, který Gödela odvedl stranou, nezávisle odvodil druhou větu o neúplnosti a napsal mu dopis datovaný 20. listopadu 1930. Gödelův rukopis ale dorazil do redakce o tři dny dříve.

Proč je to past „skoro řešitelnosti”? Protože pro jakýkoli konkrétní nerozhodnutelný výrok jej můžete přidat jako axiom — a systém bude o kousek úplnější. Jenže tím jen vytvoříte nový systém s vlastními nerozhodnutelnými výroky. Jste vždy „jen jeden axiom“ od úplnosti. A navíc existují systémy, které jsou úplné: Presburgerova aritmetika (sčítání bez násobení) je rozhodnutelná. Teprve přidání násobení spouští neúplnost. Člověk má dojem, že stačí najít správnou kombinaci.

Dlouho se zdálo, že nerozhodnutelné výroky jsou „umělé“ — Gödelova věta je elegantní verze lháře: „Tento výrok není dokazatelný v systému F.“ Ale Paris-Harringtonova věta roku 1977 ukázala, že existují zcela přirozená matematická tvrzení — modifikace konečné Ramseyovy věty — pravdivá, ale nedokazatelná v Peanově aritmetice.

Turingův problém zastavení z roku 1936 je blízký příbuzný. Diagonálním argumentem Alan Turing ukázal, že neexistuje obecný algoritmus rozhodující, zda libovolný program zastaví. Ale pro obrovské třídy programů zastavení rozhodnout umíme. Kompilátory rutinně detekují některé nekonečné smyčky. Nemožnost je jen pro obecný případ — a to je přesně ta skulina, kterou se do mysli řešitele vkrade naděje.

Na další polici Pepík našel záhadu, u které by strávil celé odpoledne. A taky strávil — s tužkou a sešitem přímo mezi regály, než ho knihovnice vyhodila na chodbu. Pravidlo je prosté: vezměte libovolné přirozené číslo. Je-li sudé, vydělte dvěma. Je-li liché, vynásobte třemi a přičtěte jedna. Opakujte. Otázka: dorazí posloupnost vždy k jedničce?

Formuloval ji Lothar Collatz roku 1937. Od té doby ji nikdo nedokázal — ani nevyvrátil. Paul Erdős o ní řekl, že „matematika na takové problémy možná není připravena,“ a vypsal za řešení 500 dolarů. Domněnka je ověřena pro všechna čísla do 2⁶⁸ (přibližně 2,95 × 10²⁰). Číslo 27 vyžaduje 111 kroků s maximem 9 232. Heuristicky „by to mělo fungovat“ — liché číslo v průměru vzroste o faktor 3/2, sudé klesne o 1/2, takže posloupnost v průměru klesá.

Ale průměr není důkaz. Terence Tao roku 2019 dokázal, že „téměř všechny“ Collatzovy orbity dosahují téměř omezených hodnot — ale „téměř všechny“ stále připouští potenciálně nekonečně mnoho výjimek. Existuje dokonce patnáctistavový Turingův stroj, který zastaví, právě když je jistá Collatzovská domněnka nepravdivá — což naznačuje možné spojení s nerozhodnutelností.

Fermatova poslední věta je případ, kdy past nakonec povolila — ale až po 358 letech. Tvrzení je dětsky jednoduché: pro n > 2 nemá rovnice aⁿ + bⁿ = cⁿ řešení v přirozených číslech. Pierre de Fermat si do okraje Diofantovy Aritmetiky poznamenal, že „objevil vpravdě podivuhodný důkaz, který tento okraj nepojme.“

Scéna z 1. března 1847 ukazuje, jak iluze funguje na profesionály. Gabriel Lamé na zasedání Francouzské akademie věd oznámil úplný důkaz — faktorizací v cyklotomických tělesech. Joseph Liouville okamžitě vstal a upozornil na fatální chybu: Lamé předpokládal jednoznačnou faktorizaci, která neplatí obecně. Wantzel 15. března tvrdil, že jednoznačnou faktorizaci dokázal — jeho argument byl rovněž chybný. A 24. května Liouville přečetl dopis od Ernsta Kummera, který přiložil svou práci z roku 1844 dokazující, že jednoznačná faktorizace v příslušných tělesech selhává. Kummer ale vynalezl ideální čísla, jimiž dokázal Fermatovu větu pro všechna regulární prvočísla — asi 61 % prvočísel. Na zbylých 39 % jeho metoda nestačila.

Mezi lety 1908 a 1912 bylo publikováno přes tisíc chybných důkazů — motivovaných Wolfskehlovou cenou 100 000 zlatých marek. Ironií osudu sám Lindemann, muž, který dokázal transcendenci π, publikoval několik neplatných důkazů Fermatovy věty.

Andrew Wiles pracoval tajně sedm let na Princetonu, než v červnu 1993 oznámil důkaz — který měl trhlinu. Opravil ji v září 1994 s pomocí Richarda Taylora. Finální důkaz zabírá 130 stran ve dvou článcích v Annals of Mathematics. Fermat tedy past byl — ale jen proto, že řešení vyžadovalo matematiku, která v jeho době neexistovala. Ne každý problém, který vypadá neřešitelně, neřešitelný skutečně je. Rozlišit jednu kategorii od druhé je celá pointa.

Proč je iluze „skoro to jde“ tak spolehlivá? Protože lidský mozek není neutrální pozorovatel — je aktivní spoluviník.

Efekt těsného minutí je základní mechanismus. Studie Clarka a kolegů z roku 2009, publikovaná v časopise Neuron, pomocí fMRI ukázala, že na zjednodušeném hracím automatu aktivují „skoro výhry“ překrývající se mozkové okruhy s reálnými výhrami — ventrální striatum, přední insulu, dopaminergní jádra středního mozku. Paradox: účastníci hodnotili těsné minutí jako nepříjemnější než úplné prohry, ale zároveň hlásili vyšší touhu pokračovat. Efekt byl nejsilnější, když měli pocit osobní kontroly nad volbou. Kruhoměřič, jehož konstrukce je přesná na pět desetinných míst, zažívá neurochemicky totéž co hráč automatu, jemuž chybí jedna třešnička.

Dunning-Krugerův efekt vysvětluje, proč se do pasti chytají převážně amatéři. Kruger a Dunning roku 1999 v Journal of Personality and Social Psychology ukázali, že účastníci v dolním kvartilu výkonu přeceňovali svůj percentil o přibližně 50 bodů. Klíčový mechanismus: kompetence potřebné k úspěchu jsou tytéž kompetence potřebné k rozpoznání vlastní nekompetence. Člověk, který nechápe transcendenci π, nemůže rozpoznat chybu ve svém „důkazu“ kvadratury kruhu. Tento efekt má metodologické kritiky — ale koncept metakognitivního selhání je na matematické blouznivce přímo aplikovatelný.

Potvrzovací zkreslení je devastující. Wasonův experiment 2-4-6 z roku 1960 je klasickou demonstrací: účastníci mají odhalit pravidlo za posloupností čísel, ale testují pouze potvrzující hypotézy — nikdy se neptají, kde se jejich přístup láme. Pouze asi 10 % vyřeší úlohu správně. Kruhoměřič, jehož aproximace π je přesná na tři desetinná místa, vidí potvrzení. Čtvrté místo za desetinnou čárkou přehlédne.

Utopené náklady uzavírají past. Arkes a Blumer v sérii experimentů z roku 1985 ukázali, že respondenti chtěli výrazně častěji pokračovat v odsouzeném projektu, když byly zmíněny předchozí investice, než bez této informace. Kahnemanova a Tverského prospektová teorie vysvětluje proč: ztráty bolí přibližně dvakrát více než ekvivalentní zisky. Opuštění projektu je jistá ztráta; pokračování je naděje. A když se pronásledování stane součástí identity — když je člověk „ten, kdo vyřeší kvadraturu kruhu“ — opuštění znamená ztrátu sebe sama.

Zeigarnikové efekt doplňuje obraz: psycholožka Bluma Zeigarniková roku 1927 popsala, že nedokončené úlohy vytvářejí trvalé kognitivní napětí, které udržuje problém v popředí mysli. Efekt se objevuje nejsilněji, když si člověk nemyslí, že úkol je nemožný — přesně stav matematického blouznivce.

A nakonec flow: Csíkszentmihályiho teorie optimálního prožitku říká, že maximální pohlcení nastává, když výzva mírně přesahuje aktuální dovednosti. „Skoro řešitelné“ problémy vytvářejí dokonalé podmínky: jsou dost náročné na plné pohlcení, ale zdají se právě v dosahu. Krutá ironie: nemožnost problému zajišťuje, že nikdy neopustí tento kanál dokončením.

Všech šest mechanismů se vzájemně posiluje. Efekt těsného minutí poskytuje dopamin. Flow udržuje pozornost. Potvrzovací zkreslení filtruje neúspěchy. Utopené náklady brání odchodu. Zeigarnikové efekt nedovolí pustit problém z hlavy. Dunning-Kruger znemožňuje rozpoznat, že problém je neřešitelný. Léčka je dokonalá.

Pepík dospěl, přestal chodit do knihovny a začal chodit do práce. Ale mechanismus, který v knihovně studoval, ho tam čekal v plné velikosti.

Sardónická poučka „fúze je 30 let daleko — a vždycky bude“ má empirickou oporu. Systematická studie publikovaná ve Springer Journal of Fusion Energy analyzující 45 publikací zjistila, že předpovídané datum realizace konzistentně osciluje kolem „aktuální rok + 30 let“ bez ohledu na dekádu, v níž predikce vznikla. Homi J. Bhabha řekl na konferenci OSN o mírovém využití atomové energie roku 1955, že si troufá předpovědět nalezení metody „do dvou dekád.“ ITER, koncipovaný při setkání Reagana a Gorbačova roku 1985, měl stát pět miliard eur; aktuální odhad je 18–25+ miliard s prvním plným provozem odloženým na rok 2039.

Vzorec se opakuje u umělé obecné inteligence. Herbert Simon roku 1960: stroje budou schopny do dvaceti let dělat jakoukoli práci, kterou dokáže člověk. Marvin Minsky roku 1970 pro časopis Life: během tří až osmi let budeme mít stroj s obecnou inteligencí průměrného člověka. Rok 1982 — Minsky přiznává: problém AI je „jeden z nejtěžších, jaké věda kdy podnikla.“ Ray Kurzweil od roku 1999 konzistentně říká 2029. Vzorec dvou „AI zim“ (1974–1980 a 1987–1993) ukazuje cyklus, kde každá generace věří, že právě ona má chybějící ingredienci.

I v každodenní praxi sofistikovaných systémů se mechanismus reprodukuje. RAG (Retrieval-Augmented Generation) vytváří specifickou iluzi úplnosti: výstupy citují zdroje, což dodává dojem rigorózního ověření. Na běžné dotazy funguje skvěle. Ale na dotazy z „dlouhého chvostu“ — otázky, které se neobjevují často — přesnost klesá. Jedna vymyšlená citace právního precedentu může mít důsledky, které žádná aproximace neospravedlní.

Struktura je pokaždé stejná: konkrétní instance fungují výborně. Obecné řešení se zdá na dosah. A právě proto je tak těžké přiznat, že obecné řešení možná neexistuje — nebo ne tím způsobem, jakým ho hledáme.

A pak je tu příběh, který celý narativ obrací vzhůru nohama.

Zatímco kruhoměřiči staletí marně bojovali s pravítkem a kružítkem, řešení se skrývalo v obyčejném papíru. Italská matematička Margherita P. Belochová ukázala již roku 1936, že skládáním papíru lze řešit kubické rovnice — přesně tu třídu rovnic, kterou pravítko a kružítko nedosáhnou. Klíčový je takzvaný axiom 6 (Belochův sklad): daný dva body a dvě přímky existuje sklad, který simultánně umístí oba body na příslušné přímky. Hisashi Abe roku 1980 popsal origami trisekci úhlu, Peter Messer roku 1986 origami zdvojení krychle. Robert J. Lang roku 2001 dokázal, že sedm origami axiomů (Huzita-Hatori) je úplných.

Nemožnost závisela na pravidlech hry. Změna nástrojů změnila hranice možného. Řešení nebylo v sofistikovanější technologii — bylo v prostším médiu.

Tohle je nejdůležitější lekce celého příběhu. Wilesův příběh, o kterém jsme mluvili výše, je toho dokladem — ale origami nabízí ještě radikálnější poučení: starořecké problémy mají řešení, jen ne v rámci, který si Řekové stanovili. A aproximační algoritmy ukazují, že „skoro“ je někdy dost dobré: Christofidesův algoritmus pro problém obchodního cestujícího garantuje řešení maximálně 1,5× horší než optimum, a v praxi to stačí.

Bylo by pohodlné vyprávět příběh černobíle: pasti jsou špatné, rozpoznejte je, utečte. Ale tak jednoduché to není.

Za prvé — kognitivní mechanismy, které vytvářejí past, jsou adaptivní pro skutečně řešitelné výzvy. Flow udržuje angažovanost. Efekt těsného minutí motivuje k dalšímu pokusu. Zeigarnikové efekt zajišťuje návrat k důležitým nedokončeným úkolům. Bez nich bychom opouštěli těžké problémy příliš brzy. Wiles by nedokončil svůj důkaz, kdyby se necítil pohlcen.

Za druhé — hranice mezi „pastí“ a „dlouhou cestou k řešení“ je často viditelná teprve zpětně. Nikdo v roce 1900 nevěděl, zda je Fermatova věta dokazatelná, nebo ne. Nikdo dnes neví, zda Collatzova domněnka je dokazatelná, nebo nerozhodnutelná. Někdy je vytrvalost ctnost, někdy šílenství — a rozlišit to předem je samo o sobě problém na hranici řešitelnosti.

Za třetí — i neúspěšné pokusy mají vedlejší produkty. Jak jsme viděli, Kummer vynalezl ideální čísla právě při hledání důkazu Fermatovy věty. Konstrukce perpetuí mobilí vedly k hlubšímu porozumění termodynamice. A celá flotila chybných pokusů o řešení problému P vs. NP — Gerhard Woeginger jich zkompiloval 116 mezi lety 1986 a 2016 — pomohla identifikovat tři fundamentální bariéry (relativizace, přirozené důkazy, algebrizace), které libovolnému budoucímu důkazu vymezují mantinely.

Pepík je dnes dospělý. Občas zajde do knihovny — té stejné, kde jako prvňák listoval záhadami. Na svém seznamu má pořád problémy, které vypadají řešitelně. Jen se teď u každého ptá na jednu věc navíc.

Karl Popper by tu otázku formuloval takhle: Co by vaši hypotézu vyvrátilo?

Pokud na ni máte odpověď — „kdyby se našel protipříklad,“ „kdyby měření ukázalo X“ — jste na cestě k řešení. Pokud na ni odpovědět nedokážete — pokud je vaše přesvědčení imunní vůči jakémukoli důkazu — možná jste v pasti.

Pepíkova dětská záhada — jak velký musí být čtverec, aby měl stejně místa jako kruh — má přesnou odpověď: strana je r·√π. Spočítat to umí kalkulačka. Sestrojit to pravítkem a kružítkem neumí nikdo a nikdy nebude umět. Ale složit to z papíru? To by Pepíka v knihovně napadlo jako první.

Některé problémy nejsou neřešitelné. Jsou jen špatně zarámované. A občas stačí přejít o regál dál.

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