チューリングマシンとかの話で出てくる停止性問題について、とてもわかりやすいたとえ話を聞いたので紹介。 停止性問題 停止性問題（ていしせいもんだい）は、（直接的には）計算可能性理論の問題で、チューリング機械（≒プログラム、アルゴリズム）Aに入力xを入れたら有限時間で停止するか、という問題。アラン・チューリ…