вычислительная неприводимость.
Rambler's Top100