トップページ数学
1002コメント371KB
Inter-universal geometry と ABC予想 53
■ このスレッドは過去ログ倉庫に格納されています
0101132人目の素数さん
垢版 |
2020/05/26(火) 14:34:43.54ID:tZAgiR8E
好意的なコメントに見えるが、現時点での解決については触れていない巧妙な言い回し
まるで政治家だな
0102132人目の素数さん
垢版 |
2020/05/26(火) 14:46:48.80ID:L6K3YC5B
もう解決したという認識なんじゃねーの
0103132人目の素数さん
垢版 |
2020/05/26(火) 16:09:41.05ID:KzrUfmF0
解決したという認識ならそう言うと思うけどね。現時点で一番強い結果なんだし。

あと、よく分かったっていうひとが依然としてひとりも出てこないという。
0104132人目の素数さん
垢版 |
2020/05/26(火) 18:19:40.42ID:xzukjyqh
>>99
総合して考えると、
タオのいう通り、
たいした結果でないから、だれも真剣に読もうとしない
だろうね。
森氏が言うことより、多くの優秀な若者の動きの方が説得力がある。
0105132人目の素数さん
垢版 |
2020/05/26(火) 20:04:03.04ID:IQhjH5j3
既に2015年の時点で冷え切ってしまったからな

望月本人はラベルのトリックで解決したと思ってるみたいだが
海外の人達はそこが胡散臭いから実は全然解決できてないと思ってる

京大数理解析研の人達はなんか望月を敬遠してる感じだな
0106132人目の素数さん
垢版 |
2020/05/26(火) 20:18:38.02ID:GbjFFRjT
結局身内の評価はあまりアテにならない
黒○は数論代数幾何の人間ではないからやはりアテにならない
0107132人目の素数さん
垢版 |
2020/05/26(火) 20:28:19.19ID:88I5zhW5
>>90
玉川正直だね。今現在は当然ことながらショルツのほうがはるかにさえた頭脳を持っていることもわかる。
3.11までの論説まででもオーバーヒート状態じゃ
玉川はほんとのところ、望月とショルツの応酬合戦もついてけないんじゃないかなw
文系の学問と違って、玉川・柏原・森などの、往年の権威者をもちだしても正しさの証拠にはならない。
0108132人目の素数さん
垢版 |
2020/05/26(火) 20:49:55.94ID:jJarcwDv
モノドロミー持ち出して、因子が付くかどうかでempty かnon empty はっきりさせたのはさすが
0109132人目の素数さん
垢版 |
2020/05/26(火) 20:52:40.86ID:IQhjH5j3
柏原はもちろん全然分かってないし分かる気もない
森は分かってないがなんかこのままじゃヤバイと思ってショルツを呼んだ
玉川も分かってないが望月がしつこいので根負けした

こんな感じか RIMS終わったな
0110132人目の素数さん
垢版 |
2020/05/26(火) 20:55:00.70ID:IQhjH5j3
結局ラベルのトリックが問題みたいだな

望月は言を左右にして言い抜けようとしてるが
そんなの数学者に通用するわけないだろ
0111132人目の素数さん
垢版 |
2020/05/26(火) 21:00:01.50ID:0Koz98Ab
もっちさんは間違ってたら間違ってましたってホームページで謝罪するからね?
0112132人目の素数さん
垢版 |
2020/05/26(火) 21:17:13.64ID:jJarcwDv
そんな度量のある男なのかな?
0114132人目の素数さん
垢版 |
2020/05/26(火) 21:35:45.70ID:GbjFFRjT
柏原先生は多少近いようで遠いからな
複素ホッジ理論や量子群なら守備範囲だろうけど、p進や代数体の幾何は基本関係ないからね
0117132人目の素数さん
垢版 |
2020/05/26(火) 22:03:38.37ID:0Koz98Ab
そう、もっちさんは逐一着想や進捗をホームページに残している
「早とちり」で間違ってたこともあるけどちゃんとごめんなさいしてるし、「できそうだ」と自信満々に言ってたこともギャップがあると判明してちょっと無理みたいと認めている
あれから10年以上たって老後が見えてきた今だって、根本的な姿勢は変わらないと思うね
つまりもっちさんはIUTが間違ってるなんて全く考えていないのだよ!

逆に言うと、これで間違ってたら引退レベルのダメージおっちゃうよね
0119132人目の素数さん
垢版 |
2020/05/26(火) 22:13:21.24ID:0Koz98Ab
万一定年前に引退することになったら何するんだろうな
まじで山奥でトマトつくるのかな
金は研究費に自腹切りまくってなければ相当たまってるだろうけど
0120132人目の素数さん
垢版 |
2020/05/26(火) 23:11:04.37ID:lPEVuhJe
>>116
それは失礼しました
0121132人目の素数さん
垢版 |
2020/05/27(水) 01:19:15.15ID:aXsp8sKU
>>107
まあ同様にシュルツの権威もそうなんだがな。
0122132人目の素数さん
垢版 |
2020/05/27(水) 01:19:53.84ID:aXsp8sKU
3.11まで自明と書いてる人他にもいた気がするけどそこは怪しい気がするなー
0123132人目の素数さん
垢版 |
2020/05/27(水) 01:32:37.02ID:Z/iKZSD0
そりゃショルツは3.11まではしょりながら読んでるんだから
疲れないだろうよw
0124132人目の素数さん
垢版 |
2020/05/27(水) 01:36:06.13ID:TDXB/nlS
望月が反論すれば全て解決なんだよな
0126132人目の素数さん
垢版 |
2020/05/27(水) 07:19:25.65ID:Sid82R03
今の数学の仕組みを多少かえてでも証明を自動処理できる計算環境を整備したほうがいい
それでも根の深いところでは完全解決はしないが 少なくともこういうことは起こらなさそう
0127132人目の素数さん
垢版 |
2020/05/27(水) 07:25:14.48ID:RLvS9m2i
人間が完全に正しい数学論文の正誤判定ができないのに、AIにできるはずがない
0128132人目の素数さん
垢版 |
2020/05/27(水) 10:24:18.47ID:embvHqgA
https://twitter.com/HigherGeometer/status/1254180069343285255

1-圏と2-圏の違いが幾何的議論から通じる
だから代数的空間とドリーニュ-マンフォード代数的スタックの両方に同じ用語を使うというあらゆる試みは極めて奇妙で不自然だ

というこの望月氏の主張だが、抽象的な考えが得意ではないのではないだろうか
まず幾何的議論に左右されるのであれば、そもそも抽象化する意味がない
対象を直接調べれば良い
そもそもグロタンディークがスキームによって幾何的イメージを抽象化して作ったことを忘れたのだろうか?
数論幾何という分野が存在すること自体、それまでの幾何的な対象と整数に同じ用語を使うことに成功したから誕生したんだろう
https://twitter.com/5chan_nel (5ch newer account)
0130132人目の素数さん
垢版 |
2020/05/27(水) 11:18:32.85ID:q6rkcejZ
>>128
それTwitterで突っ込んでる数学者がいたな。
そんなに違いがあるならスタックプロジェクトがうまくいってる説明がつかないって。
0134132人目の素数さん
垢版 |
2020/05/27(水) 12:45:15.88ID:+panK6vA
>>124
反論というか、ショルツに理解してもらって、代わりに解説してもらうのが手っ取り早いよな
まあ直接会って話し合っても理解させることができず、それどころか、
理解できないのはわざわざ京都に来てもらった相手の理解度が低いせいだとか言っちゃう人には無理だろうけど
0135132人目の素数さん
垢版 |
2020/05/27(水) 12:58:22.13ID:q6rkcejZ
>>134
森が狙ったのもたぶんそこなんだろうけどね。
望月は2012年以降これ以上簡単に説明する気はないと言い張ってて、
それでだれも理解できないから、
飛び抜けてるやつに理解してもらって解説してもらったほうが早い。
だがショルツは逆に穴を見つけてしまった、と。
0136132人目の素数さん
垢版 |
2020/05/27(水) 13:06:26.59ID:+panK6vA
「これ以上簡単に説明できない」って、
数学板にいる自称未解決問題の解決者と言っていることが同じなんだよね
「これ以上簡単に説明する気はない」でも、自分の研究を理解してもらう気がないということだから、
そんなことを言う人はプロ失格だと思うね
そんな発言をして許されるのはアマチュア数学者だけでしょう
0138132人目の素数さん
垢版 |
2020/05/27(水) 13:47:31.35ID:RLvS9m2i
>>136
完全数等の証明は高校数学+Π記号+モジュロ演算だけなので、ABC予想とはレベルが違う。
まともな数学力をもっている人間であれば、誰が見ても正しいものだ
0139132人目の素数さん
垢版 |
2020/05/27(水) 13:59:03.51ID:+panK6vA
>>138
ここはあなたが来るようなスレではありませんよ
あと、どうせ書き込むならちゃんとトリップを付けてくださいね
「◆pObFevaelafK」さん
0141132人目の素数さん
垢版 |
2020/05/27(水) 17:54:18.24ID:rIA2EeFS
>>135
京大のホームページにプレスリリースがないのは森重文がやめとけって言ったのかな?
0144132人目の素数さん
垢版 |
2020/05/27(水) 19:32:23.36ID:kHPwVxp7
>>133
このときだとまだ若く見えるし白人感強めだね
思ってたよりも身体が大きい

声というか話し方もイメージと違う
0145132人目の素数さん
垢版 |
2020/05/27(水) 19:40:37.86ID:m7z8WwfM
P=NPのスレ主がメールでご本尊に接触したことは知られてないな
意外と際どいラインにも対応する事もあるんだなと
0146132人目の素数さん
垢版 |
2020/05/27(水) 19:51:06.06ID:Sxi7Fa2s
>>123
それはないな。
端折りながら読んでたら、3.11までは正しいとさえ断言できない。
おそらく望月論文を世界で最もしっかり読んでいるのはショルツやスティックスら。
で、ショルツは望月自身もより望月論文を理解しているから、正しくないとわかるのである。
望月は認めたくないだけ。
30歳の世界第一級の頭脳にはかなわないよ。
50歳の玉川は理解できないし、ブンゲンも理解できない。
0147132人目の素数さん
垢版 |
2020/05/27(水) 19:53:57.96ID:o6iiNlvS
>>144
ホームページにのってる集合写真では一番でかいからな
190越えのラオウみたいなかんじかもな
0148132人目の素数さん
垢版 |
2020/05/27(水) 19:58:25.13ID:QJd7UFU0
これがショルツの成績

http://imo-official.org/participant_r.aspx?id=7867

上に張り付いてる

藤井総太の詰め将棋よりもずっと早く数学のロジックが読めるんだろうな
0149132人目の素数さん
垢版 |
2020/05/27(水) 20:16:34.01ID:YbFgDl5x
加藤和也先生と齊藤両先生を拝見出来ただけで感無量。涙が出てきた。
0156132人目の素数さん
垢版 |
2020/05/27(水) 20:55:48.68ID:Z/iKZSD0
ショルツが天才なのは分かるが、
玉川たちをディスりたがるそのロジックが分からん

50歳前後だとヒラメキや記憶力は衰えるけど
じっくり時間をかけて
査読して正誤を判断するのに必要な能力までが
特に致命的に衰える訳ではない
0157132人目の素数さん
垢版 |
2020/05/27(水) 20:56:01.57ID:kHPwVxp7
>>151
にある写真だと2016年でまだ髪は真っ黒だな
白髪が4年で急速に出てきたのか白髪染めをやめたのか
0158132人目の素数さん
垢版 |
2020/05/27(水) 20:58:41.41ID:zHadJ8N1
>>157
ショルツェが噛みついてきたせいでストレス過多になったんじゃないか?
本来なら3年前くらいにはアクセプトされてしかるべきだったんでしょ

しかし数学者ってなんで大したことないネタで笑いするんだろう
0160132人目の素数さん
垢版 |
2020/05/27(水) 21:18:00.93ID:KVMGKU5M
ショルツェは天才数学者のくせにさわやかすぎだな
しゃべり方もあったまいい〜切れ者〜ってかんじ
0161132人目の素数さん
垢版 |
2020/05/27(水) 21:25:40.24ID:oxLSfFo9
実質博士号の理論でフィールズ賞って史上初だろうな
コスパが凄すぎ
0164132人目の素数さん
垢版 |
2020/05/27(水) 21:48:11.99ID:qrpnKcTE
Mがじつは抽象的な思考が苦手なのでは、というの、
基礎論がはちゃめちゃなこと考えると案外そうなのかも、と思えてしまう。
0165132人目の素数さん
垢版 |
2020/05/27(水) 21:51:51.26ID:+jGIJ1Y5
会社のプレゼンとかでも発表者が面白くない笑いポイントを用意してくることとかいくらでもある
社会人としての予定調和だよ
0166132人目の素数さん
垢版 |
2020/05/27(水) 22:02:30.07ID:YbFgDl5x
プレゼンのタイトルを言い始めたんだけど全然違うってどう言うことよ(笑)俺は面白いと思うけど。
0167132人目の素数さん
垢版 |
2020/05/27(水) 22:06:13.59ID:QJd7UFU0
昔数学科の人達が笑っているときは
そこにだいたい数学の話題があったな
0168132人目の素数さん
垢版 |
2020/05/27(水) 22:26:30.25ID:bEpbZmDH
もう一人のMがアジア会議かなんかで発表した動画があるが、スライド間違えて大笑いが起こってた
しかしどういう間違いだったのかはうつってないのでとても気になる
0170132人目の素数さん
垢版 |
2020/05/28(木) 06:52:52.79ID:agqEcM4d
>>156
玉川が理解できていないのは、
「ショルツが再反論しないので、IUT理論は正しいと判断した」という告白から明らかw
ブンゲンが理解できていないのは、あの本を読めばわかるw
0171132人目の素数さん
垢版 |
2020/05/28(木) 07:07:16.76ID:z1j5y/zh
玉川みたいなロートルや加藤みたいな専門外が理解できるなら端から問題じゃないだろ

フィセンコや山下が確かに確信持ててるか証明追えてるか否かだけだろ
0173132人目の素数さん
垢版 |
2020/05/28(木) 09:25:03.12ID:kmo0h1l/
宇宙の間を通信とかって一般向け解説だとよく見るが、宇宙が出てくる4章は本筋に関係がないって言われてるよな
0174132人目の素数さん
垢版 |
2020/05/28(木) 09:33:37.21ID:HJmCPiag
ラベル・トリックのからくりを知ってるのは☆だけか
0175132人目の素数さん
垢版 |
2020/05/28(木) 11:00:04.17ID:/aJY4Bcm
それなら星のだんまりは酷くないか。
良くも悪くも、何かしらコメントして状況を打開すべき。
0176132人目の素数さん
垢版 |
2020/05/28(木) 11:41:32.77ID:v5jtdr6e
>>152
生餅ってやっぱりピリピリしたキレ者ってかんじなの?
それとも数学以外はのんびりしてぼーっとしてるかんじ?
0179132人目の素数さん
垢版 |
2020/05/28(木) 13:46:38.80ID:ztaRLJPz
完全理解は星
玉川は理解してないが、ショルツが理解不足で指摘が変なのはわかる
Gはほぼ理解してるが遠アーベルはまだ理解しきってない
サイディは不明 たぶん査読者だろうし理解してるがあまり公に出ない
あとはお笑い担当
0182132人目の素数さん
垢版 |
2020/05/28(木) 15:47:20.06ID:qkQYhTr9
>>166
俺も動画見て笑っちゃったから同類だわ。
0183132人目の素数さん
垢版 |
2020/05/28(木) 16:38:32.30ID:oox21Z72
うーん
もっちーが間違えて二次元けものっ娘とか出しちゃったんならクスリと笑うかもしれないが、
タイトル間違ったくらいでは地蔵の我がココロはピクリとも動かないな
0185132人目の素数さん
垢版 |
2020/05/28(木) 17:22:26.87ID:27suja5h
それより最後の質問が嫌味な感じ
ニヤニヤしながら「abc予想の証明にはここから何ステップかかるんですか?」で会場も失笑
10年経って正誤はともかくそのステップをすべて公開しても同じ態度であしらわれたわけだ
0186132人目の素数さん
垢版 |
2020/05/28(木) 17:37:41.64ID:8P3ViSb4
質問ゼロを回避するための座長の温情質問にしか見えなかった
他の人、ぽかーんとして眠そうだし
0189132人目の素数さん
垢版 |
2020/05/28(木) 18:13:28.97ID:qrKlgwUX
仮に誰かがABC予想の解決論文をリムスに出したら、どうなるんかな?
0192132人目の素数さん
垢版 |
2020/05/28(木) 19:10:11.63ID:bxjwpUV4
>>173
いや、無限のスキーム理論ってのは宇宙のことだからそれは間違ってない
非正則なスキーム宇宙をアルゴリズムによって丁寧にリンクさせるというのがIUTの主張
で、ショルツはどうせ全部リンクさせるなら初めから同じ構造で良いだろ具体的に根拠あるのかと批判している
0193132人目の素数さん
垢版 |
2020/05/28(木) 19:17:53.51ID:bxjwpUV4
「上手く抽象化してからその特殊な仕組みで元々の対象を位置付ける」というのはそれこそ
モチーフやガロア表現でも同じなので、その意味ではIUTもスキームより深い場所を目指すという形で
一つの考え方と言える。もちろんその「上手いやり方」を間違えると上手くいかない。当たり前の話だ
0194132人目の素数さん
垢版 |
2020/05/28(木) 19:29:56.36ID:HJmCPiag
>>192
>宇宙をアルゴリズムによって丁寧にリンクさせる

で、その正当性はいかなる方法で示されるんでしょうか?
0196132人目の素数さん
垢版 |
2020/05/28(木) 19:59:02.11ID:YqZ92GpT
>>194
群とは異なるものを同一の構造に収める構造だから、それを利用するんだよ
IUTの一次的な群構造と二次的な環の自己同型にはギャップがあるので、その隙間を活用したいわけだ

ただ、IUTが失敗したとして失敗した理由を一般的に言うなら、整数環は元々一般性が高いというのが
それになる。一般性が高いために自明でない仕組みを割り当てるのが難しい
Hasse-Weil予想や代数体のディオファントス幾何が単純な割に難しいのもそのせいだよね
0198132人目の素数さん
垢版 |
2020/05/28(木) 20:03:33.99ID:0g3rqPTj
ABC予想からかけ離れてるような(笑)それこそあと何ステップで解けるんだ?😁
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況