2007-01-26から1日間の記事一覧

「神はサイコロを振らない」を誤解してました。

アインシュタインは量子力学は間違ってると言ったんだと思ってました。 そうじゃなくて「まだ本物ではない」という言葉のあとで「神はサイコロを振らない」と書いてたんですね。 つまり、量子のふるまいは偶然決まるのではなくて、まだわかっていないけど何…

計算不可能だけど決定論的なこと

ペンローズの“量子脳”理論―心と意識の科学的基礎をもとめて (ちくま学芸文庫)での茂木健一郎さんのあげてた例を簡約にすると プログラム1が停止するとき→プログラム2の停止判定へ プログラム1が停止しないとき→プログラム3の停止判定へ のように状態遷移して…

区体論が完成すると、オブジェクト指向でモノを扱えるようになる

区体論ってのは、ここの人が提唱してる数学の理論です。 現代数学における問題と困難(集合論) ようするに、何をしようとしてるかというと、集合論ではモノの集合が扱えないので、モノの集合が扱える集合論を区体論として構築しようとしてるのです。 オブジ…