Изменения

1) *нет источника; 2) *не "вызов зациклится", а "программа зависнет" (в доказательстве неразрешимости); аналогично "программа вернет 1"; 3) *после "но" запятая не ставится;