[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
569: 2022/04/24(日)15:38 ID:B58pvhrO(8/11) AAS
>>568
>直接IUTの論文を読むと、あまりの奇想天外の発想についていけず
もしそうなら、それは著者の書き方が悪いのであって
読者の読み方が悪いというのは、言い訳にもなりませんね
>自分なりの独自解釈をしてしまいそうですね
どう解釈するか全く書かれていなければ
独自解釈するしかありませんね
だからショルツは
「常識的な解釈ではCor 3.12は導けない
どう解釈すればCor3.12が導けるか明らかでないが
省5
570(1): 2022/04/24(日)15:40 ID:B58pvhrO(9/11) AAS
>>567
やはり、IUT論文を”査読”したのはSaidi氏のようですね
でも彼は系3.12の証明を全く理解できてないでしょう
説明できないんですから
571(1): 2022/04/24(日)15:52 ID:bFXWDM3C(1) AAS
>>557
>今年のICMで望月新一氏に何の賞もでないどころか
>基調講演等で全く取り上げられなかったら
>それが今の数学界におけるIUT理論の評価
>だと気づきましょう
Buzzardが基調講演で取り上げるってことは
既に幾度も書かれていますよ。
今の数学界におけるIUT理論の評価はまさしく、
「一般には受け入れられていない」です。
arXiv:2112.11598v2 (18 Apr 2022)
省4
572: 2022/04/24(日)16:04 ID:H5D1ds+d(1) AAS
A great example.
573(1): 2022/04/24(日)16:16 ID:y0jU0mHZ(1/2) AAS
>>571
これは挑発か共同作業の誘いかのどっちかだからね
574: 2022/04/24(日)16:26 ID:B58pvhrO(10/11) AAS
>>573
いや「告発」でしょう
575(6): 2022/04/24(日)19:27 ID:w4K+s4Bs(2/2) AAS
>>570
証明したいディオファントス不等式に定理3.11を解釈しなおすと、系3.12が導かれるとある。
Mochizuki, Shinichi Inter-universal Teichmüller theory IV: Log-volume computations and set-theoretic foundations. Publ. Res. Inst. Math. Sci. 57 (2021), no. [1-2], 627–723
Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the same paper in a way that relates to the kind of diophantine inequalities one wishes to prove. One constructs certain arithmetic line bundles of interest within each theatre, a theta version and a q-version (which at the places of bad reduction arises essentially from the q-parameter of the corresponding Tate curve), which give rise to certain theta and q-objects in certain (products of) Frobenioids: the theta and q-pilots. By construction the theta pilot maps to the q-pilot via the horizontal link in the log-theta lattice. One can then proceed and compare the log-volumes of the images of these two objects in the relevant objects constructed via the multiradial algorithm in Theorem 3.11.
＞やはり、IUT論文を”査読”したのはSaidi氏のようですね
省2
576(1): 2022/04/24(日)19:40 ID:/7dcPctj(12/16) AAS
>>567
>Math Reviews誌が、
>英エクスター大教授モハメド・サイディのレビューで、
>宇宙際タイヒミュラー理論の系3.11を肯定する書評を掲載したって。
>American Mathematical Societyだね。
情報ありがとう
・検索ではヒットなしだった
・Math Reviews誌のサイトに行って、検索をしたら、サブスクの人限定と出た
・サブスクのIDは無いので断念した
多分、大学の関係者（含む学生）なら、大学でIDを持っているならそれを使わせ貰えば、アクセス可能だろう
省15
577: 2022/04/24(日)19:42 ID:/7dcPctj(13/16) AAS
>>575
情報ありがとう
>>576で要望した情報は、ゲットできました
ありがとうございます。
578(1): 2022/04/24(日)19:53 ID:/7dcPctj(14/16) AAS
>>575
>Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the same paper in a way that relates to the kind of diophantine inequalities one wishes to prove. One constructs certain arithmetic line bundles of interest within each theatre, a theta version and a q-version (which at the places of bad reduction arises essentially from the q-parameter of the corresponding Tate curve), which give rise to certain theta and q-objects in certain (products of) Frobenioids: the theta and q-pilots. By construction the theta pilot maps to the q-pilot via the horizontal link in the log-theta lattice. One can then proceed and compare the log-volumes of the images of these two objects in the relevant objects constructed via the multiradial algorithm in Theorem 3.11.
これは、IUTの一つのあら筋ですね
なるほどね
これに、IUT本論文や準備論文との対応（リンク付け）をすれば、良いと思いますね
579(1): 2022/04/24(日)20:27 ID:B58pvhrO(11/11) AAS
>>575
>自分が査読した論文の書評を書くことは、いくら何でも有り得ない
通常はそうだろうが、今回は異常事態だから
自己弁護としてやるだろうな
580: 2022/04/24(日)21:25 ID:Q8VHFahC(1) AAS
>>552
そもそも、理解できないなら、正誤判断できません。
間違っているのも間違い方を理解してるんです。
あなたは理解できてないから正誤判断できないのです。
581(1): 2022/04/24(日)22:05 ID:Tf/65aft(1) AAS
>>579
書評は、雑誌の編集部の依頼で書くから、それは無いな。
編集部もMath Reviews誌で、PRIMS誌ではない。
>>578
シンプルにまとめた書評ですね。
582(2): 2022/04/24(日)23:28 ID:/7dcPctj(15/16) AAS
>>581
コメントありがとうございます
”英エクスター大教授モハメド・サイディのレビューで”>>567
について、なんで彼が？ を考えていました
モハメド・サイディ氏については、日本語が読めて、IUTの周辺情報を知っている人ならば、肯定的なレビューになることは容易に予想できます（下記）
実際、下記の2回の望月新一氏の”IUT 検証:進捗状況の報告” 2013と2014に登場して、彼とセミナーをやって理解してもらったと書かれている
思うに、Math Reviews誌が頼んだ何人かの数学者から「私は、IUTをレビューを書くほど読んではいない」と断られて、結果、サイディ氏に行き着いたと思います
繰り返すが、多くの数学者にとっては「IUTはレビューを書くほど読んでない」ってことで、読んだ人は肯定的な意見になる
唯一の例外が、ショルツェ氏で、本当は読めてないのに、SS文書を元に、否定的見解のレビューを出してしまったってことでしょうね
だから、>>564氏の”2018年の京都のやりとりの事を、2021年のZb-Mathの批判レビュー書いたなら”に賛成
省6
583: 2022/04/24(日)23:28 ID:/7dcPctj(16/16) AAS
>>582
つづき
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一 過去と現在の研究
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
宇宙際タイヒミューラー理論の検証:進捗状況の報告(2013 年 12月現在)京都大学数理解析研究所・教授 望月新一
P3
(6) Mohamed Saidi 氏(エクセター大学(連合王国)・准教授)は2013年7月~9月の3ヶ月間、客員教授として京都大学数理解析研究所に滞在し、滞在期間中、10回程度 計 24時間程度)行なったセミナーにおいて IUTeich 理論について私と二人で議論し、様々な観点から検証しました。
また山下氏とも数回程セミナーを行ない、IUTeich 理論について議論しました。
省10
584(1): 2022/04/24(日)23:49 ID:y0jU0mHZ(2/2) AAS
ではなぜSaidiはIUTの研究にシフトしていないのか？
別に枯れたというわけでもあるまいし
585: 2022/04/25(月)02:10 ID:goKkDzR1(1) AAS
まぁ〜ゆっ！
586(1): 2022/04/25(月)03:26 ID:lNztl/rg(1) AAS
>>584
なんでそんなことしなきゃならんのよ。
研究内容は学生でもなければ自分で決めるもんじゃん。
587: 2022/04/25(月)03:46 ID:zbbMzvm8(1) AAS
iutの研究なんかもう誰も手出さんやろ
そもそも望月論文が世界から完全にそっぽつかれてる状態
望月論文の結果参照してる論文なんか投稿してもどこもアクセプトしてくれない
望月論文がなんとかならん限りもうiutはおしまいです
588: 2022/04/25(月)04:03 ID:z2Zaab6B(1) AAS
査読も通った以上学会的にも認められたわけで
もう反論も出そうにないしこれで終わりだろうな
589: 2022/04/25(月)06:33 ID:ykoU4VPs(1) AAS
サポーターが消滅する気配はなくなった
590(1): 2022/04/25(月)07:11 ID:CGHIwjeU(1/8) AAS
>>549
>”あらすじ”が無いんだ、分かり易いのが
IUTの”あらすじ”は、下記を手直しして使えば良いと思う（長文ご容赦。原文リンクが早いと思う、原文PDFにはリンクが張ってあるが省略）
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一 過去と現在の研究
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
過去と現在の研究の報告 (2008-03-25 現在）望月
P1
初期の歩み
学位を取得した 1992 年夏から 2000 年夏までの私の研究の主なテーマは次の三つに分類することができます：
省22
591(1): 2022/04/25(月)07:12 ID:CGHIwjeU(2/8) AAS
>>590
つづき
の「離散的スキーム論版」と見ることもできる。詳しくは、
A Survey of the Hodge-Arakelov Theory of Elliptic Curves I, II
をご参照下さい。
新たな枠組への道
Hodge-Arakelov 理論では、数論的な Kodaira-Spencer 射が構成されるなど、
ABC 予想との関連性を仄めかすような魅力的な側面があるが、そのまま「ABC 予
想の証明」に応用するには、根本的な障害があり不十分である。このような障害を克服するためには、
通常の数論幾何のスキーム論的な枠組を超越した枠組
省23
592(1): 2022/04/25(月)07:13 ID:CGHIwjeU(3/8) AAS
>>591
つづき
この 6 年間（＝ 2000 年夏〜2006 年夏）の、
「圏の幾何」や絶対遠アーベル幾何
を主テーマとした研究の代表的な例として、次のようなものが挙げられる：
・The geometry of anabelioids （2001 年）
スリム（＝任意の開部分群の中心が自明）な副有限群を幾何的な対象として扱い、
その有限次エタール被覆の圏の性質を調べる。特に、p 進体上の双曲曲線の数論的基
本群として生じる副有限群の場合、この圏は、上半平面の幾何を連想させるような
絶対的かつ標準的な「有界性」等、様々な興味深い性質を満たす。
省22
593(1): 2022/04/25(月)07:15 ID:CGHIwjeU(4/8) AAS
>>592
つづき
・Absolute anabelian cuspidalizations of proper hyperbolic curves （2005年）
固有な双曲曲線の数論的基本群から、その開部分スキームの数論的基本群を復元
する理論を展開する。この理論を、有限体や p 進体上の絶対遠アーベル幾何に応用
することによって、様々な未解決予想を解く。
・The geometry of Frobenioids I, II （2005 年）
ガロア圏のような「´etale 系」圏構造と、（ログ・スキームの理論に出てくる）モノイドのような「Frobenius 系」圏論的構造が、どのように作用しあい、またどのように類別できるかを研究する。
数体に対する Teichm¨uller 理論
2006 年の後半から、目指すべき理論の形がようやく固まってきて、その理論を記
省18
594(1): 2022/04/25(月)07:16 ID:CGHIwjeU(5/8) AAS
>>593
つづき
これらの性質の一部は Frobenioid
の理論との関連で初めて意義を持つものになる。また、このエタール・テータ関数
は、IUTeich では、pTeich における標準的 Frobenius 持ち上げに対応する対象を定
める予定である。この Frobenius 持ち上げの類似物を微分することによって ABC 予
想の不等式が従うと期待している。このようにして不等式を出す議論は、
「正標数の完全体の Witt 環上の固有で滑らかな種数 g 曲線の上に Frobenius 持
ち上げが定義されていると仮定すると、
である。
省21
595(1): 2022/04/25(月)07:18 ID:CGHIwjeU(6/8) AAS
>>594
つづき
これは正にIUTeich で用いる予定の遠アーベル幾何
である。この理論の内容や「IUTeich 構想」との関連性については、論文の Introduction をご参照下さい。
ここで興味深い事実を思い出しておきたい。そもそも Grothendieck が有名な
「Faltings への手紙」等で「遠アーベル哲学」を提唱した重要な動機の一つは正に diophantus幾何への応用の可能性にあったらしい。つまり、遠アーベル幾何が（ABC 予想
への応用が期待される）IUTeich で中心的な役割を果たすことは、一見して Grothendieck の直感にそぐった展開に見受けられる。一方、もう少し「解像度を上げて」状
況を検証すると、それほど単純な関係にあるわけではないことが分かる。例えば、
Grothendieck が想定していた応用の仕方では、数体上の「セクション予想」によっ
て数体上の有理点の列の極限を扱うことが可能になるという観察が議論の要となる。
省18
596: 2022/04/25(月)07:18 ID:CGHIwjeU(7/8) AAS
>>595
つづき
因みに、2000 年夏まで研究していたスキーム論的な Hodge-Arakelov 理論がガウス
積分
∫ ∞ ?∞ e?x2 dx = √π
の「離散的スキーム論版」だとすると、IUTeich は、
このガウス積分の「大域的ガロア理論版ないしは IU 版」
P6
と見ることができ、また古典的なガウス積分の計算に出てくる「直交座標」と「極座
標」の間の座標変換は、（IU 版では）ちょうど「The geometry of Frobenioids I, II」
省10
597(1): 2022/04/25(月)07:28 ID:CGHIwjeU(8/8) AAS
>>567 もどる
>Math Reviews誌が、
>英エクスター大教授モハメド・サイディのレビューで、
>宇宙際タイヒミュラー理論の系3.11を肯定する書評を掲載したって。
>American Mathematical Societyだね。
蕎麦屋さんが、「全財産供託〜！」とか言っていたが
あなた 蕎麦屋さんと
”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ”（>>7）
と叫んでいたサイコパス氏
省1
598(1): 2022/04/25(月)12:27 ID:YvlJcYHu(1) AAS
>>586
革命的な理論を理解したのに？
使い物にならないんだよ
599: 2022/04/25(月)18:42 AAS
下げマスの書き込み
4/23(土) MU2asfqc
>>490
「”q-parameter”が分からないので調べていた。下記でも出てくるね」
>>491
「梅崎直也氏をヒントに調べると 多分下記の
q = exp(2πiz) (Takeshi Saito)
モジュラー形式 ノーム(nome)の平方、q-展開からみ モジュラリティ定理（q=e^2πiτ）
が該当しそう。
（梅崎直也先生の講義と答えは、合っているかな？）
省27
601: 2022/04/25(月)18:47 AAS
下げマスの書き込み
4/25(月) CGHIwjeU
>>590-596 （ほぼコピペのみ）
>>597 （数学と無関係な発言）
数学的な中身 ついにゼロ！ｗ
602: 2022/04/25(月)18:53 ID:dEPbEFyi(1) AAS
exp(πiτ)やろ
603: 2022/04/25(月)20:49 ID:nBCQwp3g(1) AAS
>>582
いや、間違ってるのはお前だろ
604(1): 2022/04/26(火)02:00 ID:2nBwRZKH(1) AAS
>>575 この部分を誰も細部詰めて説明できないから、もう詰んでるんだよな。
望月さんの過去の名声で一部奇跡を願う連中がいるだけ。
605(2): 2022/04/26(火)07:58 ID:n8Wwiz6U(1/3) AAS
>>590-596 補足
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
>過去と現在の研究の報告 (2008-03-25 現在）望月
これは、2008年ですから、IUTを支える準備論文の部分です
これだけ膨大な準備論文の上に、IUTの4編の論文が700ページ！
NHKスペシャルで、Dupuy氏「これは微分積分の発明や重力の発見にも匹敵する革命」（下記）という形容が
誇張でもなんでもないという気が、してきました
(参考)
外部ﾘﾝｸ:www.nhk.jp
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（後編） 2022年4月10日
省1
606(2): 2022/04/26(火)08:03 ID:n8Wwiz6U(2/3) AAS
>>604
レスありがとうございます。
＞この部分を誰も細部詰めて説明できない
同意
ハングリーな若手、がんばれよ
>もう詰んでるんだよな。
>望月さんの過去の名声で一部奇跡を願う連中がいるだけ。
そこはこれからでしょ
ファルティングス師匠もそう言っている
607: 2022/04/26(火)08:43 ID:nbxrT863(1/2) AAS
>もう詰んでるんだよな。
Nスぺを見た限り、この件に関して詰んでいるのは
Scholtzeの方だ。
608(1): 2022/04/26(火)09:07 ID:N5yiaVgJ(1) AAS
>>907
ショルツはこの件に関して“詰んでる”という状況になりようもない
今回の件に関してなんにもわかってない
なんもわからんのやったら数学板で数学の話しようとすんな
鬱陶しい
609(1): 2022/04/26(火)09:18 ID:ko/ow+rT(1/2) AAS
>>598
数学者の仕事は数学を理解するだけでなく、
数学の未解決問題を解くことが主なんで、
自分のやれる領域でやるに決まってんじゃん。
610(1): 2022/04/26(火)09:34 ID:ko/ow+rT(2/2) AAS
>>608
この件について、間違ってるの確定したら、この件については詰むだろ。
611(2): 2022/04/26(火)09:36 ID:veXEGJzf(1) AAS
>>610
そもそも彼は「論文は普通の数学者が理解できる内容ではない」と言ってるだけなんだから間違ってるとかなんとかいう状態にはならんの？
わかる？
そんなおバカな主張してるのはアホセタぐらいだよ
てかお前アホセタか？
612(1): 2022/04/26(火)13:07 ID:37PYa9l+(1) AAS
いや、若手が手を出そうとしないのではなく
明らかに望月が自分の周りの若手その他にコメントするのを禁じてるだろ
理由はわからんけど
今の所彼にとってそれがいい方向に向かってるとは思えないね
613(1): 2022/04/26(火)13:36 ID:lkrOjMKt(1/4) AAS
>>611
理解できないじゃなくて、証明ができてないっていってるだろ。
捏造すんなや。
614: 2022/04/26(火)13:38 ID:lkrOjMKt(2/4) AAS
>>612
若手って誰のことや?
独立した研究者ならそんなことできないし、
指導してる大学院生とかなら、そら発言は控えてほしいというか、できんだろ。
大学院生のたちばわかってる?
615(2): 2022/04/26(火)13:41 ID:Gh27t0WK(1) AAS
>>613
だからお前らトウシロウはわかってないって言ってんだよ
何回も何回も何回もおんなじ事説明されてまだ分からん
バーカ
お前みたいな能無しに今回起こってる事態を正確に理解すんのはもう無理なんだよ
鬱陶しい
出てくるなカス
616(1): 2022/04/26(火)14:38 ID:lkrOjMKt(3/4) AAS
>>615
わかってねえのはお前だろ。
バーカ
どういう表現しょうが、
証明ができているかどうかの話であることに変わりはねえだろうが。
そもそも、普通ってなんや。定義してみろや
617: 2022/04/26(火)14:46 ID:lkrOjMKt(4/4) AAS
>>615
難しくてわからんか。
普通の数学者というのは、本人含んでるよな。
他人のことは本人は本当には断見できないよね。
だから、シュルツのその発言は、「私は理解できない。」って言ってんの。
それだけ。
618(1): 2022/04/26(火)14:47 ID:AET6da7t(1/7) AAS
>>609
遠アーベルの研究者だぞ？
代数体の結果を出せる仕組みを理解して使わないわけがないだろう
遠アーベルにすらろくに応用できないってことだ
619(1): 2022/04/26(火)14:57 ID:MkqzJZUX(1) AAS
>>618
理論の受容が済んでないのに、それの応用に手を出すのは
なかなか勇気いるんじゃねえの。
そもそも、まだ論争中じゃん。
620(2): 2022/04/26(火)15:01 ID:C8UAbjDz(1) AAS
>>616
これだけ何回も何回もこの件で説明されてまだわかってない
お前に足りないのは知識ではない
知能なんだよ
この件で何が起こってるか理解できる知能がない
だから何度も何度も同じ説明聞いても理解してできない
お前にはこの件理解するのは永遠に無理だ
もう出てくんな能無し
621(2): 2022/04/26(火)15:21 ID:pqJtGrBa(1/2) AAS
>>620
そういうのいらんから。
お前こそ意味ないわ。
普通とかいう概念に依拠して、発言してた時点でアウト。
数学は多数決じゃねえの。
622: 2022/04/26(火)15:29 ID:AET6da7t(2/7) AAS
>>619
それは苦しいよ
自分はわかるように書けばいいじゃん。数学的真理なんだろ？
623(2): 2022/04/26(火)15:59 ID:8cBDHjyd(1) AAS
>>621
いらんのはお前
数学の世界に1ミリもいらん
お前は数学の世界になんの貢献ももたらさないはおろか数学とはどういう学問かお理解できるレベルにすら一生到達せんやろ
あのアホセタですらショルツの立ち位置が一瞬は理解できたようだがお前はそのアホセタ以下だよ
624(6): 2022/04/26(火)16:04 ID:Vj3hNRqz(1/6) AAS
>>611
スレ主です
こらこら、このスレで名前の議論はするな！
繰り返すなら、運営に荒らしとして通報するぞ
最悪、長期アク禁か、浪人BAN（焼き）か、だろうね
分かりましたか？ ID:veXEGJzfさん
で、本題
>そもそも彼は「論文は普通の数学者が理解できる内容ではない」と言ってるだけなんだから間違ってるとかなんとかいう状態にはならんの？
ショルツェ氏ぼレビューのURLは、スレのテンプレの>>14に、入れてある（下記）
（>>14より、IUTに対する批判的レビュー。和訳は、google訳）
省9
625(2): 2022/04/26(火)16:06 ID:Vj3hNRqz(2/6) AAS
>>624
(原文)
Finally, let me briefly summarize the content of the individual papers. In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content.
(和訳)
最後に、個々の論文の内容を簡単に要約します。パートIIとIIIでは、重要な結果3.12を除いて、読者は数行より長い証拠を見つけることができません。典型的な証明は、「系2.3のさまざまなアサーションは、これらのアサーションのステートメントで引用された定義と参照からすぐに続きます。」と読みます。これは、数学的な内容の量と一致しています。
(引用終り)
なので、ショルツェ氏の主張は
１）”ABC予想を証明するには明らかに不十分”
２）”読者は数行より長い証拠を見つけることができません・・これは、数学的な内容の量と一致しています”
（要するに、望月論文は数学的内容が少ない、だから、ABC予想を証明するには明らかに不十分だということでしょう）
省2
626(1): 2022/04/26(火)16:07 ID:GpPP9Vo5(1/2) AAS
>>624
勝手にせいや能無し
いくつか知らんが大体レスの雰囲気見たら自分の数学力など相手に遠く及ばないのはわかるやろ
それでもアホレスつけてくる能無し
これだけ説明されてもまだショルツの立ち位置が分からん能無し
627(1): 2022/04/26(火)16:08 ID:Vj3hNRqz(3/6) AAS
>>623
こら、>>623 の ID:8cBDHjydよ、このスレで生の議論はするな！
繰り返すなら、運営に荒らしとして通報するぞ
最悪、長期アク禁か、浪人BAN（焼き）か、だろうね （>>624）
分かりましたか？
628: 2022/04/26(火)16:09 ID:GpPP9Vo5(2/2) AAS
>>627
だから好きな事せいや能無し
629(2): 2022/04/26(火)16:26 ID:Vj3hNRqz(4/6) AAS
>>626
ふーん >>626
>>623>>621など
下記で IDをコロコロ変える方法あるみたいだね
文体と主張は、ほぼ同一なのに、IDが変わっているなｗ
ご苦労様ですｗ
（参考）
ゲーム ハード・業界板
■ このスレッドは過去ログ倉庫に格納されています
2chｽﾚ:ghard
省12
630(1): 2022/04/26(火)16:30 ID:pqJtGrBa(2/2) AAS
>>629
そもそも、普通のネットユーザーは固定IPじゃないよ。しらんの?
631(2): 2022/04/26(火)17:10 ID:Q1khiJ96(1) AAS
ショルツは3.11までは自明と言っていて、
望月一派は3.11が重大な成果だと見ている
3.12の話にいつまでもこだわるより、
3.11をめぐるこの認識のズレを埋める方が早いんじゃないの、って気がする
632(1): 2022/04/26(火)17:44 AAS
下げマスの書き込み
4/26(火) n8Wwiz6U
>>605-606 （数学と無関係な発言）
数学的な中身 ゼロのままｗ
>Dupuy氏「これは微分積分の発明や重力の発見にも匹敵する革命」
省1
633: 2022/04/26(火)17:46 ID:rHQuPecJ(1) AAS
>>620
無能を相手にするほど不毛なことはない
最近つくづくそう思います
634: 2022/04/26(火)17:49 AAS
下げマスは〇〇と呼ばれると発●するｗ
〇〇が本名らしいが、そんなん知らん顔すればいいのに
チキンだから一々反応して墓穴をほる
安心しろ 工業高校中退の中卒の貴様なんかに誰も興味ないから
どうだ安心したか？ ＤＱＮの下げマスｗ
635: 2022/04/26(火)17:53 AAS
>>631
望月は3.11から3.12が導けると思ってるが
ショルツはそう思ってない
ショルツがどうやって3.12を導くつもりか尋ねてるのに
望月は論文読めばわかるといって一切説明しない
おそらく説明できないんだろう
その時点で望月新一は数学的に死んだ
ＮＨＫが何をいおうが数学分からん馬鹿が騒ぐだけ
一般日本人の低能さが露わになる
中卒高卒文系卒は算数しかわからんからな
省1
636: 2022/04/26(火)17:53 ID:AET6da7t(3/7) AAS
>>632
どのみちDupuyの評も本当に正しいかわからん
スキーム上の遠アーベル幾何学を実化すれば無限の同型でない空間に数論的に分解できるという主張は
滅茶苦茶強いので、直観ですらショルツらの数論幾何学者が理解できないとは思えない
637(1): 2022/04/26(火)18:01 AAS
ショルツが理解できないといってるのは
言明ではなく、言明が真だとする証明
そこ混同すると馬鹿になる
638(1): 2022/04/26(火)18:02 ID:Vj3hNRqz(5/6) AAS
>>630
>そもそも、普通のネットユーザーは固定IPじゃないよ。しらんの?
ありがと
それこそ、”普通”定義問題かな
おれは基本スマホでは、５ｃｈやらないし、モバイル系では、確かにＩＤ変わるのは普通かもね （おれはモバイルもやらない）
しかし、>>629のように、" IDがコロコロ変わる"（変える？ｗ）のは、意図的な雰囲気あるよなｗ
639: 2022/04/26(火)18:10 ID:AET6da7t(4/7) AAS
>>637
だから、主張が真ならそれだけ証明が腑に落ちる強力なイメージを持つはずだという話
640(2): 2022/04/26(火)18:13 ID:mcV8ozs1(1) AAS
バナッハタルスキーのパラドックスは真ですが、
証明は腑に落ちる強力なイメージを持ちますか？
641: 2022/04/26(火)18:30 ID:Vj3hNRqz(6/6) AAS
>>631
＞ 3.11をめぐるこの認識のズレを埋める方が早いんじゃないの、って気がする
同意
下記 Kedlaya先生の意見ご参照 「逆に言えば弟子たちがその基礎を作れば欧米でも認められる」ですね
NHKスペシャルのファルティングス師匠も同じでしたね（「もっと（数学界への）説明に力を入れよ」って）
（参考）
外部ﾘﾝｸ:webcache.googleusercontent.com
math_jin Retweeted
Tomoki Oda
@deep_blue0723
省10
642(3): 2022/04/26(火)18:30 ID:AET6da7t(5/7) AAS
>>640
そっちは結果が重要
IUTは理論が重要
従って比較する価値がない
643(1): 2022/04/26(火)18:52 ID:rr1boiPV(1) AAS
>>642
意味不明
644: 2022/04/26(火)19:05 ID:AET6da7t(6/7) AAS
>>643
そこまで馬鹿なのか
基本的なアイデア、構造から論理的にできるのが理論
パラドックスは公理系をこねくり回してたまたまわかった欠陥
645: 2022/04/26(火)19:54 AAS
>>640
ええ
結局、階数２の自由群の逆説的な分割に基づくわけで
上記の群が自然な分割をもつ双曲平面の場合で図示すれば
一目瞭然ですよ
少なくともABC予想の証明より全然簡単ですな
動画ﾘﾝｸ[YouTube]
646: 2022/04/26(火)19:58 AAS
ゲーデルの不完全性定理も、
対角化の技法であるクワイン文のアイデア
を理解すれば別に神秘的な魔術でもなんでもない
ってことがわかる
647(1): 2022/04/26(火)20:06 ID:8LRn3Zoa(1/2) AAS
>>642
IUTもTh 3.11までは正しいことが分かってますよね
Cor 3.12という結果が正しいかどうかだけですよね
648: 2022/04/26(火)20:09 ID:8LRn3Zoa(2/2) AAS
バナッハタルスキーがイメージに反する例とされることが多いながら真であるように、
Cor 3.12もイメージがどうでも真かどうかだけがfocus pointですよ）
649: 2022/04/26(火)20:19 ID:divOb0ws(1) AAS
ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHMU ̈LLER THEORY IN TERMS OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS:
REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHMU ̈LLER THEORY
Shinichi Mochizuki
April 2022
650: 2022/04/26(火)20:48 ID:AET6da7t(7/7) AAS
>>647
グロタンディークによれば、理論の抽象化を徹底すれば高度な命題も自明になるとか
で、IUTは何でそう見られてないんですかね？
651: 2022/04/26(火)21:04 ID:nbxrT863(2/2) AAS
望月には自明になっているのだろう。
652(3): 2022/04/26(火)22:08 ID:n8Wwiz6U(3/3) AAS
>>642
>IUTもTh 3.11までは正しいことが分かってますよね
>Cor 3.12という結果が正しいかどうかだけですよね
ここ、ちょっと微妙ですね
1．ショルツェ氏の言い分は、”Th 3.11までは自明（トリビアル）”つまりは、”屁みたいなわかりきった命題ばかり”
だから、Cor 3.12を証明するには、全く足りていないぞ（>>624-625）
2.一般の数学者 （含む woitやデイビッド･ロバーツ氏。ケドラヤ、ファルティングス師匠も）は
なんとか劇場とか、テータ橋梁とか、何をやろうとしているのか？ そもそも、意図や数学概念が分からん
3．望月氏は、「要は遠アーベルなんよ。遠アーベルをもっともっと勉強しないと、IUTは理解出来ないんだ」
とうそぶく
省2
653(1): 2022/04/27(水)03:59 ID:P/m4fUNG(1) AAS
>>652
意訳が酷いな
NHKのでファルディングスが言ってたのは
望月氏のアイディアが上手くいくのはなぜか？をもっと他の数学者に説明しないといけない
ってことで少なくともIUTが上手くいってるってトコまでは認めてんだよ
それに望月と議論すると大抵、望月のほうが正しかったって回想してたし
少なくとも否定派でないのは
あの番組を見る限り一目瞭然だったよ
654(1): 2022/04/27(水)06:15 AAS
下げマスの書き込み
4/26(火) n8Wwiz6U
>>605-606 （数学と無関係な発言）
>>652
>ショルツェ氏の言い分
>「”Th 3.11までは自明（トリビアル）”
> つまりは、”屁みたいなわかりきった命題ばかり
> だから、Cor 3.12を証明するには、全く足りていない」
>一般の数学者 （woit、デイビッド･ロバーツ氏。ケドラヤ、ファルティングス師匠）
>「なんとか劇場とか、テータ橋梁とか、何をやろうとしているのか？
省7
655: 2022/04/27(水)07:20 ID:t8TFBQLv(1/4) AAS
>>654
ID消しのサイコパスさん(>>6-7)、どうも
あなたの持論は、”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ”>>7
でしたね
あなたの解釈は、バイアスの掛かった妄想ですよ。>>652に書いた通りですよ。尾ひれを付けないように
656(1): 2022/04/27(水)07:31 ID:t8TFBQLv(2/4) AAS
>>653
>NHKのでファルディングスが言ってたのは
>望月氏のアイディアが上手くいくのはなぜか？をもっと他の数学者に説明しないといけない
>ってことで少なくともIUTが上手くいってるってトコまでは認めてんだよ
>少なくとも否定派でない
ありがとうございます。同意です
1.まず、私も、望月IUT肯定派です。スレタイに”応援”とある通りです
2.ファルディングス師匠は、”IUTが上手くいってる”んじゃないかな？という感触は持っているのでしょうね
3.それは、ショルツェ氏のIUTに対する批判的レビュー>>624-625は、当然見た上でのことです。ここは重要ポイントです
4.なので、ファルディングス師匠もケドラヤ氏も「いま、足りないのは”アイディアが上手くいくのはなぜか？”の説明だ」（一般数学者向け）ってことですね
省1
657(1): 2022/04/27(水)07:44 ID:t8TFBQLv(3/4) AAS
>>656 補足
> 4.なので、ファルディングス師匠もケドラヤ氏も「いま、足りないのは”アイディアが上手くいくのはなぜか？”の説明だ」（一般数学者向け）ってことですね
それは、BuzzardのICM22講演>>14への一つの回答になっていると思います
（参考 >>14より再録）
外部ﾘﾝｸ:arxiv.org
>A great example is Mochizuki’s claimed proof of the ABC conjecture [Moc21].
>This proof has now been published in a serious research journal, however
>it is clear that it is not accepted by the mathematical community in general.
658: 2022/04/27(水)08:25 ID:WeCoWhoo(1) AAS
ファルティングスも実際にはよくわからんけど望月なら間違うはずがないという信頼がある感じがしたな
指導した学生の中でも飛び抜けて優秀だったんだろう
659: 2022/04/27(水)08:31 ID:6sq23jZI(1) AAS
どこをどう見たらそう思えるのかwwww
ど素人wwwwwww
660: 2022/04/27(水)10:54 ID:t9lpRfCk(1) AAS
いかにもな文系レスワロタ
661(1): 2022/04/27(水)12:06 ID:8AhAvuMM(1/3) AAS
というか欧米のコミュニケーションの基本がわかってないな
正解は「よくわからんが、ひとまず貶さないで前向きなアドバイスをしている」だよ
肝心の意味に納得してたら、もっと突っ込んで加藤みたいな振る舞いになる
662: 2022/04/27(水)15:37 ID:TkhBCbGu(1/2) AAS
ファルティングス氏の師匠愛？
663: 2022/04/27(水)18:42 ID:6lVYKnYn(1/2) AAS
>>661
否定しない＝肯定する、ではない
前向きなアドバイスをする＝肯定している、でもない
664(2): 2022/04/27(水)20:31 ID:t8TFBQLv(4/4) AAS
・NHKスペシャルのときには、モハメド・サイディ氏のMath Reviews誌のレビュー>>567 はまだ無かったが
しかし、SS文文書とショルツェ氏のIUTに対する批判的レビュー>>624はあった
・ショルツェ氏の主張は、”Corollary 3.12に与えられた議論は証明ではなく、これらの論文で構築された理論は、ABC予想を証明するには明らかに不十分です。”>>624
なので、ショルツェ氏の主張が肯定されれば、IUTは否定される
・だから、ファルティングス師匠は、明らかに、ショルツェ氏の主張は肯定していないのです
ですが、ショルツェ氏の主張が否定されても、IUTが肯定されるわけではないのは、その通りです
・だから、ファルティングス師匠は、「望月よ、もっと説明に力をいれよ」
とNHKスペシャルで諭したわけですね
665: 2022/04/27(水)21:12 ID:XozVPtoF(1) AAS
ファルティングスの説明の求めに対しては、Ｎスぺは、「同じものでもあり異なるものでもあるという論理展開を、詳しく解説する文章を公表」のときに映像で映したのが、「“∧” and“∨”」のIUTの論理構造の論文。つまりあの論文により望月は「答えようとしている」との示唆。
学部レベルの§２から専門家レベルの§３まで。
<外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
最新の4月24日の追記は、Nスぺの影響からと思われるが、アブストラクトを付けるなどで解説的にしていた。
例えば、環の乗法構造と密接に関係するのがΘ-linkで、加法的な対数殻を構成するための装置がlog-Kummer-correspondenceであるとか、Nスぺの乗法と加法の話に合わせた解説を入れており、頑張って味を出した感があり、以前からの無味からな文から差を感じる。
666: 2022/04/27(水)21:23 ID:8AhAvuMM(2/3) AAS
そもそもlog-linkがTate曲線の話というのは論文にあったっけ？
667(4): 2022/04/27(水)21:35 ID:UAVjJ+6B(1) AAS
余談ですが新論文のアブストラクトなどで排他的論理和が無限に連なっているアナロジーを説明していますが、
普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね
668: 2022/04/27(水)21:40 ID:6lVYKnYn(2/2) AAS
>>664
ファルティングスはそもそも望月新一を肯定していないけど
IUTを否定する＝IUTから矛盾を導く、と思ってるなら
ショルツはそんなことは行ってない
IUTが無矛盾でも、3.12は導けないだろう、といってるだけ
ファルティングスも望月新一の論文では
3.12は証明できていないと思ってるだろう
証明できているなら説明など求めない
ファルティングス自身が説明する
そうしないのだからファルティングスは
省2
上下前次1-新書関写板覧索設栞歴
あと 334 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ ｱﾎﾞﾝOFF
ぬこの手 ぬこTOP 0.038s