komamitsu.logスマートフォン用の表示で見るスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。読者です読者をやめる読者になる読者になるkomamitsu.log2008-12-04コルモゴロフ複雑系で玉砕中computer_science最近、社内で計算機科学系の勉強会が開催されていて、前回はゲーテル数⇒不完全性定理のコンボ。ゲーテル数は理解できたのだけど、不完全性定理の証明についていけず撃沈。明日は乱数についての話で私の番。テキストをみたところ、擬似乱数の生成方法とかが載っていたので楽勝かと思っていたら、途中からいつのまにかコルモゴロフの複雑系の話になっていて、その証明はゲーテルの不完全性定理に通じるものがあり不可能なんですとかなんとか...でよくわからず、すっきりしないまま今にいたるのであった。自己証明とかになるとイメージすらできなくなってきますよ。Blog|ブログを報告する。