[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
752(1): 01/17(土)00:45 ID:9zDaTgPe(4/24) AAS
もっといえば
>iutによるabc予想の証明も明確に否定してる
それは望月新一のみ理解者のIUTについて
修行がたりないからだろう、
IUTの構築しabc予想を証明する以外に
証明はない。
と言われている
769(2): 01/17(土)11:56 ID:4L0ElCbn(1/10) AAS
>>752
iutの根幹であるfunctorial algorithmが
本当に数学になっているかという問題があって
望月側の主張ではspeciesの理論で正当化できることになってる
（望月レポート「Rpt2018」及び山下サーベイのRemark 3.4.4.）
dupuyはこれを認めてないけどモデル理論のinterpretationで
正当化できるかもと言ってて
現時点で出来るところと出来てないところを明確にしてる
（dupuy論文のほかiugc conferenceの講演スライド）
これは完全に真っ当な数学
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s