ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

Inter-universal geometry と ABC予想 (応援スレ) 77

PC,ｽﾏﾎ,PHSは 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>533 > >>256 > 池上大輔氏　曰く > 「現在知られている集合論の手法（※）では > ZFCのモデルMから、新しいZFCのモデルNを構成して > MとNの間で一階算術の命題の真偽を変えることはできない > もしリーマン予想がZFCの下で証明も反証もできないとして > そのことを現在の集合論の手法で検証することはできない」 > > 望月新一は、 > 「通常の方法ではABC予想は証明できないから、IUTを考えた」 > というが　まず、 > 「通常の方法ではABC予想が証明できない」 > （具体的には例えばZFCでABC予想が偽となるモデルの存在） > という主張の証明がなされてない、次に > 「IUTによるABC予想の証明」 > （具体的にはIUTの公理（？）を満たすモデルが存在し > 　かつそのような任意のZFCモデルでABC予想が真となること） > もなされていない。 > > 特にIUTの公理を満たすモデルの存在が示せていないことは致命的である > （ここで求められているのは絶対的な存在ではなく > 　例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する > 　という相対的な存在証明）
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.013s