[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
770(1): 01/17(土)12:00 ID:FwKm4A4e(1) AAS
>>769
論点がはっきりしてきたようで
好ましい
771(1): 01/17(土)12:30 ID:9zDaTgPe(13/24) AAS
>>769->770
2019年4月発刊の望月新一監修加藤文元著宇宙と宇宙をつなぐ数学は
scholze stixレポートへの回答で
2021年IUTの拡がり(望月新一委員長)
の公式HPに記載された公式本。
・
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.916s*