Inter-universal geometry と ABC 予想 46

1 名前：１３２人目の素数さん mailto:sage [2020/04/04(土) 11:33:27 ID:oy5NBzsA.net] IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 45 https://rio2016.5ch.net/test/read.cgi/math/1582883006/ 450 名前：１３２人目の素数さん [2020/04/06(月) 00:30:25 ID:m45FKwNU.net] >>428 そしてこの表情である https://pbs.twimg.com/media/EUyvUZFUwAIrnBu.jpg 451 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 00:42:26 ID:CFuP+536.net] >>430 あっ… 452 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 00:42:37 ID:vl1NP+/7.net] >>407 柏原を胡散臭いなんて思ってるのはおまえってだけ 453 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 00:48:24.41 ID:vl1NP+/7.net] >>414 重症化には低カリウム血症が関わっている 重症患者はことごとく低カリウム血症になっていることを中国が報告してる 感染すると低カリウム血症になる機序が判明してるし、以前からカリウム血中濃度が低かった人は突然重症化する傾向があることが分かっている カリウム製剤を与えると回復傾向がみられることも分かってる 454 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 00:53:25.93 ID:vl1NP+/7.net] >>427 正解。その通りだ だからドイツ政府は治験無しにアビガンを大量購入することに決めたわけだよ でも日本国内にはルールなんだから治験は何がなんでもやれと息巻いてるやつがいてみすみす人の命が失われている 455 名前：１３２人目の素数さん [2020/04/06(月) 00:59:55.15 ID:CTplxA0S.net] 訳わからん嵐はくるなよ 456 名前：粋蕎 mailto:sage [2020/04/06(月) 01:28:39.62 ID:i0MVTXkI.net] 軽症感染者を看護に回すってエンドレス感染スパイラルに成らんのか？ しかし本当に今の日本は手離し讚美や煽り専ばかりになったのう｡ あーナチスナチス。日本型ナチスと日本型クラッシャー系社共派のイガミ合いじゃ此んなもん｡ 457 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 02:44:01 ID:VgrrnK4p.net] 毎日新聞のインターネット記事に、今回編集委員会が出した報道資料が全部乗ってるけど、2ページ目にはっきりと 「abc予想を証明した」 とはっきり書いてある。これをもとに各社見出し作ったからね。 458 名前：１３２人目の素数さん [2020/04/06(月) 04:36:39.26 ID:fqeKFRiQ.net] https://mainichi.jp/articles/20200403/k00/00m/040/093000c https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040003000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040004000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040005000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040006000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040007000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040008000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040009000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040010000q/9.jpg https://cdn.mainichi.jp/vol1/2020/04/03/20200403mpj00m040011000q/9.jpg 459 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 05:00:12.82 ID:3SDSg7Za.net] フィールズ賞のピーターショルツとテレンスタウが理解できないIUTを望月教授の弟子は完全に理解できるらしいね 余程優秀な弟子なんだろうな 弟子がショルツとタウに教えてやったら？ 460 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 05:26:16.67 ID:W5IdJ52s.net] アンチざまあです モッチーの勝ちです 461 名前：１３２人目の素数さん [2020/04/06(月) 05:43:28.39 ID:GPCmkTMM.net] なるほど　 政治力より 京都限定の「定理」に成仏したんだね 462 名前：１３２人目の素数さん [2020/04/06(月) 06:21:23.90 ID:fY2qoWNx.net] もうSSとSSを御神輿に担いでいる側がペーパーで公式に反論しなくてはいけない自体になった 463 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 06:23:51.67 ID:FMi146tx.net] >>438 有能 464 名前：１３２人目の素数さん [2020/04/06(月) 06:38:28.71 ID:GPCmkTMM.net] 共産大のクラスターなど 新型コロナウィルス騒ぎのどさくさ に紛れて身内がアクセプトしただけ。 RIMSはIUTウィルスのクラスター だからね、 465 名前：１３２人目の素数さん [2020/04/06(月) 07:00:15.08 ID:YNqXuaU8.net] >>442 少なくとも査読者はIUTが正しいと軍配をあげたわけだからね 査読者には相当なプレッシャーがあったはずだよ よく受けたな、しかし 466 名前：１３２人目の素数さん [2020/04/06(月) 07:02:03.59 ID:GPCmkTMM.net] はじめからアクセプトの結論ありき 467 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 07:28:12.84 ID:n8nAmtxW.net] オセロゲームみたいなものと思いなよ いまから、海外の納得していない人達を クロをシロに変えていけばいい IUTが正しければ、オセロゲーム成立するよ 468 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 07:30:50.06 ID:lGyqBSxX.net] 普通本当に正しければ時間と共に賛同側に鞍替えする人も増えるもんだろうけど 実際には真逆でケドラヤまでもが懐疑側に鞍替えしている。 既に逆方向ｎオセロゲーム成立してる。 469 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 07:36:12.39 ID:n8nAmtxW.net] オセロゲームでは、一時的にクロが増えることはある が、あと一気に逆転パターンもあるぜ 470 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 07:53:50.99 ID:n8nAmtxW.net] >>448 >>448 >実際には真逆でケドラヤまでもが懐疑側に鞍替えしている。 K. Kedlayaはもともと 懐疑派だけれど どちらかと言えば肯定派だったかも いま、懐疑派で懐疑が強くなったかもね しかし、下記見ると、Taylor Dupuy氏との共著もあるから Taylor Dupuy氏から、正しい情報が入って、改心する可能性大だな （参考） https://www.uvm.edu/~tdupuy/papers.html [ Taylor Dupuy's Homepage] 1.The Statement of Mochizuki's Corollary 3.12, unstable preprint available on request, (with A. Hilado) 2.Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado) 　https://www.dropbox.com/s/hwdxtpk5ydqhp6g/thm1p10-short.pdf? 3.Isogeny classes of Abelian Varieties over Finite Fields in the LMFDB, (with K. Kedlaya, D. Roe, and C. Vincent) 　https://arxiv.org/abs/2003.05380 4.Counterexamples to a Conjecture of Ahmadi and Shparlinski (with K. Kedlaya, D. Roe, and C. Vincent) 　https://arxiv.org/abs/2003.05368 471 名前：粋蕎 mailto:sage [2020/04/06(月) 08:18:43.68 ID:i0MVTXkI.net] まさか未だ以てIUTでノーベル賞やフィールズ賞が出ると思ってるバ〜〜〜カは居らんじゃろうな？ ○○○○賞なら分かるが 472 名前：粋蕎 mailto:sage [2020/04/06(月) 08:19:46.68 ID:i0MVTXkI.net] ほぅ言やぁアティヤ氏の方は進展どうなっとるん？ 473 名前：１３２人目の素数さん [2020/04/06(月) 08:28:51.60 ID:ZEVs1Egc.net] >>448 >普通本当に正しければ時間と共に賛同側に鞍替えする人も増えるもんだろうけど んなこたーない 「たとえ正しくても価値を感じない」というケースも普通にある 474 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 08:32:12.60 ID:IEJgWnxq.net] 柏原が「間違いなく正しい」って言った部分はカットされてるっていうけど、 カット前の映像にそれがある証拠なんてまったくないぞ。 475 名前：１３２人目の素数さん [2020/04/06(月) 08:45:58.32 ID:ZEVs1Egc.net] 数学の難問で 証明された事のチェック自体に大きなリソースが割かれるケースは 例外中の例外 そういうチェックは数学の発展とは無関係な作業 証明されたかどうかのチェック自体に大きなリソースが 十分に割かれる保証のある例外中の例外の実例 476 名前：は ・ポアンカレ予想(済) ・フェルマー予想(済) ・リーマン予想 くらいだけ。百歩譲っても他にはミレニアム懸賞問題くらいだけ [] [ここ壊れてます] 477 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 09:20:59.52 ID:vl1NP+/7.net] >>455 IUTは例外ケースということだ 日本から例外ケースが出たことに違和感を感じてるのか？ 478 名前：１３２人目の素数さん [2020/04/06(月) 09:31:26.65 ID:ZEVs1Egc.net] >>456 >IUTは例外ケースということだ 正確にはIUTじゃなくて「ABCも例外だ」と言いたいの？ 実際に一握りの人しかリソース割いてないじゃん >日本から例外ケースが出たことに ABCは日本発祥の難問じゃない 479 名前：１３２人目の素数さん [2020/04/06(月) 09:35:37.67 ID:LIbx70F0.net] >>455 この証明は証明自体もすごいけど、 そのツールがすごいんでしょ。 いわゆる微分とかの開発と似たような感じ。 だから、関心の対象になってる。 できたら理解してみたいけどなあ。時間ない。 480 名前：１３２人目の素数さん [2020/04/06(月) 09:37:13.00 ID:LIbx70F0.net] >>457 ABC予想は、数学者の多くが解こうとしている難題で、 だから、検証に大きなリソースが裂かれてる。 481 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 09:45:44.25 ID:oa8vV0vE.net] >>438 ＞既存の公理体系の中の理論です 4章はほぼカットかな グロタンディークの真似事をしたかったんだろうけど、よく知らないのにそれっぽいことを書いて滅茶苦茶言ってたしな 482 名前：１３２人目の素数さん [2020/04/06(月) 09:57:56.62 ID:ZEVs1Egc.net] >>458 >そのツールがすごいんでしょ。 その肝心の「ツールのすごさ」を示す具体的な話が 今の所ゼロ >ABC予想は、数学者の多くが解こうとしている難題で まず一般論として 「解こうとする事」と「解き切る事」とはまた違う話 解こうとしていても解き切る事に関心がないというケースが普通にある あくまで「自然に解ける事」「解こうとするプロセスで得られる事」に価値がある 483 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 09:58:07.96 ID:LcegzXRS.net] >>458 そのツールを使った応用が現時点ではあまり出てきてないように見えるのがな 484 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 10:42:04 ID:vl1NP+/7.net] 文書の最後に書いてあるだろ 「外国人研究者や数理解析研究所の若手研究者を中心に、既にいくつかの共同研究ブロジェクトが立ち上がっています。」 これからだよ。このスレにも成果物が出てくる事例を提示してるしな 485 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 10:45:14 ID:T2Y4UUuy.net] そうだよ、1000年2000年先を見通してドンと構えろよ 486 名前：１３２人目の素数さん [2020/04/06(月) 10:55:25 ID:YKJjGp9s.net] >「外国人研究者や数理解析研究所の若手研究者を中心に、既にいくつかの共同研究ブロジェクトが立ち上がっています。」 PRIMSにしか掲載される見込みのない共同研究プロジェクトに駆り出される 若手研究者が不憫でならない。 外部から引用される可能性は殆どないから何の実績にもならんだろうに。 487 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 10:56:25 ID:IzXOKA2U.net] 8年間何やってたの？ ノーベル賞を取った山中教授のグループはノーベル賞を取る前は研究成果を発表しまくって先に先に進んで行ったけど IUT理論を理解してると言われてる連中からはそう言ったものは殆どないよね 488 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 11:01:00 ID:lGyqBSxX.net] 共同研究の前にCor3.12の解説した方がよっぽどコミュニティに貢献出来るでしょ。 周囲が本当にIUTを理解しているなら明らかに順番がおかしい。 489 名前：１３２人目の素数さん [2020/04/06(月) 11:01:02 ID:LIbx70F0.net] 数学と医学を一緒にされても 数学者の人数は簡単に増えないよ。 490 名前：１３２人目の素数さん [2020/04/06(月) 11:09:29 ID:LIbx70F0.net] >>461 ワイルダーみたいに何年もかかりっきりでとく方が普通でね。 数学の場合。 491 名前：１３２人目の素数さん [2020/04/06(月) 11:13:01 ID:LIbx70F0.net] ワイルズだった。 492 名前：１３２人目の素数さん [2020/04/06(月) 11:16:13 ID:ZEVs1Egc.net] >>463 >これからだよ そんな事言いだしたら他の全ての有象無象の数学理論も 皆「これから」の余地を持ってる 493 名前：１３２人目の素数さん [2020/04/06(月) 11:18:47 ID:ZEVs1Egc.net] >>469 >ワイルダーみたいに何年もかかりっきりでとく方が普通でね。 >数学の場合。 ワイルズの仕事は非可換類体論という数学に 新しい風景を与えた IUTにはそういう事がまだない 494 名前：１３２人目の素数さん [2020/04/06(月) 11:19:02 ID:YKJjGp9s.net] 解くのは何年も掛かるのは分かる。 問題は著者いわく自明というくらい簡単なはずの 系3.12の解説を8年間で誰も為し得ていないという点。 そのことは周囲の理解者とやらが 自身の組織内での立場の為に著者の顔色を伺っているに過ぎず 証明がそこには存在しない事を確信させる。 495 名前：１３２人目の素数さん [2020/04/06(月) 11:19:59 ID:LIbx70F0.net] >>466 査読するのに8年かかってるのだから、 理解するのも同じくらいかかるでしょ。 当然。 496 名前：１３２人目の素数さん [2020/04/06(月) 11:22:39 ID:LIbx70F0.net] >>472 証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。 見れる人が少ないだけでしょ。 497 名前：粋蕎 ◆C2UdlLHDRI mailto:sage [2020/04/06(月) 11:25:54 ID:i0MVTXkI.net] >>464 こりゃまたド偉い皮肉 >>466 可能性1.遅ればせ乍ら、そろそろ引用論文が現れる 可能性2.望月氏流天才肌構成で引用者に不親切な出来の悪い論著で望月氏以外の誰が利用しても研究鈍足せざるを得ない 可能性3.土台、応用先が狭い 可能性4.理解できている共同者は若くは無く生産性が鈍く、弟子等は弟子等で理解しきれて居ない 可能性5.実は欠失は無い物の未だ確執が有る 可能性6.実はは確執どころか未だ欠陥が有る 498 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 11:26:15 ID:fM9TUIZD.net] ＞外国人研究者 望月研究室の大学院生では？ 499 名前：１３２人目の素数さん [2020/04/06(月) 11:30:44.98 ID:ZEVs1Egc.net] >>467 >共同研究の前にCor3.12の解説した方がよっぽど https://twitter.com/i/web/status/1246154392216035328 望月氏の理論に否定的な特に海外の研究者の皆さんへ。 #IUTABC 理論の理解者は、ショルツ側の「誤解」だと指摘しています。 盲目的にフィールズ賞受賞者というフィルターだけを根拠に、 物事を捉え、拡散するという行為は、科学的ではありません。 この人によると、だそうです。 Cor3.12のやらの事かどうか分からないけど あと玉川先生だっけか、そちら側の言い分では 「反論は行っていて、再反論はなかった」 みたいな事を言ってた気がする (deleted an unsolicited ad) 500 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 11:32:07.48 ID:Vi++uUTK.net] >>474 査読と理解は違うと思うよ 例えば、「有限単純群の分類」定理（下記） ”主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成” 証明の細部は、個人では分からない ∵ コンピュータで構成された例外群多数 （人の手では無理）。それに、”計1万5000ページ以上”って、だれが全部それ読んだんだ？ｗ だけど、「有限単純群の分類」定理、みんな 理解はできる（あるレベルの勉強をすれば） それと同じことよ （参考） https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8D%98%E7%B4%94%E7%BE%A4%E3%81%AE%E5%88%86%E9%A1%9E 有限単純群の分類 (抜粋) 有限単純群の分類 (classification of the finite simple groups) とは、数学において全ての有限単純群を4つの大まかなクラスへと分類する定理である。 これらの群は、全ての有限群を構成する基本的な要素として見ることが出来る。 この分類定理の証明は、主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成である。 501 名前：１３２人目の素数さん [2020/04/06(月) 11:33:35.07 ID:ZEVs1Egc.net] >>475 >証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。 >見れる人が少ないだけでしょ。 フェルマー予想と同様、ABCの命題自体は散発的なモノでしかない 単に「証明に成功する」という事だけなら 他の全てのどんな有象無象の数学理論も それぞれの命題についてその証明は成功している 502 名前：１３２人目の素数さん [2020/04/06(月) 11:36:16.8 ] [ここ壊れてます] 503 名前：7 ID:uTb+zDrk.net mailto: 俺は読んだ [] [ここ壊れてます] 504 名前：１３２人目の素数さん [2020/04/06(月) 11:36:37.24 ID:LIbx70F0.net] >>479 コンピューターによる証明はアルゴリズムを見て判断するだろ。 これとは性質が違う。 くだらねえなあ。 505 名前：１３２人目の素数さん [2020/04/06(月) 11:37:53.87 ID:LIbx70F0.net] 外在的な観察いくらしても、証明の成功不成功とは関係がない。 506 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 11:38:13.52 ID:fM9TUIZD.net] >>478 って日本語で書かれても伝わらんと思うが、 それ以前にCor 3.12の説明を求めてる大物はSSだけじゃないんだよなぁ 507 名前：１３２人目の素数さん [2020/04/06(月) 11:39:15.58 ID:ZEVs1Egc.net] >>483 >証明の成功不成功とは関係がない。 数学は競技や遊びではないので ABCの証明の成功不成功は数学的価値と関係がない 508 名前：１３２人目の素数さん [2020/04/06(月) 11:42:36.93 ID:ZEVs1Egc.net] >>484 合ってる間違ってるの話はどのみちつまらない 合ってるからと言ってオリンピックのメダリストみたいに急にちやほやされる訳ではない 数学者は数学の風景にしか興味がない 新しい数学の風景、新しい数学の進むべき道、を提示すると 沢山の研究者が自然に群がってくる 509 名前：１３２人目の素数さん [2020/04/06(月) 11:46:29.18 ID:lGyqBSxX.net] 再反論がないというか既に相手にされてないだけでしょう。 言ってることは要約すると論文読み直せってだけだから。 510 名前：１３２人目の素数さん [2020/04/06(月) 11:54:30.38 ID:ZEVs1Egc.net] >>487 その判断は両者のやり取りの中身そのものを 実際に見ないと分からない 一般論として可能性として5chの煽りと一緒で 実際にはちゃんと説明したのに 「おめーは論文読み直せとしか反論してねーじゃんｗｗｗ」と逆に言い張られてる だけの場合もあるから 511 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:00:55.26 ID:Vi++uUTK.net] >>479 >査読するのに8年かかってるのだから、 >理解するのも同じくらいかかるでしょ。 >当然。 補足しておくと 理解早い天才クラスがいる そういう人は、査読に何年かかろうが同じだよ 驚くほど短期間で理解するんだよ そうでなければ、20代30代の若さで現代数学の最前線には立てない 自分と同じと考えない方が良いと思うよ 512 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:01:52.90 ID:7xIqksAv.net] >>488 ワラタ 一般論？可能性？ お前なに見てんの？ 513 名前：１３２人目の素数さん [2020/04/06(月) 12:03:59.43 ID:ZEVs1Egc.net] >>489 「理解の早い天才」と「数学を創造する天才」とは別物だけどな。 グロタンディークは他人の論文を理解する早さは決してすごくはなかった セールがそう言ってた 514 名前：１３２人目の素数さん [2020/04/06(月) 12:05:13.76 ID:ZEVs1Egc.net] >>490 日本語で理由を添えて反論すべき 515 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:10:09 ID:L1qjewt5.net] このABC問題で、小保方さんの名誉回復されるとは、 一寸先は闇だな。 516 名前：１３２人目の素数さん [2020/04/06(月) 12:13:06 ID:xRcaE4al.net] このスレに読んで理解したという人が8年現れてないってすごいよな。 まあ、言われてる通りなんだろう。 517 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:17:45 ID:jTvTOXzD.net] 郡-抽象代数も行列-線形代数学も、その基礎が提示されたのは19世紀前半、徐々に体系化され教科書が出、多様に応用され数学科で教えられ、現代数学の必須要素になっていったのは19世紀末から20世紀、半世紀余も後 ＞p?進数　1897年にヘンゼルによって導入された 現代数論では主要素の一つのこれは、発表後10年や20年で他研究者による多量の活用があったのか リーマン幾何学　1854〜 一般相対性理論　1916 スキーム論 >同時代の学者たちからは戸惑いのこもった反発を受けた。 　この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。 　この理論は緩やかに受け入れられていった。 アブストラクト・ナンセンス 　圏と関手の理論に対して行われた、中身が無く抽象的過ぎるために無意味だ、という現代数学界での長年の批判 一つも知らない想起できない、何の資格があって文句言っているのか不明な数学超外野の恥ずかしい人々 518 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:19:47 ID:oxE/DelY.net] >>495 どれも説明できる理解者はその時点でいた。 説明が意味不明だという批判を受けてるのはIUTだけ。 519 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:21:12 ID:kPyRLIKL.net] 俺には読めないが論文のリンクを貼っておこう。 www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html 520 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:21:23 ID:lGyqBSxX.net] >>495 そういった概念部分の論争は既に話題から外れていて 今はCor3.12のギャップに焦点が絞られてるよ。 521 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:24:58 ID:L1qjewt5.net] 零は、認められるまで５００年かかったし、 集合の発見者は、精神病院で死んだ。 M先生に幸あれ。 522 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:28:18 ID:oxE/DelY.net] >>499 ゼロなんて数学者が認めるか認めないか以前に商人が使ってただろ。 応用のないIUTと一緒にするのはできないね。 523 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:31:35 ID:3mv9FOjK.net] ショルツ側が望月の二回目の説明に反論しないのは明らかにおかしい。たぶん自信がなくなったからだ。 二回目の説明のペーパーで3.12の補足説明をつけていて、かなり明快にショルツ側の疑問に対応してる。 これに応じないのはもはや逃亡だよ。 524 名前：１３２人目の素数さん [2020/04/06(月) 12:32:53 ID:xRcaE4al.net] >>500 理解できてないなら応用はできません。 つうかよく理解できてもいないくせに断言するな。アホだろ 525 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:35:57 ID:oxE/DelY.net] >>502 商人が０や負数を使ってるときに彼らは数学を理解してるわけじゃなかったし、 そもそも数学サイドで０や負数を定義する方法がなかった。 今のデータサイエンティストもそう。べつに数学を完全に理解してるわけではないが応用している。 理解しないと応用できないなんてことはない。 しかもIUTでは自称理解者も応用できないと言う極めて不自然な点がある。 526 名前：１３２人目の素数さん [2020/04/06(月) 12:43:53 ID:ZEVs1Egc.net] >>495 スキームや圏論は受け入れられるスピード早かったでしょ あんまり古い時代はレギュレーションが違うから比較できないけど とりあえずIUTも スキームや圏論並みの応用が提示されてからお祭り騒ぎしたらいい 別にIUTの研究を辞めろは言ってない 現在は価値が見出されてないと言ってるだけ 527 名前：１３２人目の素数さん [2020/04/06(月) 12:45:59 ID:4qE6Pzsr.net] マスコミはjinみたいなど素人にも取材申し込みしてそうだなw 528 名前：１３２人目の素数さん [2020/04/06(月) 12:48:12 ID:ZEVs1Egc.net] >>498 おまえみたいなバカだけだろ 529 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:48:24 ID:Vi++uUTK.net] >>489 さらに補足しておくと 1)査読と、2)査読された論文の証明を読むことと、3)論文の内容を理解することと この３つは、全く別ものということ 3)の論文の内容の理解について補足すれば 理解は、読み手のレベルに大きく依存する 分からない人は、分からない人なりに 分かっている人は、それなりに 良く分かっている人も、それなりに ということ 530 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:49:58 ID:Vi++uUTK.net] >>495 >一つも知らない想起できない、何の資格があって文句言っているのか不明な数学超外野の恥ずかしい人々 全く同意見です 531 名前：１３２人目の素数さん [2020/04/06(月) 12:52:30 ID:WBgCSWG8.net] 応用はもう尽くされたから正しいと宣言されたんじゃないか？ 532 名前：１３２人目の素数さん [2020/04/06(月) 12:53:05 ID:ZEVs1Egc.net] >>508 勝利宣言早すぎだろ 相手からの反論を待って再反論しろよ 533 名前：１３２人目の素数さん [2020/04/06(月) 12:55:26 ID:WBgCSWG8.net] そうだな 534 名前：１３２人目の素数さん [2020/04/06(月) 12:55:57 ID:ZEVs1Egc.net] >>509 ちゃんと親孝行しろよ 親はいるうちが華だぞ おめえみたいなすっとぼけ野郎にもネットに書き込みするまでに育ててくれたのは 他でもない親御さんだぞ 535 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 12:56:28 ID:Vi++uUTK.net] >>510 柏原、玉川より数学上って人、ここに居るの？ 536 名前：１３２人目の素数さん [2020/04/06(月) 12:58:35 ID:ZEVs1Egc.net] >>513 いないだろうけど それとこれとのあんたのレスの正しさと何の関係があるの 537 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 13:02:49 ID:fM9TUIZD.net] これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、 過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ 538 名前：１３２人目の素数さん [2020/04/06(月) 13:19:34 ID:ObL7BHuW.net] IUT以前：数学は曖昧さのないピシッとしたクリーンな世界 IUT以後：数学は曖昧で歪があるが定量的評価でなんとかできる世界 なんか対称性の破れの時のBefore/After感があるｗ 539 名前：１３２人目の素数さん [2020/04/06(月) 13:34:39 ID:8xux8RTv.net] 物理学における量子力学が 数学におけるIUT なのかな？ 540 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 13:34:58 ID:Vi++uUTK.net] >>515 >これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、 >過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ そうそう それと 「証明が証明になっておらず」は、時代に依存するって、だれか数学者のえらい人が書いていたな つまり、例えば、ガウスとかコーシーとか、後の時代から見て、証明が雑とかの指摘はしようがないってね 後の時代になって、もっと厳密でかつシンプルで分かり易い別証明が出たりしてね IUTも、きっと、そうなると思うよ （ Kirti Joshiの ”Anabelomorphy”＆ ”p-adic Mochizukioid”（下記）は、その兆候と思う（＾＾；　） （参考） https://arxiv.org/pdf/2003.01890.pdf On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305 https://arxiv.org/pdf/1906.06840.pdf Mochizuki’s anabelian variation of ring structures and formal groups Kirti Joshi December 11, 2019 541 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 13:35:05 ID:yFLAIVYb.net] 全くの門外漢だけど、加藤文元先生の本読んだ 足し算側と掛け算側の世界の誤差を計算して不等式評価するってのがなんか工学っぽいアプローチで意外だった 542 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 13:38:34 ID:buVZTM5u.net] 数論の核心に迫るにはスキーム論を拡張させる必要がありそれがIUTというのが望月さんの一番言いたい事でしょ 本当にそうかどうかは不明 543 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 13:55:02 ID:kPyRLIKL.net] IUTって書いてるヤツ多いけど、IUTTだからIUT理論なんじゃないのか？ 544 名前：１３２人目の素数さん [2020/04/06(月) 14:13:27 ID:EJWWDd1u.net] 望月の前作のp進タイヒミューラー理論は割と早く認められたのにIUTはそうなっていないのは何でだろうね 545 名前：ID:1lEWVa2s mailto:sage [2020/04/06(月) 14:15:33 ID:p1LHSJbR.net] じゃあ僕先行ってますね。 546 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 14:21:00.68 ID:r8hcEMGd.net] ようわからんけど、もち自体がブログでIU堆肥ってかいてるからIUTと略してええんや 547 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 14:25:37.02 ID:NuvvXAyr.net] >>516 そんなことはない 代数的な世界に解析的な考えを持ち込んだから違和感があるだけで、元々すっきりしないことはたくさんある 548 名前：１３２人目の素数さん [2020/04/06(月) 14:43:53 ID:8xux8RTv.net] 望月のブログは 絶対、収穫と蒔いた種と、 を意識してる 549 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 14:49:01 ID:kPyRLIKL.net] Wikipedia上でABC定理じゃないのかABC予想のままだとか書き込みあったけれども、 Wikipediaは自由に書き換えできるぞ。 ABC定理として勝手に追加でもすればいいじゃないか。 リダイレクトでもいいんじゃないのか。 書くなら英語版にも書いてしまえ。 ABC定理の検索結果 https://ja.wikipedia.org/w/index.php?search=ABC%E5%AE%9A%E7%90%86&title=%E7%89%B9%E5%88%A5%3A%E6% 550 名前：A4%9C%E7%B4%A2&go=%E8%A1%A8%E7%A4%BA&ns0=1 [] [ここ壊れてます]

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef