>>34
それは「アルゴリズムが存在する」の定義であって、アルゴリズム
そのものの定義と違うんでは内科？

その定義だと、停止が保障できる場合はプログラムそのものが
アルゴリズムになってしまうので。
じつは、もっと抽象的なものであって欲しいという願望があるだけ
なのだが(私にとって)。