[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
342(1): 2019/06/09(日)01:04 ID:XNG4QO4R(1/9) AAS
>>339
あなたが以前書いていたように、ケドラヤ辺りが考えていそうなHoTTで補ってはどうかということですね
仮に遠い未来に結果的に（事後的に）正しいとされても、途中の説明が抜けているとは言えますね
現状では種の言語と突然変異で厳密に定式化できているぞ〜、と言っているだけで
（その割にはその部分は強調しないで、多輻的アルゴリズムで分かってもらえるはずだという不可解な態度）
あと対数テータリンクの非可換性についてもどうなんですかね？ショルツも最初はそれを質問していたそうですし、
星の入門でも「非可換性の解消」とか書いていますし、よく分かりません・・・
>>340
確かに本人も同義反復的な解決については、「数論幾何、いや数学の常套手段である！」とは書いていますね
ただIUTは環・スキーム論を部分的に解体しているので、歪みの計算までしなければいけなくなる
省2
343: 2019/06/09(日)01:05 ID:XNG4QO4R(2/9) AAS
訂正します。失礼しました
（誤）対数テータリンク → （正）対数テータ格子
344: 2019/06/09(日)01:26 ID:XNG4QO4R(3/9) AAS
>>341
SSのように普通に考えて、単遠アーベル的復元/構成による充満多重同型と、ラベルの使用を却下したら、
どうしようもない内部矛盾、壮大な茶番となります
IUTに忠実に従っても（これは何を意味するのだろう？素読か読経か？）、いろいろ行間を埋めなければならないと思います
正直言って、私も理解者たちがどういう理解をしているのか分からないのです
理解できているのなら納得のいく説明ができるはずですし、引き籠る必要などないわけです
358(3): 2019/06/09(日)21:19 ID:XNG4QO4R(4/9) AAS
>>353
星の入門１に関しては本人が「無数の不正確な記述」と述べている通りですね
例えば、単遠アーベル的復元についても双遠アーベル的な復元のような説明をしています
対数テータ格子の非可換性に関しても上記と同様、視覚的に分かりやすい説明を選んだということでしょうか
まあ、本人が英訳してUPしない気持もよく分かります
で、実際IUTでは何が起こっているかというと、ロバーツだけでなく望月本人が書いているのですが（エイリアン・コピー論文）、
“categories of categories”と言っても2-categoriesではないんですよ（ルーリーなら何と言うか分かりませんが）
はっきりと“various "general nonsense" techniques”と書いています（同上p.121）
つまり、グロタンディーク宇宙をラッセルのパラドックスから始めているわけです（本来は真のクラスを回避するためのものだったのですが）
ループ状入れ子式宇宙を構成するために単遠アーベルを用い、各宇宙を操作するためには区別が必要で、ラベルが必要となる
省3
360(2): 2019/06/09(日)21:40 ID:XNG4QO4R(5/9) AAS
>>354
私は数論でも代数幾何の人間でもないので、某氏の論文等は詳しくは分かりませんが、彼の研究内容から察するに
IUTと某氏の理論を絡めてもすぐにABC予想を証明できるといった類のものではありませんよね？
言わばまだまだ「土方の仕事」の段階だと思います
このスレで「土方の仕事」をバカにする人たちがいますが、数学に限らずあらゆる物事は「土方の仕事」の積み重ねです
それが頂点に達した時にブレイク・スルーが起きる。ワイルズやペレルマンだってそうだったでしょう？
妄想をしながら走ってドブに落ちて泥まみれになるのとはわけが違います
そういうのは「数学のポルノ」と呼んで差し支えない
（学生がラノベばかり読んでいるので文学部の教授連にラノベについて聞いたら「あれは精神のポルノだ」と言っていました）
363(1): 2019/06/09(日)22:13 ID:XNG4QO4R(6/9) AAS
私の相手をしてくれている人は擁護派でも否定派でもないんですけどね
ちゃんと時間をかけてIUTを読み、自分の頭と手で考えている人だと思います
だから、彼のIUTに対する評価が二転三転しても私は気にしません。それは彼がちゃんと自分で考えている証拠ですから
数学の正否に関しては朝令暮改は当たり前です。正しいなら正しい、間違いなら間違い、それでいい（同義反復的解決w）
私はと言えば、IUTに関してはほとんど一貫して「限りなく黒に近いグレー」で、
百歩譲っても現状では「従えない」という見解です
370: 2019/06/09(日)22:34 ID:XNG4QO4R(7/9) AAS
>>366
専門としてはいませんが関連はあるので当然重要な論文は読んだり考えたりします。数学はつながっているのですから
あなたこそ私を「数論幾何？数学者でもない人？」とか言っていた人ですよね
あなたはフェセンコのシークレットなセミナーに参加して理解できたのでしょう？
なら、このスレで多くのことが書けるはずです。私に対する詳細な指摘はもちろん、私を相手にしてくれる人にも書けるはずです
このスレでどんどん書いてください。あなたが数論幾何に精通している数学者であることを証明してみせて下さい
ぜひお願いします
372: 2019/06/09(日)22:57 ID:XNG4QO4R(8/9) AAS
まさかjin-pilot objectの類で、IUTの内容についてはほとんど知らず、ただセミナー、
それもシークレットなセミナーに参加して、結論だけ聞いてそれを信じているだけではないでしょうね？
数論や代数幾何を専門に教えていなくても、IUTはサーベイや多くの解説の類がUPされているし、
概要はつかめます。さらにIUTは数式よりも説明文の方が圧倒的に多いので、少なくともやっていることは分かるはずですよ
377: 2019/06/09(日)23:58 ID:XNG4QO4R(9/9) AAS
>>373
ああ、簡単に人物を特定できてしまう書き方をして申しわけありませんでした。実は書いてすぐ反省していました orz
別人ということでホッとしました
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s