スノーグローブとゲーデルとマトリックス - hiroki_f’s diary眠い‥*1 映画マトリックスは好きな映画の一つだ。 主人公ネオの生きていた世界は実はコンピューターの中だったという話。 ネオは飴玉をなめて、コンピューターの外の世界に出ることができた。コンピューターの外部の世界を出ることに成功したネオは、マトリックスの物理法則をチートして、マトリックスの世界で超能力者になる。 第二部以降で、ネオは現実世界にもチートをして、超能力者になる。えっと、それは単にVMから出ただけで、まだコンピューターの世界にいたってことなのかな？ ネオの存在までマトリックスでは織り込まれていた感じだったし。 これって、スノーグローブだよね。 昨日のラムダ計算のセミナーは面白かった。 あっ、言い忘れていた：なんで停止性なのか？ - 檜山正幸のキマイラ飼育記 ゲーデルの論文のほとんどは 1.できる演算の定義 2.命題を数字にすることができる。 に費やされていて、その解説が終わったら、
