Здравствуйте, GhostCoders, Вы писали:

GC>Я вот тут в форуме Алгоритмы

Автор: GhostCoders
Дата: 08.03.20

(тоже на rsdn) написал про ошибку в доказательстве Тьюринга о неразрешимости проблемы остановки.
GC>Но что-то тот форум какой-то вялый.
GC>Может кто-то здесь прокомментирует?

О, господи. Ну сведением же решается, тот же семестр вуза, где вычислимость проходят.

Пусть ваш алгоритм с 0 и 1 на выходе существует. Берем его и строим другой: когда ваш алгоритм завершается с ответом о расходимости входного, запускаем бесконечный цикл. Получаем алгоритм, про который Тьюринг доказал, что его не существует