プログラムの停止性問題とか

計算できない問題・関数についてがすごくわかりやすかった。簡潔で適切な文章だけでなく、イメージしやすくなるようなコードがついているので理解しやすい。

対角線論法についての説明もあったけど、これまでで一番わかりやすいテキストであった。多謝。