redcat_math https://blog.hatena.ne.jp/redcat_math/ Red cat の数学よもやま話 https://redcat-math.hatenadiary.org/ 数学・基礎論 くるるさん(id:kururu_goedel)のところでなにやらいろいろと書かれている「連続体問題」ですが、これはカントールが提唱した連続体仮説に関するお話のようです。連続体仮説を集合の濃度の記号を用いて表すと、その主張は 「 であろう」 と言うもので、ZF 公理系に選択公理を加えたものが無矛盾*1ならば、それに連続体仮説の肯定、もしくは否定のいずれかを加えたものもまた無矛盾になることが知られています。 ところが、実際に を認めてしまうと、いろいろと「不自然」な結果が導かれてしまう*2らしく、この点に関しては、「不完全性定理」で有名なゲーデルも、その「不自然」さを認識していたようです。 で、も… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-math.hatenadiary.org%2Fentry%2F20060418%2F1145351170" title="連続体問題 - Red cat の数学よもやま話" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-04-18 18:06:10 rich https://redcat-math.hatenadiary.org/entry/20060418/1145351170 1.0 100%