停止性問題、[バカ犬を使った停止性問題のわかりやすい例え – 明日とロボット](http://d.hatena.ne.jp/astrobot/20110729/1311957116) と [停止性問題のいやらしいところ | okkyの日記 | スラッシュドット・ジャパン](http://slashdot.jp/journal/467651/%E5%81%9C%E6%AD%A2%E6%80%A7%E5%95%8F%E9%A1%8C%E3%81%AE%E3%81%84%E3%82%84%E3%82%89%E3%81%97%E3%81%84%E3%81%A8%E3%81%93%E3%82%8D) よむとなんとなくわかった気になる。