台風商会のたまに読書、いやAI

副題 ゲーデルとチューリングの考えたこと
著者 竹内 薫
発行 講談社 2013-04-20 第1刷
価格 900+税
ISBN978-4-06-257810-3

自分も教科書ではなかなかわからず、モヤモヤした気持ちのままでいた。
本書の「ステップ式」がわかりやすいかといば、やはり途中で混乱ぎみになってしまったと思う。それでも高校のころの休まず考えられる時期に戻ることができたなら、理解できたかも。
副題からして「チューリング的に考えればいいんじゃない？」というノリに従えば、「while を含んだプログラムが有限回で停止するかどうかを、判定するプログラムが書けるか」という問題にできるようである。プログラム論にしてくれれば問題自体はわかりやすい。