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