S tim nekonecnym cyklem je to fama. Neexistuje pro to matematicky dukaz. Navic v praxi je to jedno, pokud se program sekne na hodinu, lze to uz povazovat za nekonecny cyklus.
Zde byl jen hezky prakticky a pro laiky demonstrovan halting problem a jeho "dukaz" bez nutnosti znat prislusne formalismy. Tedy nechapu, co myslis tou "famou".
S tim rici, zda hodinu neodpovidajici program je zacykleny, to nemusi byt zcela jednoduche ani v praxi, zalezi na komplexite prislusneho software - kdyz ti nebude hodinu odpovidat notepad, tak asi neco spatne bude, kdyz hodinu nebude mit zadny vystup program pro nejake numericke modelovani, tak vse muze byt v nejlepsim poradku. Ta tva hodina je jen empiricky zjistena doba, kdy by mel konkretni program na obvyklych datech neco provest.
Někde jsem četl, že člověk (uživatel) nějakého běžného software, pokud třeba klikne a nic se neděje více, než 4 vteřiny, má s největší pravděpodobností sklony kliknout znova, či být velmi nervózní :-D Proto asi existují progressbary, aby nervozisti viděli, že se "něco děje" :-D
