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.
No neviem, ale na prednaske som videl formalny dokaz ktory potvrdzuje
Algoritmicku neriesitelnost problemu o rozhodnuti zastavenia.
Takze dokaz existuje.
Problem zastaveni je neresitelny, coz plyne z formalniho dukazu sporem, ktery predvedl jiz Alan Turing. Neni resitelny ted a nebude resitelny ani za milion let.
