欧米の数学者「ABC予想は証明できていない」 京大・望月教授の論文を批判

1 :ジャストフェイスロック(東京都) [ヌコ]:2020/05/03(日) 19:31:39 ?PLT ID:uICnGLTG0.net
sssp://img.5ch.net/ico/pc3.gif
 数学の超難問「ABC予想」を証明したと京都大数理解析研究所の望月新一教授(51)が
発表した宇宙際タイヒミュラー(IUT)理論の論文をめぐり、「本当に証明できているのか?」
と欧米を中心に議論になっている。論文は、国際的な専門誌が7年半かけて検証し、
正しいと認めたものの、一部の数学者は納得していない。

 「不可解な数学の証明が出版される」

 英科学誌ニューサイエンティストは4月6日、そんなタイトルの記事を掲載した。
フィールズ賞を30歳で受賞した若き天才、独ボン大のピーター・ショルツ教授が
「論文には深刻で修正不能な飛躍がある」と批判したのを紹介。
英国のある数学者は「証明には欠陥があるという見方に変わってきている。
あるグループでだけ認められ、他では認められていないのは悪い状況だ」と指摘した。

 ABC予想は、足し算とかけ算という数学の根本についての問いで、証明されれば数々の未解決問題の
解決につながるとされる。証明は数学のノーベル賞とされるフィールズ賞級の成果とも言われる。

https://www.asahi.com/articles/ASN516HDQN4QULBJ01G.html

142 :ハーフネルソンスープレックス(埼玉県) [DE]:2020/05/03(日) 21:15:08 ID:7QJfEvh+0.net

急に綺麗になったあの娘にキャンパスの噂広まる
Aまで行ったと アンアアアアンアーン♪

232 :フランケンシュタイナー(光) [RU]:2020/05/04(月) 01:19:27 ID:Zfm81tYP0.net

>>220
根底にあるのはこれだろ

306 :エルボーバット(神奈川県) [US]:2020/05/04(月) 09:23:47 ID:nxGNhSrQ0.net

>>299
ド・ブロイの博士論文の話がおもしろい
教授陣「このド・ブロイの論文意味わかんねw」
教授A「アインシュタインさん、この論文で博士号与えて良いと思う?」
アインシュタイン「この論文書いた奴には博士号じゃなくてノーベル賞与えとけ」

5年後

ド・ブロイ、本当にノーベル賞を受賞

114 ::2020/05/03(日) 20:40:48.50 ID:VdfiW3Fb0.net

>>109
しかも合ってるかの答え合わせに数年単位必要とか笑う

489 ::2020/05/05(火) 14:59:28.59 ID:/apXn5e40.net

望月「9×9=81でしょ自明の理」
幼児「?」
望月「9+9+…=81だろ」
幼児「9+9=18って何?」

こんな感じなんだろう

244 :フルネルソンスープレックス(神奈川県) [US]:2020/05/04(月) 02:25:59 ID:rUGTZkKI0.net

>>243
>ざっと論文読んでみたけど
そんな奴いない

403 :サソリ固め(東京都) [US]:2020/05/04(月) 16:09:21 ID:dMdHh44b0.net

ハーフの奴に限って愛国ぶるよな
野口健とか

487 :ネックハンギングツリー(京都府) [CN]:2020/05/05(火) 13:49:55 ID:XDed4DQZ0.net

>>465
またそれにも証明が必要になってくるんだな

111 :ダイビングエルボードロップ(北海道地方) [US]:2020/05/03(日) 20:35:50 ID:wQug58xy0.net

YouTubeに上がってる加藤文元先生の解説動画が信じられないくらい分かりやすかった。たぶんこの証明は合ってると素人にも直感で感じられた。

373 ::2020/05/04(月) 12:33:28.20 ID:ZuPhtzJk0.net

テレンスタオの「これほど壮大な理論なのに、応用例がいまだにABCしか示されていないというのは不可解」という指摘がごもっとも

209 :張り手(東京都) [ニダ]:2020/05/03(日) 23:45:48 ID:8yx11kAa0.net

>>208
常人とは違う世界が拡がってるんやろな

12 :フォーク攻撃(神奈川県) [US]:2020/05/03(日) 19:38:28 ID:/5gDkJSn0.net

>>4
案外これありそうな気がするw
アジアと欧米でアプローチが違うよね

421 :ハーフネルソンスープレックス(東京都) [ニダ]:2020/05/04(月) 20:18:08 ID:1371di2V0.net

この人論文のあとがき的な物にIUT理論現状では多分認められないよねー
みたいなこと書いてなかったっけ?
多分これ含めて議論するの前提じゃないのかな

522 ::2020/05/06(水) 13:08:50.89 ID:Pll8f13+0.net

>>517
いや、近い部分有るけどさすがにそれは酷いよ。

あるレベルまで来ると自明に見えることを自明で済ましちゃいけなくなる。
一方、それでも望月論文の世界が正しく理解出来れば自明で良いかもしれない。

問題はなかなか理解出来ないこと。

154 :ミラノ作 どどんスズスロウン(四国地方) [US]:2020/05/03(日) 21:21:33 ID:sUHbIwgq0.net

奇妙な振る舞いをする量子論にケチをつけたアインシュタインみたいなものか?

339 :サソリ固め(東京都) [US]:2020/05/04(月) 11:10:07 ID:dMdHh44b0.net

なんか某ブログで場外乱闘の様相を呈していたらしい
ショルツ 「なんかよくわかんねぇけど、こう解釈すると矛盾するんじゃね?」
デュピュィ「それお前の勝手な解釈じゃね?」
ショルツ 「じゃ、お前の解釈示せよ」
デュピュイ「いや、それはわかんねぇけど、おまえの解釈が正しいって証拠は?」
ショルツ 「これ以上の議論はe-mailな」

132 :キャプチュード(茸) [ヌコ]:2020/05/03(日) 21:00:46 ID:tSx7xhF10.net

証明とかって数学ってより哲学だよななんか

148 :ラダームーンサルト(神奈川県) [US]:2020/05/03(日) 21:16:56 ID:LwhGH+lR0.net

イエローモンキーごときが生意気だぞ

320 :ムーンサルトプレス(SB-iPhone) [US]:2020/05/04(月) 10:02:24 ID:KKbkHxU60.net

>>14
俺 = ハゲてる
俺= 人間

よって人間はハゲてる

498 :頭突き(ジパング) [ニダ]:2020/05/05(火) 16:02:02 ID:yWrIaBdw0.net

>>490 江戸時代なんか。和算凄いとか言ってもやっぱ徳川ジャパンは後進国やったんやな

17 ::2020/05/03(日) 19:39:57.27 ID:E6Fgd62j0.net

僕はライバルだと思ったことはない

380 :中年’sリフト(埼玉県) [US]:2020/05/04(月) 13:04:36 ID:lMA/666c0.net

>>39
キリ番踏んだら報告しないとダメな感じw

241 :キチンシンク(神奈川県) [US]:2020/05/04(月) 01:55:13 ID:Wy7eOHui0.net

数学とは理論に裏打ちされた芸術と同じように美しさが重要

324 :ミラノ作 どどんスズスロウン(茸) [CN]:2020/05/04(月) 10:38:34 ID:BVxoU+gc0.net

すげぇなこのスレ
著名な数学者でもわからないのに正しいだの証明されてないだの 

433 ::2020/05/04(月) 21:30:42.17 ID:/q/NuUgV0.net

>>431
内容があまりにも難しすぎて正しいのか間違ってるのかも分からないだけ

501 ::2020/05/05(火) 16:51:04.31 ID:IS4a9Raq0.net

>>497
直接関係ありませんが
ショルツにつっこまれたときの望月氏の反応をみて
ああ同じだなあと思ったもんでつい・・・

うちの上司もいってました
人間、弱みをつかれると、機嫌が悪くなるって

409 :足4の字固め(ジパング) [MX]:2020/05/04(月) 17:31:58 ID:Vn1lHhd30.net

反証とか具体例とかなかなか難しいものでして

288 :リキラリアット(東京都) [US]:2020/05/04(月) 07:28:53 ID:0aqsUUsj0.net

証明せずに
いきなり定理として導入されてるところがあるらしいな

ここの証明を何度望月に尋ねても答えないとか(笑)

失敗だよこの証明は

66 :エルボードロップ(兵庫県) [IT]:2020/05/03(日) 20:05:36 ID:DOSEnNx40.net

ワールドクラス小保方になっちゃうの?

2 :かかと落とし(茸) [SV]:2020/05/03(日) 19:32:18 ID:1JIYv6w40.net

ああ、ユニバーサルメルカトル図法な

122 :栓抜き攻撃(東京都) [FR]:2020/05/03(日) 20:46:28 ID:apa1trfy0.net

>>68
gosubでいってreturnで帰ってくるのかな

219 ::2020/05/04(月) 00:14:33.14 ID:pnYX8T9+0.net

>>164
結構付いたし、まるで違う方向からのアプローチだから理解出来る数学者がいなかった。
でも辛うじて従来の数学で理解出来る範囲だったから何とかなった。

誹謗中傷が激しくて心病んで再起不能だけど。

334 :ツームストンパイルドライバー(関東地方) [ニダ]:2020/05/04(月) 10:55:01 ID:VY1GdSri0.net

これ、ひも理論とかに応用したら
未解決だった物理学の問題解けそう

467 ::2020/05/05(火) 10:25:01.39 ID:kTEtBRy20.net

ABC予想:リオレウスの弱点は雷だから、雷を全体に撃てば絶滅できるかもしれない

現実:そんな武器はモンハンにない

望月:じゃあ新しい世界を作ろう

リオレウスの弱点は雷、ギガデインは雷で全体ダメージ、
これなら絶滅出来るだろって世界観を主論600ページ+後方論文500ページで理論構成してる

結果数学界の同意はほどんど得られていない

267 :断崖式ニードロップ(空) [BO]:2020/05/04(月) 05:32:11 ID:4eq4nXxq0.net

>>208
なんか突き詰めていくと魔法とか使えるようになりそうw
図形を数式として扱えることを応用して、
例えばE=MC^2 を図形化して、そこになんらかのエネルギーを要件以上注いだら発動、みたいなw

327 :バズソーキック(東京都) [CN]:2020/05/04(月) 10:45:38 ID:boTFmm4U0.net

またくやしいからって難癖ばっかりつけやがって

79 :雪崩式ブレーンバスター(ジパング) [KW]:2020/05/03(日) 20:11:43 ID:r9NgwxNC0.net

解けたのか
解けていないのか

俺らには分からない

4 :断崖式ニードロップ(関東地方) [US]:2020/05/03(日) 19:33:02 ID:jMCTAloc0.net

石神「あの回答は美しくない」

504 :垂直落下式DDT(SB-iPhone) [GB]:2020/05/05(火) 19:03:12 ID:/lF15PIu0.net

ワタシの数学的直観でモッチーは
正しいと思われるがその証明は
ワタシには出来ないw

459 :フェイスロック(青森県) [ヌコ]:2020/05/05(火) 02:16:04 ID:/apXn5e40.net

>>39
飛び級する為にプリンストン入ったんかな?

461 ::2020/05/05(火) 04:30:27.08 ID:fV6rbaqK0.net

証明とその論の理解は一致しない
その論を理解してなくても証明できてるかどうか検証することはできる
三次元代数多様体のミニマムモデルでフィールズ賞を獲った森氏は「私の論を理解できるのは数人しかいない」と言った

論を理解できない人には飛躍に見える
だから論を見るのではなくて証明の正しさを見るんだよ
結果でなく手続きの適切さを見る

352 ::2020/05/04(月) 11:48:27.19 ID:dMdHh44b0.net

>>349
肝心なことが書いてない、って感じだな
望月は矛盾スレスレなことやってるらしいが
ショルツはそんなヤバいことやっていい理由が明確でないと云ってる
望月は肝心なところは論文読めの一点ばり
弟子も他の日本人の数論幾何学者も説明しない(できない?)

156 :TEKKAMAKI(北海道) [US]:2020/05/03(日) 21:25:19 ID:zNjFH8Mk0.net

51歳には無理だろ

379 :フランケンシュタイナー(ジパング) [US]:2020/05/04(月) 13:04:10 ID:yyaXG2Cx0.net

>>1
これ、韓国の数学者が数年前に証明してたよな。今、査読が概ね終わっている段階にあるはず

171 :トペ スイシーダ(茸) [CA]:2020/05/03(日) 21:54:40 ID:Sf80qXVZ0.net

で?

182 :アイアンフィンガーフロムヘル(埼玉県) [PH]:2020/05/03(日) 22:37:54 ID:vQfHtmuM0.net

>>174
臍を曲げてじゃないだろ。
ペレルマンは純粋過ぎた。

学問である数学の問題に賞金を与えることに否定的だったし、数学界の花形分野とそうでない分野に格差があることにも批判的だった。

268 ::2020/05/04(月) 05:37:23.15 ID:4eq4nXxq0.net

>>264
映画パラサイトって賞受賞したけど
10年か20年前のインド映画のパクリだったんだろ
新コロナ終息したら、話題になるぞーw

300 :逆落とし(埼玉県) [HU]:2020/05/04(月) 08:18:50 ID:KjiMIy5Q0.net

もう少しでファルコンの定理が解けそうなんだ。。

322 :ジャンピングカラテキック(大阪府) [US]:2020/05/04(月) 10:26:19 ID:qdPiS8ne0.net

>>68
そういうことか
天才やな君

59 :パイルドライバー(長屋) [ニダ]:2020/05/03(日) 20:02:52 ID:TfOyLfui0.net

批判ってw
矛盾したり、駄目な部分を指摘するだけでしょ