2011年08月19日のツイート
@kururu_goedel: らんま50 #タイトルを100倍にすると盛り上がる
@kururu_goedel: @aoi_nagatsuki あ、教えて君みたいになってしまいましたが、そこが疑問だなーと思うわけです。
@kururu_goedel: @aoi_nagatsuki 大変そうですね。そのレベルの審査は、誰がやるのでしょう?知識と経験のある人は少なくて忙しいし、そういうのがない人は基準が適当でしょうし。そのバランスをどうとるかが難しそうで、そこが研究費についてもネックだろうと。
@kururu_goedel: うまく書けないので下手に書くことにしよう。定義不能だけど、なぜか選択公理から存在は言えるような構造が存在して、宇宙を見晴らしのよいものにしている、というのが「自然な構造」的な見方ではないかと思うわけです。いろいろ舌足らずなんだけど、これで送信。
@kururu_goedel: @tenapi ゲーデルにとっては、シルピンスキ集合とかの方が秩序を持たないという意味でランダムで、それが真のランダムでないことを言うために、それらを秩序づけて結果的にCHを否定するような集合が必要だったのではないかと妄想(はい、妄想オンリーで)。
2011-08-19 14:12:45 via Mobile Web to @tenapi
@kururu_goedel: @ytb_at_twt 査読のリソースさえ足りれば可能でしょうが、数学では全然足りないと思います。
2011-08-19 14:04:18 via TweetDeck to @ytb_at_twt
@kururu_goedel: 多分だめだけど。研究者コミュニティは、既に多忙な人たちをただ働きさせることで成り立っているみたいなものだから。
@kururu_goedel: しかし、こう考えてみると、マンガや小説の新人賞ってどう最初の審査をやっているのだろう。全てちょっとでも見るならすごい労力ではないだろうか?もしそのメカニズムが動くなら、学歴不問のグラントがあってもいいかもしれない。
@kururu_goedel: 博士号を持たない大学教授はいるわけで、業績さえあれば誰も文句は言わないでしょ。博士号がなくても研究ができる人はいるかもしれないけど、それを実証するのはそちらの責任にしてもらわないと、リソースがいくらあっても足りない。
@kururu_goedel: もう私がいうようなことは出ているからリプも飛ばさないけど、博士号が金さえあれば取れる資格ではないかというのだけでもすごいなあ。
@kururu_goedel: それなら有限順序数と書けと言われるだけだと気づいた。
@kururu_goedel: あくまで個人的にはですが、自然数は有限順序数を指すつもりで使っていて、だから非負整数とはちょっとニュアンスが違うのです。だから、0を含む自然数なら非負整数と書けばいいと言われると、ニャー。
@kururu_goedel: @0_uda ありがとうございます。このツイートを含む半数以上のツイートは妻に隠れてのものです。
2011-08-19 12:57:09 via TweetDeck to @0_uda
@kururu_goedel: @jun0inoue 多態でも大変だと思いますが、型の存在しない集合論の世界では、本当に文脈を読む以外に見分けがつかないケースがあるので、かなり困ります。
2011-08-19 12:53:02 via TweetDeck to @jun0inoue
@kururu_goedel: 【速報】ネックレスをnecklessと綴った【お前は本当に10年以上アメリカに住んでいるのか?】
2011-08-19 10:41:50 via web
@kururu_goedel: 現実問題として、プロポーザルのレビューは面倒な仕事だし、候補者をある程度絞るシステムはないと困るわけで、博士号取得者に限るというのは比較的穏当な制限だと思うわけです。
@kururu_goedel: @tenapi それはそうなんですが、f(S)で像を表すのは違和感があるだけではなく混乱を招くと思うというか、むしろ自分が混乱するので…。
2011-08-19 01:11:43 via Seesmic to @tenapi
@kururu_goedel: マジでf^{\rightarrow}Sとf^{\leftarrow}Sが流行って欲しい。
@kururu_goedel: ああ、おまけにK先生が大嫌いな、像にf(S)を使い、逆関数と逆像の両方にf^{-1}を割り当てるやつだ。これは授業中はK先生方式でf[S]、f^{-1}[S]をできる限り使おう。
@kururu_goedel: 動揺中。
@kururu_goedel: あちこちでそれが効いてきてるから、最初の授業で涙を流しながら「私は0を自然数としたいのですが、ここでは涙を飲んで0は自然数でないとみなすことにします。うおーん」と説明するしかないな。ところで涙を流しながら「涙を飲んで」って矛盾してる。
@kururu_goedel: おおうう、使う予定の実解析の教科書、0が自然数じゃねえよ。ぐほっ。
@kururu_goedel: いや、まあ、私がバカだったのだけれども、ユーロで通貨統合って話が出てきたときに、マスコミでは誰も、国単位でお金を刷れないから財政再建に陥る国が出るかもねなんてこと言ってくれてなかったよね(私がよく見ていなかったのかもしれないけど)。