>>46とかの風紀委員さんは、単に数学の結果を暗記してるだけで
停止問題の決定不可能性証明も実際にはできないんだろうなあ。

>>41-43が言ってるような限定された停止判定が決定可能だというのは、
停止問題関連の話をかじればすぐに証明できる定理で、よく知られた数学的事実なのに、
よくぞ自信満々に>>46のような発言をできるものだ。