2011年09月01日のツイート
@kururu_goedel: アメリカ東部標準時にて
@kururu_goedel: 明後日正午締切の書類が一つ。明日はほぼ作業できないので今日頑張る
@kururu_goedel: 締切を見間違えてたんだよー。
@kururu_goedel: いや、頑張ってない。
@kururu_goedel: 7/31締切の書類を提出。俺頑張った。
@kururu_goedel: @hyuki これは私じゃないですよー。考えたこともなかったです。【hyuki & kururu_goedel共著でなら、(略) - 結城浩 [ザ・インタビューズ] 】#theinterviews URL
2011-09-01 03:28:23 via Tweet Button to @hyuki
@kururu_goedel: @snotknot 数学的帰納法ですね。f:A→Bが単射なとき、a∈Aを適当にとって、f|(A\{a})を考えてやると、これがA\{a}からB\{f(a)}への単射になるので。
2011-09-01 03:13:16 via Seesmic to @snotknot
@kururu_goedel: うわ、Real Analysisのクラス26人かよ。
@kururu_goedel: @hyuasa これです。健康に悪いので近づかないことを推奨します。強く。→URL【 連続体仮説が ZFC とは独立であることが証明された時点で、集合論は矛盾していると俺は直観したが、たったいま直観を確信に変えることができた。】
2011-09-01 00:40:28 via Seesmic to @hyuasa
@kururu_goedel: あー、また例の人がすごいこと言ってるよ。