2010年12月09日のツイート
@kururu_goedel: @next49 詳しい人につっこまれそうですが、数理論理学(mathematical logic)は数学。単に論理学といえば普通は哲学です。もっとも、数学者同士でlogicといえば数理論理学をさしますが。
2010-12-09 15:06:31 via TweetDeck to @next49
@kururu_goedel: @mr_konn 一般連続体仮説、generalized continuum hypothesis。
2010-12-09 14:57:32 via TweetDeck to @mr_konn
@kururu_goedel: @night_in_tunisi 正直、これまでそれなりにまともな報道をしてきたところでさえ、日本の状況を引き合いに出さずに、ヨーロッパの財政破綻のことばかり話しているのが恐ろしいです。
@kururu_goedel: @night_in_tunisi つーか、アメリカでも、最近はそういう議論ばかりマスコミにでていて、頭が痛いです。
@kururu_goedel: @night_in_tunisi あー、財政赤字が問題だと思う人が、近々増税があるに違いないと思って消費や投資を控えるのが問題なのでは。自己実現的パニックでバカバカしいのですが。
@kururu_goedel: @h_kagami もちろんそれは、Lの方だと既にわかっているから究極っぽくないという理由もありますが。
2010-12-09 13:01:19 via TweetDeck to @h_kagami
@kururu_goedel: @h_kagami ちょっとそれは……。ゲーデルのプログラムっぽく、内部モデル的構造を持つけれども、巨大基数公理のようなものも満たすものと考える方が普通かと。
2010-12-09 12:58:58 via TweetDeck to @h_kagami
@kururu_goedel: これ。まあネタにマジレスってことで。QT @patho_logic: 基数といえばpcf理論.
@kururu_goedel: シャーマニックプリンセスのエンディングのモノローグが言えなくなっていて悲しい。
@kururu_goedel: @patho_logic そういう人を引かせるような発言は控えてくださいよ。ポーランド学派とかその当時の人たちだっていろいろやっていたじゃないですか。
@kururu_goedel: @t_uda 確かに、いろいろ大変な話はあるんですが、最初はそういうのが必要でないところから行ったほうが良いと思います。
2010-12-09 02:43:14 via Seesmic Desktop to @t_uda
@kururu_goedel: @ttmtko 他の題材との時間の兼ね合いで最後まで考えていたのですが、今日やって来ました。詳細はあとでブログにでも書いてみます。そこそこ反応はよかったと思います。
2010-12-09 02:41:08 via Seesmic Desktop to @ttmtko