Inter-universal geometry とABC 予想48

1 名前：１３２人目の素数さん [2022/03/02(水) 19:54:05.87 ID:syaKskfd.net] 未だにcontroversialなIU幾何やABC予想に関する会話の サロンとして使って下さい。 荒らしはご遠慮願います 応援スレとの棲み分けにより、懐疑的な意見も歓迎です 関係者の匿名的な論理的擁護も歓迎です 前スレ Inter-universal geometry とABC 予想47 https://rio2016.5ch.net/test/read.cgi/math/1635332056 730 名前：１３２人目の素数さん [2022/04/15(金) 22:33:33.43 ID:2SeQJSq9.net] ともかく完全版あと30分だぞ どうせ録画してるし俺はニュース23も見るがw 731 名前：１３２人目の素数さん mailto:sage [2022/04/15(金) 22:38:52.57 ID:Ms53oY5u.net] 確か学生実験中に担当教授にちんちん擦り付けてセクハラ問題になり、学校休んで欠席扱いになったら逆にハラスメント受けていると言いだし、大学構内で消化器ぶちまけて退学処分になり、最初は山形の架空の統失夫婦のせいだと言ってたけどやがて担当教授がストーキングしてると思いだして現在に至るんじゃないかな 抜けがあったらフォローよろしく 732 名前：１３２人目の素数さん mailto:sage [2022/04/15(金) 22:41:49.49 ID:2SeQJSq9.net] >>696 あの写真の人にそんなことしたの？にわかには信じられんな 733 名前：１３２人目の素数さん mailto:sage [2022/04/15(金) 23:15:48.08 ID:HKJ9pp+S.net] 今、NHK 734 名前：-BSで完全版の放送やってるな [] [ここ壊れてます] 735 名前：１３２人目の素数さん [2022/04/16(土) 00:20:54.18 ID:U7P2BvHn.net] まゆまゆ〜 736 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 03:34:06 ID:/infG8iD.net] 大学教授って間違った論文書いてもやめさせられないの？ 737 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 05:30:30.79 ID:hab1WHkJ.net] >>700 はぁ？ EPRパラドックスをググってみろ アインシュタインだってノーベル賞後に間違った論文書いてる まぁ、その後の量子もつれの発見と量子コンピュータの発展に繋がった訳で、天才は間違うにしても天才的だがな 738 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 09:29:14.00 .net] >>701 その件については、アインシュタインは 局所実在論という前提の上で 「量子力学が相対論と両立しない」 といっただけのことであって、 実際は量子もつれが実在するから、 局所実在論という前提が誤りだった ということになる アインシュタインは 「局所実在論は成立する」と思ってた点では誤りだったが 前提を明確化した上で論文書いてるから、論文としては問題ない 739 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 09:31:41.05 .net] 望月の論文は、Cor3.12が成立するための「前提」を 明確化できていない点で誤ってるおそれがある ブンゲンのように「認識論」とかいうのは敗北を暗に認めるに等しい 740 名前：１３２人目の素数さん [2022/04/16(土) 10:14:38 ID:5gcq1gfK.net] >>700 意図的にデータを改竄した等の不正でなければいいんでないの？ 741 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 11:10:21.65 ID:4kmNdAdZ.net] ・望月博士　新しい時代を切り開く稀代の天才 ・ショルツ　新しい概念を受け入れられない老害 こういう認識でいいよね？ 742 名前：１３２人目の素数さん [2022/04/16(土) 12:28:29 ID:BrQor1I/.net] >>705 b&カドカワ史観ってやつ？ 743 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 12:37:20 ID:w4N6et9x.net] 写真で見た感じでは ショルツが新進気鋭の天才数学者で 餅が引退したお爺ちゃん みたいな感じ 744 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:04:15.46 ID:ttHCMdN5.net] MはともかくSまで取材拒否とは事態の深刻さが演出されている 745 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:21:06.28 ID:3yUnrOjD.net] 不完全番組の完全版とは 746 名前：１３２人目の素数さん [2022/04/16(土) 13:24:09.99 ID:gM/QGsqV.net] >>676 もっちーはショルツとの論争の中で「若い人」への助けを求めていたよｗ つまりもっちーは一度は自分でも証明が不備であることを認めざるを得ないところまで行ったんだよ ただＲＩＭＳや愛国応援団にはげまされて、開き直るという道をえらんだだけ。 要するに権威者に甘く、愛国と言えばすべてが無罪になる日本の数学界の未熟さがあらわになってるだけのこと。 今回のＮＨＫももっちーに甘々だし。 747 名前：１３２人目の素数さん [2022/04/16(土) 13:25:21.28 ID:exo7X/ui.net] 完全版見た 良かった 結論は ファルティングス「普通の数学者に分かる説明しろ」 ってことですね 748 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:35:31.77 ID:ttHCMdN5.net] 取材時の服装がカジュアルなんだけど地味なんだよな 青系が多かった フェセンコの虎柄？が一番派手だった気がする 749 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:35:42.70 ID:W1xuA1VP.net] もうIUTは日本人に受け入れられたも同然だね 「理論が難しすぎて外人は理解できないだけ」という見方が一般的になりつつある 750 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:48:24.84 ID:3yUnrOjD.net] >>711 >普通の数学者に分かる説明しろ 望月もしたいんだと思う でもできない 望月自身が分かってないから 751 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:55:00.93 ID:ttHCMdN5.net] 分かるように説明したら他の数学者に先を越されちゃうかもしれないから わざと分からないようにしておいて自分たちだけで研究を先に進めようとしている 752 名前：のではないか そもそも分かるように説明する労力が惜しいんだろう [] [ここ壊れてます] 753 名前：１３２人目の素数さん [2022/04/16(土) 14:44:17.03 ID:mFuk7ShD.net] もはや陰謀論だな 754 名前：１３２人目の素数さん [2022/04/16(土) 14:48:47.08 ID:+8T1Jv6O.net] >@FumiharuKato >IUT理論における「宇宙」という用語が指し示すものが望月さん >独特のものであるのは本当です。その宇宙は集合論の宇宙とも、 >グロンタンディーク宇宙とも異なっていますので。 では一体どのようなものなのでしょうか？ この10年間幾度となく問われてきましたが、 望月学派からの確定的な答えを見たことがありません。 755 名前：１３２人目の素数さん [2022/04/16(土) 15:03:55 ID:omlOILx4.net] IUTが間違ってるとか言ってるのってネタだよな？ 自分が望月新一より頭いいと思ってんの？ 756 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 15:11:10 ID:L0HhLQnk.net] >>718 少なくとも基礎論については上だとは思ってる 757 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 15:19:19.58 ID:NGK10b9f.net] >>669 あグロ 758 名前：１３２人目の素数さん [2022/04/16(土) 15:53:29.93 ID:mFuk7ShD.net] >>717 フロベニオイド（エタールな空間のモノイド）と単遠アーベル幾何学（位相群）に由来するものでしょ 759 名前：１３２人目の素数さん [2022/04/16(土) 15:54:21.85 ID:mFuk7ShD.net] スキームを実空間で再構成してるからスキーム宇宙 760 名前：１３２人目の素数さん [2022/04/16(土) 16:01:26.26 ID:mFuk7ShD.net] 要は、乗法的には同じ構造だけど加法的には法則が違う ところが単遠アーベル幾何学とは、位相群によって環構造自体は復元可能と主張する それは不定性を除いて元の正則スキームに対応する エタールテータ関数はフロベニオイドから成ると同時にRの因子として宇宙の幾何学を構成する 数学では環構造は本質的なので、宇宙と見なしているというわけだ 761 名前：１３２人目の素数さん [2022/04/16(土) 16:31:36.94 ID:ibCsYfS5.net] >>705 概ねそれで合っている。 762 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 16:38:23 .net] >>705 ・望月新一　新しい時代を切り開いた妄想を抱く統合失調症患者 ・ショルツ　望月の結果が妄想であることを示した若き精神科医 こんなところか 763 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 16:41:16 ID:mFuk7ShD.net] 俺はまだ終わってないと思ってるな 明らかに正しい証明を持ってきて論理を比較して本当に終わるんだと思う 764 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 16:44:57 .net] そして ・D　 　実は望月新一の手法は一種のforcingではないかと思っている 　そしてもし 「数論のモデルが存在する場合、ABC予想が真であるモデルが存在する」 　と示せていれば、同様の方法で 「数論のモデルが存在する場合、ABC予想が偽であるモデルも存在する」 　と示せるかもしれず、その場合 「数論上でのABC予想の決定不能性」 　が示せると思っている 765 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 16:49:51.66 .net] 「数論のモデルが存在する場合、ABC予想が真であるモデルが存在する」は 「数論でABC予想が成立すると証明できる」とは違う なぜなら後者は 「数論のモデルが存在する場合、ABC予想が偽となるモデルは存在しない」 という意味だからである 766 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 16:53:09.11 .net] かつてゲーデルは構成可能な宇宙の上では選択公理が成立すること示した しかしもちろんこれは選択公理が集合論上で証明できることを示すものではない そしてその後コーエンがforcingによって選択公理が成立しないモデルを構成し 集合論上での選択公理の決定不能性を示した 767 名前：１３２人目の素数さん [2022/04/16(土) 16:54:45.76 ID:mFuk7ShD.net] なるほど。単なる存在可能証明ではないかと 768 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 16:59:49.15 ID:/infG8iD.net] 俺のオメコ理論のほうがすごい 769 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 17:01:29.17 .net] >>730 IUTT＝forcing論は、望月の方法論に意味を見出す点では彼に好意的だが、 同時に、それでは証明になっていない、という点では彼に否定的である 770 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 21:00:17.16 ID:rg6bUzy5.net] さすがに選択公理のようにどちらも成り立つって話にはならんだろ。 ABC予想は明確な計算結果に対する話だぞ。 771 名前：１３２人目の素数さん [2022/04/16(土) 21:38:22.33 ID:qs0GXAex.net] むしろショルツの自己過信ぶりの方が目立った 「俺が理解できない物は間違っている」ということしか言っていないのに よくここまで他人の論文にあれこれ言えるもんだと思う 論文を深く理解できて核心的な指摘や批判ができる人間だけがケチを付けるべき 量子論に批判的だったアインシュタインは様々な思考実験を提示して量子論に対抗しようとした その結果量子論に対する理解が深まったり、新たな量子論の分野が生まれることになった 批判というのはこういう物であるべき 772 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 21:52:15 ID:L3wBqr4z.net] 「Cor 3.12の証明のFigure 3.8以降のロジックについていけない」はかなり核心的な指摘だと思うが どの定理の、証明のどこからにギャップがあるのかまで指摘してくれているわけだし、 証明したと考えている側もこれを受けて、Cor 3.12の証明をコンピュータで証明できるくらいの形に書き直せば良くなるから負担も比較的少なくて済むはず 773 名前：１３２人目の素数さん [2022/04/16(土) 21:56:14 ID:iM1n9g2r.net] >>734 ブーメランだよ。あんたこそSSとそれに対する望月の反論論文を読んでちゃんとショルツを評価しないと 774 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 21:59:30 ID:pbg0Rfu8.net] ショルツの言うことを盲信してる奴なんて外人しかいないけどな 日本人はちゃんと望月さんの偉業を理解している 775 名前：１３２人目の素数さん [2022/04/16(土) 22:02:05 ID:BrQor1I/.net] 他人は盲信 自分は理解 この卑怯な言い方は朝鮮JINかな 776 名前：１３２人目の素数さん [2022/04/16(土) 22:02:43 ID:BrQor1I/.net] 738は朝鮮人のタイプミス ごめんごめん 777 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 22:20:56 ID:ummmE3qY.net] >>731 あのオメコ理論の人？ すごい感動して影響受けました オメコ理論って発展しないのですか？ AIと融合とか 778 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 22:56:28.57 ID:rg6bUzy5.net] 人種問題にして誤魔化してるのは明らかに望月の方だがな。 779 名前：sage mailto:sage [2022/04/17(日) 02:49:15.60 ID:OgYm9K2Q.net] 文元さん大学辞めたのは、悪いけど、この問題から逃げたのかなって思っちゃった。 780 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 05:38:16.89 ID:2J4pyrI/.net] 立派な人だけど、「認識論」とは関係ないよ。 というか、「認識論」って疑似科学で、 「オカルト」、「錬金術」と同類の言葉だよね。 781 名前：１３２人目の素数さん [2022/04/17(日) 06:19:08.53 ID:LeyqYZhd.net] >>734 フェゼンコが相変わらずIUTT支持でスティックスがトーンダウンしてるのもそういうことでしょうね 782 名前：１３２人目の素数さん [2022/04/17(日) 07:05:20 ID:nespQRkY.net] >>737 Scholtzeがそういうなら 自分が解読できなくても恥ずかしくないので とりあえずは放置プレイ といったところだろう 783 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 08:56:38.19 ID:0N20y0Hd.net] >>737 どこの日本人www みんな無視だよ 現実望月論文のサーベイ論文も勉強会の類のワークショップも外部からはなーんにも出てこない、もうこの話出てから10年にもなるのに もう終わってるよ 784 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 10:28:04.14 ID:XqCfFBGz.net] でもNHK番組の反応見た感じだと大半の視聴者はABC予想が解決されたと思ってるよね 理論は正しいのに難しすぎて他の数学者に理解されていないんだと認識してる 785 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 12:08:33.71 ID:yh1xbakA.net] >>747 もし世間の人にそういう誤った情報を信じさせたなら完全にNHKの黒歴史になるわな しかし現実にはもうrimsの方はこの異常事態をキチンと責任持って幕引きするつもりはないみたいだし 残念ながらこの日本数学界に深い黒歴史を刻んだまま逃げ切りで幕引きしようとしてるようだからな 望月先生はやはり数学者としての最低限 786 名前：の責任についてキチンと考えていただきたかったな [] [ここ壊れてます] 787 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 12:29:32.55 ID:udSQiRTc.net] 世界中の数学者がぐるになって未解決のままにしておけばいくらでも研究費を貪れるからな フェルマーの最終定理が証明されてしまったので代わりが必要だったのだろう 未来から来た論文とは数百年間証明できないことにしておくはずだったという意味では 788 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 12:31:46.39 ID:6EYjijeL.net] ただいま絶賛隠蔽中 (私が解決した順) Goldbach予想 双子素数予想 Collatz予想 奇数の調和数 789 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 12:48:51.52 ID:gO+TlepH.net] >>749 むしろ解決したってことにしないとこの分野で飯食えない連中が張り付いてるイメージしかないわ。 790 名前：１３２人目の素数さん [2022/04/17(日) 13:04:44.95 ID:WrmEepLI.net] >>748 あの番組の監修が玉川星加藤小山ということで、747の認識に持っていくということがミエミエ。 791 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 13:51:04.61 ID:udSQiRTc.net] >>751 解決したらそれで終わりで別のテーマを探すだけだろ？ 792 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 14:20:01 ID:YciZ7BGt.net] 「証明に取り組んだ誰もが系3.12に引っ掛かった」というのがNatureにも載った共通認識で望月はそれに応えられていないのに、 京都一派は「望月は固定観念に捉われた数学界の被害者」「認識論」(笑)って印象を日本で振りまいているわけだ 793 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 14:25:00.49 ID:YciZ7BGt.net] ブンゲンは「望月の反論に対してショルツ-スティックスからの返答がない」と言い広めてるけど、 その反論なるものが不必要に攻撃的、かつなんの説明にもなっていない(＝応答する価値がない)と認識されていることは言わない 794 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 14:31:51.55 ID:3XALqMhA.net] >>738,739 あなたはまず、Twitterで最も暴れてるIUT信者がズブズブのネトウヨだってことを知るべきだ 795 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 14:37:53.91 ID:Xtysfnn0.net] >>740 ＡＩ分野に関してはいま甘利俊一先生と共同で研究進めてる オメコ・クリストッフェル拡張理論として論文を出す予定 796 名前：１３２人目の素数さん [2022/04/17(日) 15:22:32.13 .net] 加藤文元は数学における"ジャパン・ポストモダニズム"の旗手となったようだ 797 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 15:48:02.86 ID:udSQiRTc.net] 天才が現れて未解決の難問をさくさく解決されたら同業の凡人にとっては飯の食い上げだからな 自然科学と違って追試の必要もないし 798 名前：１３２人目の素数さん [2022/04/17(日) 15:55:37 ID:ktdS2teZ.net] なんだかナショナリズム的性質を帯びた案件になっていきそうですよね もう既にそうなりつつあるかもしれませんけれど 箔をつけるために政治家が何らかの賞を与えたり、国内で批判的な意見を述べた者が袋叩きにされたりする未来…… 799 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:03:42.91 ID:/iVb7e4g.net] >>760 そんな話になんぞなるハズもない 数学者は政治ゲームなんて一切やらん ここのアホ信者どもの妄想ワールドの数学者はやってるのかもしれんがね もちろん予算の配分とかで上の方ではなんかやってるのかもしれんけどその他大勢にはどうでもいいし 金なんてなくても研究はできるからな 海外のシンポジウムなんていかなくてもどうって事ないし 800 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:05:43.54 ID:udSQiRTc.net] しかしそこまでして研究費を貪らねばならない理由が単に個人の生活のためとは考えにくい やはり何らかの秘密結社の資� 801 名前：煬ｹとなっているのではないか それも何世紀も前から [] [ここ壊れてます] 802 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:07:28.96 ID:/iVb7e4g.net] きたよネトウヨwwwwww 803 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:10:54.94 ID:udSQiRTc.net] >>761 数学者だって霞を食って生きているわけじゃないのだから金は必要だろう 804 名前：１３２人目の素数さん [2022/04/17(日) 16:26:09.59 ID:B94LNwVq.net] >>749 ネトウヨ陰謀論と完全に同レベルだな 805 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:34:18.92 ID:gO+TlepH.net] ペレルマンなんかは確かに面倒になって大学辞めてはいるな。 この問題はそういう人と比べるレベルにはない。 そもそもペレルマンは証明の問題点について受け入れてきっちりと修正している。 806 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 18:03:45.66 .net] ペレルマンがなぜ大学を辞めたかは知らないけど ポアンカレ予想の証明は認められてる 望月新一と一緒にするのは彼を冒涜することになるな 807 名前：１３２人目の素数さん [2022/04/17(日) 18:36:28.15 ID:B94LNwVq.net] そもそもabcが解決されたら困る数学者なんかいないぞ Vojta予想やLang予想があるから IUTは仮に正しくても今んとこ曲線にしか適用できないし 808 名前：１３２人目の素数さん [2022/04/17(日) 22:40:43.40 ID:+/RIJ3Xg.net] >@FumiharuKato >Apr 16 >IUT理論における「宇宙」という用語が指し示すものが望月さん >独特のものであるのは本当です。その宇宙は集合論の宇宙とも、 >グロンタンディーク宇宙とも異なっていますので。 に対するロバーツのリプライ >@HigherGeometer >Apr 16 >Is there a formal definition of what Mochizuki means by the term? を華麗にスルー。"universe"のみならず、"functorial algorithm"等々、 きちんと定義されていない用語を自在に使い、形式的な定義を聞かれると 無視するか言を左右にする。IUTはこんなんばっか。 809 名前：１３２人目の素数さん [2022/04/17(日) 22:58:28.25 ID:Q6EA8WEl.net] スレタイの件は生涯このまま自分は門外漢だと思っていたが、 今日nhkスペシャル完全版の録画をみて 国際数学会、というかそれをとりまく世の中の状況が分かった 気がした。 端からシロートの感想で失礼だが、これだけはいえる。 ショルツさんよ、正気を取り戻そうぜ。 810 名前：１３２人目の素数さん [2022/04/17(日) 23:37:44.98 ID:rAjUaH2h.net] ×ショルツさんよ、正気を取り戻そうぜ。 ○望月新一さんよ、正気を取り戻そうぜ。 811 名前：１３２人目の素数さん [2022/04/18(月) 00:15:13.70 ID:NXTRPf/r.net] 狂ってんの？狂ってないの？皆はっきり言っとけ〜 812 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 01:04:01.67 ID:t1Gf1c5u.net] 圧倒的にコミュ力が足りないんだよ。 数学やっている者はコミュ力が無い人が多いが、望月は圧倒的に足りない。努力できない。 それとも彼の理論は最初から間違っていた… 813 名前：１３２人目の素数さん [2022/04/18(月) 07:25:52.37 ID:TUyIy4XF.net] >>773 100年後に残る仕事をやり遂げた後では コミュ力などは必要ない。　　 814 名前：１３２人目の素数さん [2022/04/18(月) 07:26:27.02 ID:TUyIy4XF.net] >>773 100年後に残る仕事をやり遂げた後では コミュ力などは必要ない。　　 815 名前：１３２人目の素数さん [2022/04/18(月) 07:59:22.81 ID:qkpF6Gku.net] 数学者の大半は望月の証明を受け入れていないのだから、 これはショルツの問題ではなく、望月の問題。 それを混同するのは単なる詭弁。 近夏のICMプレナリー予稿でもこんなこと言われる始末。 >A great example is Mochizuki’s claimed proof of the ABC >conjecture [Moc21]. This proof has now been published >in a serious research journal, however it is clear that it is >not accepted by the mathematical community in general. 816 名前：１３２人目の素数さん [2022/04/18(月) 08:36:02 ID:TUyIy4XF.net] 無価値であるとは誰も書けない状況ではある。 817 名前：１３２人目の素数さん [2022/04/18(月) 09:19:19.78 ID:Gs6UWyRN.net] >>777 擁護になってない 818 名前：１３２人目の素数さん [2022/04/18(月) 09:40:18.65 ID:cBCqfFLO.net] 加藤さんの言い方が少しずつ変わってきているのが気になる。 でもIUTTはきちんと０から学ぶことで見えてくることがあるのだろうね。 ただそこらへんを０から学ぶ気のない人も説得できるように説明するのが若い世代の IUTT習得者へ期待されることだと思うけど。。 819 名前：１３２人目の素数さん [2022/04/18(月) 09:56:25.27 ID:+VXLqRg+.net] >>779 たとえば偏微分方程式が専門の学生が、エタールコホモロジーや志村多様体をゼロから勉強しようとするだろうか。しなかったとして、何か問題があるだろうか 他の人がやってる数論とIUT理論は、それよりもさらに隔たりがあると思うが 820 名前：１３２人目の素数さん [2022/04/18(月) 10:10:22.04 ID:cBCqfFLO.net] >>780 問題はないですね。しかも今の評判だと学ぶインセンティブを学生はもちにくそうだから 余計「中の人」たちは印象的な解説を外に対してやらないといけないとわかってると思います。 もちろん人によってはそういう行為をよしとしないとするでしょうけどね。 商売だと「いいものなら自然と売れるものだ」なんて素人でも考えないですけど。 821 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 10:30:58.04 ID:3r6IZsm+.net] まあ入りたくはないわな。 こういう政治闘争が嫌で数学やってるっつーのになんでまたそんなことやらにゃって気になるだろう。 822 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 11:01:55.87 ID:xtvhZssM.net] >>781 素人ってあんたが素人やろ？ いいものはほっといても受け入れられるわ あかんから受け入れられてないんだよ そういう“周りの数学者がアホだから受け入れられてない”という考えがムカつくんだよ 823 名前：１３２人目の素数さん [2022/04/18(月) 11:31:56.26 ID:+VXLqRg+.net] >>781 いいものとかそういう問題ではなく、単純に 「自分の専門じゃないから」 やらないんだよ 数論が専門でも、日本で加法的整数論や素数分布をやっている人は多くない。IUT理論はそれよりももっと隔たりがある 824 名前：１３２人目の素数さん [2022/04/18(月) 12:23:15.75 ID:NXTRPf/r.net] ないない IUTは比較的代数要素が純度高い理論だから、それこそエタールコホモロジーやp進ホッジ理論など 一部の国内数学者がやってる素養があれば読めなきゃおかしい。それでも現実には京都の連中しかわからん 志甫も論文書けてないじゃん。わかったならとっくに復元理論使ってるわ 825 名前：１３２人目の素数さん [2022/04/18(月) 12:29:09.48 ID:NXTRPf/r.net] よく言われるように、賢い人は難しいことを馬鹿にもわかりやすく説明できる ところが、数学者は普通こう思う。それにも限度があると。勿論限度はある しかしIUTの場合には相手はトップクラスの数学者なんだから、やっぱりおかしいわけ 826 名前：１３２人目の素数さん [2022/04/18(月) 12:35:59.73 ID:cBCqfFLO.net] >>784 そうなるとやはり中の人が形式化を進めてコンピュータ検証で正しさをPRするしかないか。 そこで問題になるのはその形式化は正しいのかとかそういうことになりそうだけど 京都ではそういう方向に進んで良さそうなのにね。 ショルツもコンピュータ支援には結構積極的みたいだからまた絡んできてくれそうだけど。 まあ皆さんまずは自分の研究で忙しいのはわかるからそこはうまいPRしてほしいもんだね。 827 名前：１３２人目の素数さん [2022/04/18(月) 18:29:23.61 ID:uRuBaWVx.net] >>779 ゼロからキチンと追うとギャップがあって証明になってない謎 828 名前：１３２人目の素数さん [2022/04/18(月) 18:49:33.28 ID:NXTRPf/r.net] 仮に理解者が理解していてショルツがわかりやすい間違いをしているなら、 簡単にその理由を誰かが論文にできる。それこそ加藤でも 数学とはそういうものだが、この理論は本人はまだ返したが、他の関係者が揃って誤魔化している 829 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 18:58:08.43 ID:mt1OeRp1.net] >>780 逆はあるんだよね 有名な教科書Gilbarg&Trudingerの著者Gilbargは 代数的整数論からの転向だったりする 830 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 19:04:04.74 ID:l6VDp5Gx.net] テレンス・タオは偏微分方程式や調和解析に対してフィールズ賞を貰ったが数論幾何も出来るな

---

---

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

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