[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
533: １３２人目の素数さん [] 2025/11/08(土) 20:04:24.37 ID:3nB+TfKS >>256 池上大輔氏 曰く 「現在知られている集合論の手法（※）では ZFCのモデルMから、新しいZFCのモデルNを構成して MとNの間で一階算術の命題の真偽を変えることはできない もしリーマン予想がZFCの下で証明も反証もできないとして そのことを現在の集合論の手法で検証することはできない」 望月新一は、 「通常の方法ではABC予想は証明できないから、IUTを考えた」 というが まず、 「通常の方法ではABC予想が証明できない」 （具体的には例えばZFCでABC予想が偽となるモデルの存在） という主張の証明がなされてない、次に 「IUTによるABC予想の証明」 （具体的にはIUTの公理（？）を満たすモデルが存在し かつそのような任意のZFCモデルでABC予想が真となること） もなされていない。 特にIUTの公理を満たすモデルの存在が示せていないことは致命的である （ここで求められているのは絶対的な存在ではなく 例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する という相対的な存在証明） http://rio2016.5ch.net/test/read.cgi/math/1761878205/533
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 469 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s