2011年03月04日のツイート
@kururu_goedel: あ、俺いま歳がバレる発言した？してないよね。うん、してないことにしよう。
@kururu_goedel: @sarabayuutsu ただ、私は内部モデルは全然詳しくないので、それっぽい研究をしている人に聞けるようなら聞いてみるといいと思います。私が１０年前に読んでいた時も師匠が「古い」と言っていたわけで。
@kururu_goedel: @sarabayuutsu 基本にはなっていると思うんですよ。ただ、お話で聞いている限りでは最近の内部モデル理論の雰囲気は、Devlinのそれとはずいぶん違うような気がするので、最初から巨大基数のある内部モデルをやる気で書き始めている本のほうが良いのではと思うわけです。
@kururu_goedel: @mr_konn んで、「本物の女性誘ったら来てくれるかもしれないじゃないか」ってバーテンダーに聞かれて、「それがどのくらいありえないことか分かっているのか！」と答えたという
@kururu_goedel: @mr_konn "Mathematician plays stock market"って本で、バーの片隅で量子力学的には０でない確率で起きる、美女が隣の席にいきなり現れることを待ち続ける物理学者ってのが出てきました。
@kururu_goedel: @sarabayuutsu 近くに内部モデルな人がいるなら、Devlin読んでおいた方がよいか、最近の本から始めた方がよいか聞いておいた方がよいかと
@kururu_goedel: @sarabayuutsu 私も必要なところだけ読んですませたので偉そうなことは言えませんが、内部モデルへの導入としてはあれは古すぎるのでは？
@kururu_goedel: と思ったけど、一番途中でぶった切っても問題ない作業だからこのまま続ける
@kururu_goedel: よし、これで２月中に終わらす予定だった1/3を突破。ひとまずこれで切り上げる
@kururu_goedel: あーなんか久しぶりにベートーヴェンの交響曲第三番のどう考えても無理があるのになぜかまとまっている楽器の使い方が聴きたい
@kururu_goedel: 例のサーベイ英訳中。
@kururu_goedel: 今一瞬、radiocarbon datingがなんか新しいデート方法に思えた
@kururu_goedel: セミナーに行ったら今日はお休みらしい
