[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 31 (1002ﾚｽ)
Inter-universal geometry と ABC予想 31 http://rio2016.5ch.net/test/read.cgi/math/1537711433/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
647: １３２人目の素数さん [sage] 2018/10/02(火) 00:09:52.82 ID:kxUsxORE >>643 本来は抽象的・不定で確かな対象になっていないものを、アルゴリズムを用いて対象を特徴づけ組み込む、 などということは基礎論でも特に論じられたことがない 「宇宙際対象」と「絶対ガロア群によるアルゴリズム」のセットに対応するような事例は過去にない わざわざ最終セクションを書いた理由は何か。望月が過去にトポスのエレファントを参考文献に入れてる にも関わらずそれをそんなに使ってないってことは、自覚があったんでしょう 本人的には「圏論的な構造と集合論的な識別の原理に基づき少し拡張しただけ」という意識があると思う 今のところ、当面は通常の数学ではやはり受け入れられないが、最終的には理解される気はしている Bが言っていたような感じで http://rio2016.5ch.net/test/read.cgi/math/1537711433/647
648: １３２人目の素数さん [sage] 2018/10/02(火) 00:16:42.62 ID:kxUsxORE どちらかといえば肯定的だった人間はむしろ怒るどころか、PS-JSの論争に感心するんじゃないか 「言われてみれば確かに常識的に変だな」と 擁護・関係者の一部は馬鹿というよりも新しい考え方に素直過ぎるのかもしれない 圏論的な構造や選択関数の拡張にそういったアルゴリズムを取り入れるということは、Kedlayaが言う 「より繊細な何か」にあたるだろうね とはいえ、当面これが受け入れられるとはあまり思えない http://rio2016.5ch.net/test/read.cgi/math/1537711433/648
653: １３２人目の素数さん [sage] 2018/10/02(火) 00:46:55.51 ID:kxUsxORE >>650 正しいなら色々な問題に使えるはずってのはその通りだね 特に関数体の楕円曲線の結果を色々代数体に翻訳できるはずだし 表現論に適用できないってことも無いはず http://rio2016.5ch.net/test/read.cgi/math/1537711433/653
658: １３２人目の素数さん [sage] 2018/10/02(火) 02:40:35.53 ID:kxUsxORE >>655 論争を望月側が自信満々でオープンにした理由に納得した 確かに詳細に見ると恐らく望月側に分があるだろう。ショルツはΘリンクの性質を誤解している だが、これは既成の数学を確かに拡張しているな。それは記述上の話ではあるが なるほど、わかったが、合意形成にはまだ1年はかかるかもしれんな。ショルツが納得すればすぐに終わるだろう http://rio2016.5ch.net/test/read.cgi/math/1537711433/658
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s