[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
784(1): 2022/04/18(月)11:31 ID:+VXLqRg+(2/2) AAS
>>781
いいものとかそういう問題ではなく、単純に
「自分の専門じゃないから」
やらないんだよ
数論が専門でも、日本で加法的整数論や素数分布をやっている人は多くない。IUT理論はそれよりももっと隔たりがある
787: 2022/04/18(月)12:35 ID:cBCqfFLO(3/3) AAS
>>784
そうなるとやはり中の人が形式化を進めてコンピュータ検証で正しさをPRするしかないか。
そこで問題になるのはその形式化は正しいのかとかそういうことになりそうだけど
京都ではそういう方向に進んで良さそうなのにね。
ショルツもコンピュータ支援には結構積極的みたいだからまた絡んできてくれそうだけど。
まあ皆さんまずは自分の研究で忙しいのはわかるからそこはうまいPRしてほしいもんだね。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.936s*