[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
533(1): 11/08(土)20:04 ID:3nB+TfKS(9/11) AAS
>>256
池上大輔氏 曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」
望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが まず、
省11
539(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:36 ID:P9qVEF++(23/25) AAS
>>533
はずれですよ
>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」
その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ
さて
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s