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