Newton-Raphson法ってどうなんだろう、という素朴な疑問があったりして。
話はちょっと逸れますが
> 例えば、「そのアルゴリズムは止まるんですか？」みたいな、定義に含まれることを質問してしまいそうで。
これは「そのソートで本当にソートされるんですか？」みたいな質問と同様で、「そのアルゴリズムは正しいんですか？」と解釈すれば、別におかしくないかと思います。
こんなやりとりがありましたけど、たまたま私の会社の先輩（数学畑の論理学な人）に
「停止しないものはアルゴリズムと呼んじゃいけないんですかね？」
とそれとなく聞いたら*1
「『アルゴリズムの停止性』を問う問題があるのだから、『止まらないアルゴリズム』はあって当然」
と断言していました。
いやー、言語って難しい。（ってそういうまとめ？）
*1:多分、このブログの論争(?)を彼は知らない…はず。
