2011年04月10日のツイート
@kururu_goedel: @muratori_d Con(ZF)→Con(ZFC)は、1)Con(ZF)を仮定、2)モデルがあるのてとる、3)そのモデル上でZFCのモデルを構成、4)ZFCのモデルがあるので、Con(ZFC)、と私はイメージします。
2011-04-10 11:57:10 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d この2つを組み合わせると、文の集合が無矛盾であることと、モデルが存在することが同値であると言えます。
2011-04-10 11:53:23 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d そこはもっと、ストレートに、健全性完全性定理を使って考えた方がわかりやすいと思います。
2011-04-10 11:51:52 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d こういうのは数理論理学に特有な議論なので、つまずくのも当然です。あせらず行きましょう。
2011-04-10 11:45:10 via TweetDeck to @muratori_d
@kururu_goedel: @aoi_nagatsuki 実はそのとき私は飛び級に飛び級を重ねて3歳で大学に通っていたのですが(おい)
@kururu_goedel: 足立先生にフォローされて恐縮中。授業を受けているときにフェルマーの最終定理が解けたというニュース(まだギャップがあった時の第一報)のとき、「こんなときに普通の授業やる気にならないから」といってそれに絡んだ話をされたのをよく覚えています。正直、内容は覚えていなくてごめんなさい
@kururu_goedel: 娘の枕カバー描いてあるディズニープリンセス、特にオーロラ姫がジョジョっぽく見えてならないので、誰か荒木風眠れる森の美女描いてくれないかなとかふと思う
@kururu_goedel: @kou_minazuki なんでまた生の論理式を?そんなのプロの数学者でもすぐにはピンときませんって。
2011-04-10 09:53:55 via TweetDeck to @kou_minazuki
@kururu_goedel: @sordfish777 背景には、今回の共和党の躍進で大きな役割を果たしたtea party運動が、かなり過激な予算削減を要求していて、共和党本流も突き上げられているという事情があります。
2011-04-10 04:39:08 via TweetDeck to @sordfish777
@kururu_goedel: @sordfish777 それで、ギリギリまで密室交渉やっていたわけです。ただし、形式上は来週までの延期法案を通しただけなので、国会での議決が本当にスムースに済むかはちょっと不安。実際「私はまだ態度を決めていない」とラジオで公言した議員も。
2011-04-10 04:36:21 via TweetDeck to @sordfish777
@kururu_goedel: @sordfish777 予算編成の延期みたいのはできて、今年もすでに何回かやっているし、昨日に関しても、延期法案を通して一週間くらい先延ばしにできたのだけど、オバマが切れて「これだけ交渉してこれだけ合意点が増えて数字が近づいているのに合意できないのはダメだ」と主張
2011-04-10 04:31:49 via TweetDeck to @sordfish777
@kururu_goedel: @sordfish777 いくつか補足。政府閉鎖はそんなにまれなことではなく、レーガンのときかブッシュ父のときかに起こっているので、そこまでの異常事態ではないです
2011-04-10 04:26:51 via TweetDeck to @sordfish777
@kururu_goedel: @sordfish777 選挙での大勝をたてに予算の大幅削減を要求した共和党と、それをできるだけ阻止しようとした民主党がぶつかりあって今年の予算が通らなかったということです。
2011-04-10 04:24:43 via TweetDeck to @sordfish777