kururu_goedel’s diary

アメリカ在住中年男性集合論者のブログ

2010-08-31から1日間の記事一覧

2010年08月31日のツイート

@kururu_goedel: @sarabayuutsu west-coastスタイルはブール代数値モデルと整合的にしたもの、ヘブライスタイルは「強いほうが大きい方が自然」という見方から来ているものではないかと。2010-08-31 00:18:20 via Seesmic Desktop to @sarabayuutsu @kururu_…