スノーグローブとゲーデルとマトリックス - hiroki_f’s diary
眠い‥*1 映画マトリックスは好きな映画の一つだ。 主人公ネオの生きていた世界は実はコンピューターの中だったという話。 ネオは飴玉をなめて、コンピューターの外の世界に出ることができた。コンピューターの外部の世界を出ることに成功したネオは、マトリックスの物理法則をチートして、マトリックスの世界で超能力者になる。 第二部以降で、ネオは現実世界にもチートをして、超能力者になる。えっと、それは単にVMから出ただけで、まだコンピューターの世界にいたってことなのかな？ ネオの存在までマトリックスでは織り込まれていた感じだったし。 これって、スノーグローブだよね。 昨日のラムダ計算のセミナーは面白かった。 あっ、言い忘れていた：なんで停止性なのか？ - 檜山正幸のキマイラ飼育記 ゲーデルの論文のほとんどは 1.できる演算の定義 2.命題を数字にすることができる。 に費やされていて、その解説が終わったら、
統計力学 - hiroki_f’s diary
先進的な統計力学の教科書が相次いで出版されている。 統計力学再入門 ベータ版1 Equilibrium statistical mechanics ― a second introduction 大野克嗣 http://webusers.physics.uiuc.edu/~y-oono/SecondSMJ.pdf 統計力学 未完成公開版 田崎晴明 http://www.gakushuin.ac.jp/~881791/statbook/ 統計力学の基礎 清水明 http://as2.c.u-tokyo.ac.jp/lecture_note/statmech.pdf 執筆途中のものらしい これらの教科書の主張は、 「統計力学の確立モデルは熱力学を再現する為の方便にすぎない」 ということに集約される。 等充率の仮定もS=k log Wも熱力学を再現するための数学的手法にすぎないという見方だ。 こ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
