Ne, já jen přemýšlím, jestli zase trollíš nebo co to má být... 
Dan tvrdí, že znalost "Halting Problem" se pro praktické IT hodí. A mě by zajímalo, kde a k čemu se to hodí. Je to trolling jenom částečně, protože klidně řeknu, proč se na to ptám: protože podle mě to není pravda, znalost HP není imho z praktického hlediska víceméně k ničemu
Tak minimálně to může někomu ušetřit čas při hledání algoritmu, který prokazatelně nemůže existovat. Přitom zrovna HP je tak jednoduchý koncept, že těch 15 minut přednášky za ten výklad stojí, studenti beztak už budou diagonální metodu znát z analýzy nebo teorie množin.
Na obecnější rovině - umět vypočítat gravitační dilataci času taky není praktické, pokud teda zrovna někdo nenavrhuje GPS, což asi 99,999% fyziků nikdy dělat nebude, a stejně se to učí všichni. Možná mi jen uniká ta správná definice slova “praktické.”
BTW nepřipadá mi moc moudré odrazovat lidi od studia VŠ nebo jim ji dokonce znechucovat, pokud teda nechceme společnost podle dementního Hanáka (Svaz průmyslu), na rozdíl od něj běžnému občanovi nikdo nezaplatí ukrajinský “diplom z Oxfordu.”