2012年04月28日のツイート
@kururu_goedel: @zhanpon @dif_engine 超べきなので、元のモデルで成り立つ閉論理式は全て成り立ちます。ただ、外から見ると無限降下列があるということです。
2012-04-28 12:42:53 via TweetDeck to @zhanpon
@kururu_goedel: @salmonsnare 持ち帰りテストの問題を作るのに20分しかなかったことです。書いてはいなかったけれども頭の中にだいたいのアイデアはあったので間に合いました。
2012-04-28 04:02:56 via Seesmic to @salmonsnare
@kururu_goedel: あ、時間が足りないだけで死にそうなわけじゃないからマシ
@kururu_goedel: 危機的状況
@kururu_goedel: @dif_engine @zhanpon そこは、かがみさんが昔書いていたはずです。まあ、スコーレムパラドックスと似たようなものですね。
2012-04-28 01:06:47 via web to @dif_engine
@kururu_goedel: @dif_engine @zhanpon 鋭いです。超準宇宙そのものは正則性の公理を満たすのですが、超冪を取った外側の世界から見ると順序数の無限下降列が存在します。正則性の公理を満たすのは、その宇宙が無限下降列を集合として持たないからです。
2012-04-28 01:05:25 via web to @dif_engine