All we need is fantasy All to be we want to be!
Доказать, что класс функций совпадает с классом функций, вычислимых с помощью машин Тьюринга. Идея доказательства этого утверждения в одну сторону проста: сначала доказать вычислимость по Тьюрингу простейших функций, а затем вычислимость по Тьюрингу функций, получающихся из вычислимых по Тьюрингу функций с помощью выбранных операторов.
Проще некуда!!!!

Вы вообще никто не сдали?