2011年04月21日のツイート
@kururu_goedel: やべー、すげーお金が無い
@kururu_goedel: またどういう文脈かわからないけど、私を凍らせるツイートが。はい、きちんと理解できるように頑張ってます。URL
@kururu_goedel: @Terry_manu また、「そして今でも妥当性について議論がある。」というのは具体的にはどのようなものを指しているのでしょうか?私は最近の例を知らないので、よろしかったら教えてくださいますか?
2011-04-21 21:34:54 via TweetDeck to @Terry_manu
@kururu_goedel: @Terry_manu 集合論を専門としている者ですが、選択公理を初めてきちんと明示したのはツェルメロなのでは?ボレルやルベーグは選択公理の採用に反対していただけだと思うのですが。
2011-04-21 21:31:08 via TweetDeck to @Terry_manu
@kururu_goedel: どう説明すればいいのでしょうね。記号論理は数理論理学と読み替えていいのでしょうか。RT @maoyaman 記号論理と集合論の違いがわからん。集合論は数理科学系だと位相概念の説明に供されるが
@kururu_goedel: @hyuki リンデンバウム代数については@tri_iroさんがURL にいろいろ書いています
2011-04-21 13:17:12 via TweetDeck to @hyuki
@kururu_goedel: @hyuki ちょっと違いますが、論理式の集合にブール代数の構造をいれるリンデンバウム代数というのがあります。これを使うと無矛盾完全な理論全体の集合上に位相が入るはずです。論理式の集合にではないですが。
2011-04-21 13:11:51 via TweetDeck to @hyuki
@kururu_goedel: まあそのあたりは既に2chとかでは消化ずみなのだろうな。情弱ですよ、どうせ。
@kururu_goedel: それと、おかあさんといっしょに出てきているお兄さんの一人の踊りっぷりがハンパないんですが、あれはなんなんでしょう。動いて片足で着地してもバランスが全く崩れないし、手足の位置も毎回正確だし、パントマイムみたいな動きも的確過ぎて、他の人たちと一緒に踊ると浮きまくっている。
@kururu_goedel: @white_sep ちょっとまだいろいろぐだぐだなので、もう少しまとまったらなにか書きます。今証明できたと思っている定理が正しいかによって、ずいぶん流れが変わるというのもあります。
2011-04-21 12:48:52 via TweetDeck to @white_sep
@kururu_goedel: というわけで、私は「真の○○」を直接研究しないだろうけれども、それを無駄とか無意味とか思っているわけではないということで。元の話題から外れたところに着地したので、エアリプライにして良かったと思っているところ。
@kururu_goedel: あとは、私は人間が持っている興味の分布というものをとても信頼していて、最終的には研究したい人が研究したいことをやっていくのが社会のためになるはずだという信念(信仰?)がある。無論、リソースは有限なのでいろいろな妥協をしなければならないのだけれども。
@kururu_goedel: 一つには、選択公理に関する議論があまりに長い間「正しいか」に拘りすぎて、「正しいか」を考える材料を作ることにすら十分な力が割かれなかったのがとても残念なことだと思っていることはある。
@kururu_goedel: ただ、私には全くそういうことに対する適性は無いようなので、「わかるとしたら」「できるとしたら」を仮定したときにわかることに集中することにしている。そして、それが私にできる最大の「真の○○」への探究への貢献だと思う。
@kururu_goedel: 蒸し返すべきでもないような気がするのでエアリプライ。私は「真の○○」を考えるのは立派で大変なことだと思うし、それを本当にやっている人たちは尊敬している。私の哲学に対する敬意はそこから来ている(まあ単純化し過ぎと怒られそうだけど)