Вопросы и ответы

Эдгарс Берзиньш
Не могу найти несоответствие определению алгоритма.

Есть доказательство, про которое сказано, что оно ошибочно:

"Докажем", что всякая вычислимая функция f с натуральными аргументами и значениями может быть продолжена до всюду определенной вычислимой функции g: N -> N . В самом деле, если f вычисляется алгоритмом A, то следующий алгоритм B вычисляет функцию g, продолжающую f: " если A останавливается на n, то B дает тот же результат, что и A ; если A не останавливается на n, то B дает результат (скажем) 0.

Не могу понять, где ошибка - подскажите, пожалуйста.