• citace z Johancinych pohadek:

nebo si vycucáme z prstu brutální Ackermannovu funkci. Ta vypadá tak, že každý další krok je iterací předchozí operace, tedy A(0,x,y) je sčítání, A(1,x,y) násobení, A(2,x,y) mocnění a dál už to ani nepochopíme, jak je to brutální. A tato funkce má ve své definici while-cyklus a jen s pomocí for-cyklů ji vyjádřit nelze. Je na to teda odpudivý důkaz, ale ten zde uvádět nebudu :)