[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
121(1): 2019/06/02(日)23:17 ID:JnD9JCZD(1/4) AAS
誤解を恐れず手短に述べますね
さすがにSSがIUTを理解してない、ということはないと思いますよ。所謂「理解者」ではないだけです
彼ら、特にショルツは星入門1の「これでは何でもありではないか」という疑問を追及しただけですよ、素直に受け入れずにね
単遠アーベル的復元/構成とラベルの使用を却下するとIUTが壊れるのは当然です。誰でも分かることです
なぜそうしたのか？答えはRemark9の１段落目と脚注10にあります。ホッジ劇場はクンマー理論の自然同型として作れるということです
逆になぜ望月はクンマー理論に単遠アーベルを「忍び込ませた」のか？答えは簡単です。SSのようにやってしまうと
彼らの言うように内部矛盾に陥ってしますからです
私は前スレ№780で対数リンクについて質問された時に「“＞不等式や不定性が生じるよう「工夫している」”、とは私も思っていません。」
と書きましたが、これは望月に寄り添って答えただけです。私の本音は、望月は不定性を用いた操作を最初から意図している
つまり、不定性を持ったオブジェクトを用い、いかようにも操作できるような理論を作りたいということです
省2
122(1): 2019/06/02(日)23:27 ID:JnD9JCZD(2/4) AAS
例えば、望月はforgetful functorとはほとんど書かず、forgetting the “histories of operations”という言葉に執着していますね
これは最初から初期化、再初期化、スウィッチング特性、多輻的アルゴリズム表現を使いたいという前提から来るものです
SSが充満多重同型についてたんに不必要とだけ述べたのは、むしろ手心を加えたのではないかと私は思っているくらいです
ロバーツぐらいのことを言っても良かった。忘却関手で忠実だが、充満にしているので忠実充満で同型となります
SSは他に検証すべき問題があるからこのことには触れず、単遠アーベルは要らないとだけしたのでしょう
123: 2019/06/02(日)23:36 ID:JnD9JCZD(3/4) AAS
あと、望月が“self-evident”と言ったらしいというのは充分ありうる話だと思います
また、SS（特にショルツ）が“taste/aesthetics”の問題であるという態度を取ったのも充分ありうる話です
つまり、IUTのような何でもありな、恣意的な理論は数学として、数学者として認められないということです
SSからすれば、望月こそが自らの“taste/aesthetics”に固執しているように見えたと思います
124: 2019/06/02(日)23:54 ID:JnD9JCZD(4/4) AAS
>>118
何でもありな理論なら公開から７年も経った現在では多くの重要な結果が出ているはずですよね
ABC予想はもちろん、BSD、リーマン予想についての重要な結果も、IUTに基づいて出せていそうなものです
不可解極まりないですよ。Mにしろ理解者にしろ何をやっているのでしょうか？
普及活動も積極的でないし、IUTを活用した研究結果がたくさん出ていなければおかしいです
しかし、B本みたいな子供でも騙されないようなものしか出てこない。一体、IUTコミュニティとは何の集団なのでしょうかね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.373s*