[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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スペシャルで諭したわけですね
上下前次1-新書関写板覧索設栞歴
あと 338 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s