to neni zadani. to je jen predehra vysvetlujici paradox.
Ok, tak kde je tam teda to zadání? Kde je ten paradox popsaný nejak konkrétněji? Zbytek článku akorát nahrazuje matematika Turingovým strojem a to jen dost neformálně.
Soudce řekl "Popravíme tě, pokud nedokážeš, že tě popravíme", Matematik dokázal že ho
nepopraví a je popraven. Dokázal něco jiného než měl. Co nechápu je, proč se v tom autor tak patle. V tom problému není nějaké zacyklení TS, nebo něco takového. Ten problém má už v zadání dané, že důkaz zneplatní sám sebe (pokud by dokazoval, že ho popraví). Jakýkoliv jiný důkaz je (díky zadání) irelevantní.
Jestli se z toho článku dá něco vyvodit, tak že pokud postavíme TS do neřešitelné situace, tak ji pochopitelně taky nevyřeší. Jen nevím, proč je něco takového třeba dokazovat.