2011年08月17日のツイート

@kururu_goedel: @evinlatie おめでとうございます

2011-08-17 22:41:27 via TweetDeck to @evinlatie

@kururu_goedel: そういえば、テキサス州知事にして大統領候補であるRick Perryとかいう人が、バーナンキを国家反逆だとか罵っていたらしい。そんなら、日銀とFEDでトップ交換しようぜ。

2011-08-17 12:33:02 via TweetDeck

@kururu_goedel: もうそろそろ妻にどなられそうなタイミングなので寝ますが、@tri_iroさんと@tenapiさんのChoquetゲーム云々の話が面白そうなので、私が起きた頃に誰か140字以内で説明してください。

2011-08-17 12:00:40 via web

@kururu_goedel: @kagami_hr Ph.D.取るならそうなるだろうと思います。…そうなるとその学生さんがどの程度まで勉強/研究するつもりがあるかにかかってくるわけですね。

2011-08-17 11:58:14 via web to @kagami_hr

@kururu_goedel: @night_in_tunisi ごく普通の一変数解析学をきちんと証明付きでやるだけです。ルベーグ積分には行きません。というか行けるなら行きたいですが行けません。

2011-08-17 11:56:03 via web to @night_in_tunisi

@kururu_goedel: κが可測基数であることの定義はκがcritical pointになるような初等埋め込みが存在することなので、κが特異だとしてf:cf(κ)→κが共終だとすると、j(f):cf(κ)→j(κ)が共終になるのだけど、j(f)(γ)=f(γ)なので矛盾でQEDと言い出すクラスタ。

2011-08-17 11:54:43 via web

@kururu_goedel: いや、もちろん研究やって論文書きたいっていうのなら、数学の証明の知識は必要になって、すなわち実解析なんてやってあって当然になるでしょうけれども。

2011-08-17 11:48:20 via web

@kururu_goedel: なんか大学院で経済勉強したいっていう人が、Real Analysisを聴講したいって言ってきたんだけど、普通に経済学やるのにε-δ使ってガシガシ証明書いていくのが必要になることってありますかね。証明を気にしないバージョンはすでに修了しているのですが。

2011-08-17 11:46:36 via web