26/07/25 09:27:36.40 ncTQQ9AA.net
望月先生を擁護する訳じゃ無いんだけど、ウィッテンやヴァッハあたりの論文も形式化してないし、数学じゃ無い
けど面白いんだよなぁ
望月先生が趣味として数学的SFしてます
これABC予想とかが成立するんですよ、凄くないですか？
みたいなノリだったらここまで騒ぎにならなかったと思う
もしウィッテンが同じような感じでABC予想を導出したら、数学者は目くじら立てなかった
望月先生が不幸なのは自分がやる数学は全て数学になると本気で思ってること
ウィッテンとかだったら、自分は数学者じゃ無いと自覚してるから、アイディア出しの軽いノリでヤバい！ABC予想導出できちゃった！数学のプロさん達、精密化ヨロシク
で終わるんだろうなw
数学者って頭かたいからなぁ
520:１３２人目の素数さん
26/07/25 09:33:26.68 ncTQQ9AA.net
>>517
>望月の全体的な方針やアイディアでは絶対証明できない
ってことを証明しないといけない、ジレンマ
最近のフィールズ賞とかも小粒だけど、こういう時こそ望月の方法？駄目だねw 自分がABC予想解いたよw
くらいのスーパー数学者が現れたら面白いのに
521:１３２人目の素数さん
26/07/25 10:06:19.97 w8hVZYjm.net
>>519
ウィッテンだろうがタオだろうが誰が出してもツッコミは受けるわ。
それを受け入れて修正する、撤回するかどうかってだけの話。
すぐ一般化してメチャクチャな擁護を始めるのがこいつらの習性だわな。
522:１３２人目の素数さん
26/07/25 10:18:26.92 Rd2uU+7W.net
>>519
＞望月先生が趣味として数学的SFしてます
＞これABC予想とかが成立するんですよ、凄くないですか？
＞みたいなノリだったらここまで騒ぎにならなかったと思う
騒ぎになっている現在でもIUTの修正はできてないのに、
騒ぎにならなかった場合は「早い段階で忘れ去られていただけ」でしょ。
結局、IUTが本質的に無理筋であることが原因なのであって、
軽いノリで発表したからといって
何かが劇的に変わっていたわけではないだろうね。
523:１３２人目の素数さん
26/07/25 10:30:52.85 RcPX5wY2.net
アティヤもぼけ老人扱いされてたのに、ウィッテンなら～は妄想もいいとこでは……
524:１３２人目の素数さん
26/07/25 10:35:24.99 +LSaq+7s.net
>>520
>ってことを証明しないといけない
なんで？
525:１３２人目の素数さん
26/07/25 10:48:10.54 ncTQQ9AA.net
>>521
ツッコミ受けるようなウィッテンの論文の引用をしまくってる数学者が多いのですが？
まあプレプリント止まりが多いのはそういう訳で
あとコンツェビッチとかも昔の論文は?な所が相当あるぞ
>>522
>IUTが本質的に無理筋であることが原因
それを言い出したら場の量子論も数学的な裏付けとか無いから、量子物理関係の数学の論文も無価値になるけどなw
526:１３２人目の素数さん
26/07/25 10:57:53.18 ncTQQ9AA.net
>>523
アティヤは言動からしてもう歳だなと
ウィッテンのやる数理物理だって数学的に相当怪しいぞ
何ならストリング理論も実験で予言力無し
ABC予想の検証はちゃんとした方がいいけど、結構ビッグネームでちゃんと検証されていないというか、放置されてる人はそこそこいるよなって話
〇〇理論といえば誰それが始めたとか言うけど、確かにビッグネームの論文で触れられてはいるけど、実際の計算や厳密な証明は別人ってよくあるからな
望月先生は空飛ぶ車を作るのに真面目に自動車を改造してるようなもの
ウィッテンやコンツェビッチとかは空飛ぶ車があるとこういう時に便利と言うだけ
そしてドローンが出てきたら、デッカいドローン作って、これが空飛ぶ車ですと発表
ここらへんの立ち回りが望月先生は下手なのよ
自動車をくそ真面目に飛ばす必要はない訳
527:１３２人目の素数さん
26/07/25 11:11:45.56 X8T5TSU0.net
エアタクシーの開発を手がけるジョビー・アビエーションのeVTOL（電動垂直離着陸機）。ジョビー・アビエーションとアーチャー・アビエーションは、2026年中の商業運航開始に向け、アメリカ連邦航空局の認証取得を目指している
528:１３２人目の素数さん
26/07/25 11:18:49.33 ncTQQ9AA.net
自分が望月先生を評価したい点は他の人が挑戦しない超難問予想に自ら挑戦し、その道具までも自力で構築しようとしたこと
今の時代、数学や物理でもこういう人はいなくなったからねぇ
自分の範囲の問題を解くだけの人が多い
529:１３２人目の素数さん
26/07/25 11:36:00.94 yA77s9YW.net
>>508
お願いされてわざわざ日本に来てんだよ
530:１３２人目の素数さん
26/07/25 11:37:34.41 yA77s9YW.net
>>528
っていう素人の妄想を土壌に
安っちい天才のイメージを利用して
エセ数学で税金抜いてるのがドワンゴ学園
531:１３２人目の素数さん
26/07/25 11:48:56.28 CHYUGc9R.net
>>525
＞それを言い出したら場の量子論も数学的な裏付けとか無いから、
＞量子物理関係の数学の論文も無価値になるけどなw
詭弁だな。「場の量子論に数学的な裏付けがない」からといって、
それのどこが無理筋で無価値なんだ？
物理は実験で観測して確かめればいいだろ。
物理学は実験科学であって、数学的な厳密な証明が揃っていなくても、
物理学としての独自の価値や有効性が認められるだろ。
しかし、純粋数学はそうはいかない。厳密な論理的証明そのものが
存在意義の大半を占める。ここで「数学でもアイデアは重要だろ」
と言いたいのなら、まさしくIUTは
「厳密な証明としてみたときにギャップがあり」
「IUTのアイデアが価値を発揮する場面がそのギャップに集中していて」
「しかもこのギャップが埋まる道筋が未だに出て来ない」
という状況。IUTが無理筋ってのはこういうこと。
しかも著者本人は「ギャップなんてない。自明だ」
と主張していてずっと平行線だしな。
これのどこに数学的な価値を見出せばいいんだよ。
あんたの言ってることはおかしいよ。
532:１３２人目の素数さん
26/07/25 11:48:57.16 CHYUGc9R.net
>>525
＞それを言い出したら場の量子論も数学的な裏付けとか無いから、
＞量子物理関係の数学の論文も無価値になるけどなw
詭弁だな。「場の量子論に数学的な裏付けがない」からといって、
それのどこが無理筋で無価値なんだ？
物理は実験で観測して確かめればいいだろ。
物理学は実験科学であって、数学的な厳密な証明が揃っていなくても、
物理学としての独自の価値や有効性が認められるだろ。
しかし、純粋数学はそうはいかない。厳密な論理的証明そのものが
存在意義の大半を占める。ここで「数学でもアイデアは重要だろ」
と言いたいのなら、まさしくIUTは
「厳密な証明としてみたときにギャップがあり」
「IUTのアイデアが価値を発揮する場面がそのギャップに集中していて」
「しかもこのギャップが埋まる道筋が未だに出て来ない」
という状況。IUTが無理筋ってのはこういうこと。
しかも著者本人は「ギャップなんてない。自明だ」
と主張していてずっと平行線だしな。
これのどこに数学的な価値を見出せばいいんだよ。
あんたの言ってることはおかしいよ。
533:１３２人目の素数さん
26/07/25 11:58:54.05 +LSaq+7s.net
挑戦だけなら誰でもできる
結実しなきゃ無意味じゃね？
534:１３２人目の素数さん
26/07/25 12:14:16.19 rJHb6p2h.net
>>525
ウィッテンもコンツェビッチも問題ある点については認めてるでしょ。
どこかの愚か者みたく自明！わからないやつは学生以下！みたいなアホなことは流石に言わんし、
それに対して問題もせず査読完了とかしちゃうのははっきり言って愚かだよ。
535:１３２人目の素数さん
26/07/25 12:24:21.76 D21cH+HO.net
IUTの要所である3.11→3.12を修正するのはABC予想を証明するのと同等の困難さなので誰も修正できない
536:１３２人目の素数さん
26/07/25 12:51:39.88 LXUcceFe.net
>>508
本来なら望月が世界中を飛び回って理解促進に努めるんだよ
537:１３２人目の素数さん
26/07/25 12:55:49.76 RcPX5wY2.net
>>526
数理物理或いは物理上で正当化された数学であって、ピュアマスではないからねってのと
後に普通に証明されてるんで無意味だし
ウィッテンももう爺だぞ
538:１３２人目の素数さん
26/07/25 12:56:13.18 yA77s9YW.net
>>519
グルーオンプラズマで超弦理論側の予測当ててるんだよなあ
低学歴おじさんw
539:１３２人目の素数さん
26/07/25 12:58:29.93 RcPX5wY2.net
物理学的に正しいというのが証明されてることに、一々数学者は突っかからない
ただ、それもまた数学だ、として認めてしまうのか否かで揉めたというのが昔あっただけ