2011年09月06日のツイート - kururu

@kururu_goedel: @mr_konn 本当にAgda2で書いてくると思いませんでした……。よく考えたら僕Agda2読めない。

@kururu_goedel: @_reaf ゲーデルの不完全性定理によって、ではなく、不完全性定理が存在を保証している独立命題の具体例として連続体仮説があるということです。

@kururu_goedel: @masahiro_sakai ありがとうございます。なにかアウトリーチ活動をする機会があったら参考にしてみます。

@kururu_goedel: @kagami_hr 本当はこの定理をもっと称えるべきなんですよね。下のcardinalのpowerが上の方に影響するとは当時予想されていなかったのだろうと思いますし。