2010年06月25日のツイート - kururu

@kururu_goedel: @zhanpon 著者のEnderton 先生はUCLAの人。いい人ですよ。

@kururu_goedel: @zhanpon あれは良い本ですが(授業でも使いました)、recursiveとかの定義がえらくinformalなんで、そこだけは何か他の本で補えるとよいかも。

@kururu_goedel: おやすみなさい

@kururu_goedel: 「ゲーデルの不完全性定理を詳しく教えてください」だそうですよ、奥さん。URL

@kururu_goedel: その1-1の最初の部分にちょっと加筆。歴史は完全に無視してますよー。 URL

@kururu_goedel: ブログ書いた。続きの続き。 URL

@kururu_goedel: ブログ書いた。続き。 URL

@kururu_goedel: ブログ書いた。ずっと予告してたやつ。 URL

@kururu_goedel: ところで、"Pearly shells"という歌があるのを最近知ったんですが(URL )、これはやっぱりPerlで書かれたshellを暗喩した歌なのでしょうか?

@kururu_goedel: .@yukoim @kuri_kitchen 昨日はアドバイスありがとうございます。参考にして頑張ってみます。

@kururu_goedel: @night_in_tunisi 子どもを一緒に遊ばせるのが最終的に目標なので、地域の限定は不可欠なんです…。それでもSNSは便利なツールだとは思いますが。

@kururu_goedel: @tri_iro えーと、具体的に誰というのが私には全然わからないので、あんまり気にしないでください。状況によりますよね、確かに。

@kururu_goedel: とか書こうとずっと思っていたのだけれども、なんとなく書く。

@kururu_goedel: 死刑とかはなくなるといいなぁと思うけど、みんなに同意してもらおうとは思わない。ただ、死にたくないという感情まで批判しなくても良いのではないかと思う。

@kururu_goedel: 極悪人だろうと役立たずだろうとキモかろうと、本人が生きてたいって言ってそのために努力したりもがいたり画策したりするのまで否定しなくたっていいだろうと思う。まあ、自分が毎日毎日その三つ全てに当てはまるから死ねと言われ続けているからというのは確実にあるけれども。

@kururu_goedel: 「人非人でもいいじゃないの。私たちは、生きていさえすればいいのよ」(太宰治『ヴィヨンの妻』)

@kururu_goedel: @minami106 ZFCが無矛盾ならば、ZF+選択公理の否定も無矛盾になる、というのはCohenが強制法を使って最初に証明したことの一つです。これで答になっているのかは自信がありませんが。

@kururu_goedel: @h_kagami どうでもいいんですが、cofinalityは最初のiを発音せずに「こふなりてぃー」と読む人も多いですし、私もそうです。こふぁいなるてぃーの人もけっこういますけど。

@kururu_goedel: @tri_iro って2時間遅かったのか。

@kururu_goedel: @tri_iro よくないんじゃないですか?気持ちはわかるにしても。