YUM's daily memoより。こ、これはぺたぺただん。の陰謀ですよ!!そうに違いない。
capsctrldaysより。
RHG読書会::東京 Reloadedより。ゲーデルの不完全性定理も、チューリングの停止問題も、ラッセルのパラドックスも、すべて対角線論法で、不動点なのです。という、講義ノート。
これを読んで、計算機科学を勉強したくなった。とりあえず教科書を買おう。
最近のコメント