2010-12-01から1日間の記事一覧
この長さのエントリを携帯からあげるのは無理があるような。
前回、単純にやろうとしたときにどのような問題があるかをみました。今回は解決篇です。あ、これはCohenがどうり思いついたかは無視して、こんなふうに発見していくのが自然かなという話をします。M をZFC の可算モデルとしましょう。これに新しい実数r を付…
@kururu_goedel: @patho_logic とりあえず目についたのは直しました2010-12-01 14:31:16 via Seesmic for Android to @patho_logic @kururu_goedel: @patho_logic だからmimetex 見えないんですってば。でも手動でデバッグしてきます。2010-12-01 14:25:40 v…