Как доказать, что не существует всюду применимого продолжени

[Antony]

Здрасти,
Как доказать, что не существует всюду применимого продолжения универсального алгоритма? (В модели Маркова или Тьюринга или etc)? Мне это необходимо знать.
Подскажите, пожалуйста, если кто-то знает.

[Fj]

А можно более понятными словами?

Жёппой чую, что доказать могу, но не знаю что =)