プログラマの数学

読了。最後は計算不能問題。FaultCheckerが登場。自分が計算機能論で教わったときにはFaultTesterだった。（名前が違うだけ）

アマゾンの書評を見ると文系のプログラマにおすすめとか言う書評が目立つけれど、計算不能問題は理系の人でも情報系の科目をとっていない限りお目にかからなそうな気がする。