Index / Reload / Edit
向こうでも書きましたが、?Gが真であるモデル（ω矛盾）は、「証明可能なのに偽」という点で、”不健全”なものです。世の中、いつだってヒネた奴がいるもんです・・・私のように・・・ＯＴＬ
通りすがりさん、こんばんは。ω矛盾するモデルは最初はびっくり仰天でした、最近はあたりまえ感が強くなり、ある意味新鮮さが薄れてしまったかも知れません。そうは言うものの「あさっての日記」のように自分自身今だ多々混乱がありそうです (笑)。面白いのは、こういう「不健全」な方への拡張が多産であることで、巨大基数 (不健全とはいいまえんが) などもそうですが、カントールの「数学の本質はその自由性にある」という言葉は本当に的を得ていると思います。どうもコメントありがとうございます。
向こうでも書きましたが、?Gが真であるモデル（ω矛盾）は、「証明可能なのに偽」という点で、”不健全”なものです。世の中、いつだってヒネた奴がいるもんです・・・私のように・・・ＯＴＬ
通りすがりさん、こんばんは。
ω矛盾するモデルは最初はびっくり仰天でした、最近はあたりまえ感が強くなり、ある意味新鮮さが薄れてしまったかも知れません。そうは言うものの「あさっての日記」のように自分自身今だ多々混乱がありそうです (笑)。面白いのは、こういう「不健全」な方への拡張が多産であることで、巨大基数 (不健全とはいいまえんが) などもそうですが、カントールの「数学の本質はその自由性にある」という言葉は本当に的を得ていると思います。
どうもコメントありがとうございます。