Сomputability theory на языке рекурсивных функций (?)

[_hum_]

Профессор Снэйп в сообщении #611593 писал(а):

Для каждого $x$ полагаем $g(x,1) = 0$ и начинаем вычислять $\varphi_x(x)$. Если окажется $\varphi_x(x) = 1$, то полагаем $g(x,0) = 0$, в противном случае оставляем $g(x,0)$ неопределённым. Вот и вся навскидка

Понятно. Спасибо.