2011年01月11日のツイート
@kururu_goedel: 「その質問は型エラーです」が最強だと思っていたけど、「unitypedな集合論が好きと言っているくせに都合のいい時だけ型をつけるな」と怒られそう RT @susukeneko: 「私と数学と、どっちが大切なの」という質問は、
@kururu_goedel: 誰かForcing absoluteness使った証明とかCoqかなんかにぶち込んでやってください
@kururu_goedel: 証明器とかは、一般にイメージされているよりもよっぽど本当に実数をいじっているのに近いと思うんだけれども、思っているだけでプー
@kururu_goedel: とか言ってみたりしてプー
@kururu_goedel: 有限な人間が無限を測るには、他の無限と比べればいい。有限な人間が無限な操作をするには、他の無限をインデックスにして回してやればいい。それを言ったら素粒子だって手で操作できるわけじゃないし、天体に足を下ろせるわけでもないんだから。
@kururu_goedel: 【速報】立ち上がるときにすごい勢いで頭ぶつけてすげーいてー【速報】
@kururu_goedel: @SudaAkira これはおわたじゃなくて始まったでしょう。
@kururu_goedel: 一昨日「微積?で一回CだったのをBにしたいからあなたの授業を取りたいんでよろしく」とかいうメールが来て、二回目の履修のことをよく知らなかったからいろいろ調べてさあ来い!と思ったところで「彼はスケジュール一杯だからあなたの授業は取れないんでよろしく」とかいうメールがアドバイザーから