Теория алгоритмов: "аксиома протокола"

[Anton_Peplov]

Xaositect в сообщении #919968 писал(а):

Построим алгоритм $B$

Спасибо. Я выполнил похожее построение, только в нем был один порок, который в итоге не позволял установить ни $y$ по номеру, ни номер по $y$, так что вместо эффективной счетности доказывалась просто счетность, которая и так ясна всякому пьяному ежику. А вот в Вашем построении я никаких ошибок не вижу.