2011年10月08日のツイート
@kururu_goedel: RT @coolplus099 専門知識は持ってるけど常識は知らない専門家には社会の常識レッスンとか研修とかやらせたらどうでしょうか
@kururu_goedel: 量子論理とか全然知らないので、コメント求められてもこまるというか。
@kururu_goedel: ただし、使うのならfashionable nonsenseでないきちんとした応用をして欲しいです。だから、自分がそれなりの確信をもって信頼できそうだと思うもの以外を無闇に論じたくないです。
@kururu_goedel: エア解答すれば、もちろん数学以外の分野、例えば物理学や経済学に非自明な集合論を使ってもらえるなら嬉しいです。
@kururu_goedel: インタビューズ、質問を消しました。引用された論文がまともなものかどうか判断するが面倒なので。
@kururu_goedel: @tri_iro そうですか。早とちりしてすみません。でも何かの機会に見てみます。
2011-10-08 03:43:38 via Seesmic to @tri_iro
@kururu_goedel: ああ、でもここで@tri_iroさんとか @kagami_hrさんと 話している方がよっぽど数学者らしいけど、でも雑用もやらないと。
@kururu_goedel: 仕事するナリよー
@kururu_goedel: @tri_iro へー、Suslinian continuum(ススリン直線の完備化ですよね?)とかは、Continuum theoryでは扱われていないのかと思っていました。情報をありがとうございます。
2011-10-08 03:25:20 via Seesmic to @tri_iro
@kururu_goedel: Continuum theoryが云々の話はこれが発端かな。一応、「強制法でmanifold弄る!」とかいうのもHandbook of set-theoretic topologyにありますし(未読)、大変だけどやれることはあるかもしれません。
@kururu_goedel: @kagami_hr 可算モデルを考える理由は、Vの中でM上ジェネリックフィルターを構成することができるという一点のみで、そこさえ認めてしまえばあとはなんとでもなるんじゃないですか?強制関係とかネームとかの議論には影響はないと思います。
2011-10-08 03:17:56 via Seesmic to @kagami_hr
@kururu_goedel: @tri_iro ただし、多分continuum theoryの人たちが考えているような問題は、強制法が効きにくいような性質のものだろうってことで。だから、普通に何かをやっても「ふーん」で終わりそうな気配が。
2011-10-08 03:13:47 via Seesmic to @tri_iro
@kururu_goedel: @tri_iro 強制法が圧倒的に得意なのは変な位相空間を作る話なわけですが、continuum theoryで扱う空間は制限がきつくてなかなか難しそうです。でも、実数の性質をあれだけいじれるのだから、やれることはたくさんあると思います。
2011-10-08 03:11:48 via Seesmic to @tri_iro
@kururu_goedel: @kagami_hr 言ってないと思います。「有限個の公理」は「公理系の任意の有限部分集合」とか言うとより正確かも。二番目の文はブール代数値モデルのことですか?
2011-10-08 03:07:56 via Seesmic to @kagami_hr
@kururu_goedel: @tri_iro Continuum theoryのことはその定義しか知らないのですが、強制法でいじるのは難しそうな気がします。…あれ、Continuum theoryって可分とかmetricとか仮定しないんでしたっけ。
2011-10-08 03:04:43 via web to @tri_iro
@kururu_goedel: @shinji_kono 「可算モデルでしか有効でない」は不適切です。状況によっては非可算モデルでもジェネリックフィルターをとれますし、第一が可算モデルでもその中では大きく見えている基数がいくらでもあるわけで。
2011-10-08 02:58:46 via web to @shinji_kono
@kururu_goedel: うそだどんどこどーん
@kururu_goedel: うおーん