計算できない問題・関数についてがすごくわかりやすかった。簡潔で適切な文章だけでなく、イメージしやすくなるようなコードがついているので理解しやすい。対角線論法についての説明もあったけど、これまでで一番わかりやすいテキストであった。多謝。

最近、社内で計算機科学系の勉強会が開催されていて、前回はゲーテル数⇒不完全性定理のコンボ。ゲーテル数は理解できたのだけど、不完全性定理の証明についていけず撃沈。で、明日は乱数についての話で私の番。チラッとテキストをみたところ、擬似乱数の生成…