Inter-universal geometry と ABC予想 (応援スレ) 52

1 名前：１３２人目の素数さん [2021/02/20(土) 10:22:32.50 ID:Z8PgJDTw.net] 20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り、IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） （旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。） （参考） https://mainichi.jp/articles/20200403/k00/00m/040/295000c 望月教授「ABC予想」証明　斬新理論で数学界に「革命」　京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日 (抜粋) https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg 会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。 2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。 玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。 https://www.youtube.com/watch?v=7BnxK_NMwaQ 数学の難問ABC予想　京大教授が証明　30年以上未解決 2020/04/03 FNNプライムオンライン つづく 802 名前：１３２人目の素数さん [2021/03/06(土) 17:54:49.31 ID:4v9kYwu6.net] その人はアナルズとかインベに載せてるんだね。 これからは高潔な大物のリムス招待リジェクトが少なからぬ頻度で起こるんじゃないかな。 100%問題ないと公共の場で言い切った玉川は、口だけの美辞麗句だけじゃなく 講義などで理解者を増やす責任があるよね。 予算取ってるなら尚更。 ダンマリを突き通すなら批判されて当然だし、死後も残る恥辱となるよ。 803 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 18:06:10.90 ID:CkhRnN7D.net] >>749 もっちーとトランプの類似性は別にして信者は似てると思う�� 根拠があって信じてるんじゃなくて信じたいから信じてるところがね 804 名前：１３２人目の素数さん [2021/03/06(土) 18:20:50.99 ID:hDSkQe6F.net] >>745 何を言っているの？ IUTは日本数学の金字塔です 日本数学の伝統 高木-小平-伊原-中村-玉川などなどの 系譜につながる望月IUT 日本の誇り 805 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 18:47:29.71 ID:yw/hH17g.net] >>751 >(トランプと望月の)信者は似てると思う >根拠があって信じてるんじゃなくて >信じたいから信じてるところがね わかります 信じたい理由が自国の自慢、ってところもそっくりですね >>752 >日本数学の金字塔 >日本数学の伝統 >日本の誇り これじゃ、Janonって言われちゃいますよね これから「じゃのん」� 806 名前：ｳんって呼びますか [] [ここ壊れてます] 807 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 18:47:32.26 ID:qJH4sY3I.net] そういや両者とも「壁」の大切さを訴えてたな。。 808 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 19:12:00.59 ID:yw/hH17g.net] >>742 >プロブレムソルバーとして優秀である著者(=望月)のことは尊敬している アイデアが非常識であっても、別に悪いことではない 微分だって十分非常識なわけだから ただ整合性がなければ数学としては意味がないし 他人の指摘に耳を傾けられないのでは数学者としては失格だろうね 809 名前：１３２人目の素数さん [2021/03/06(土) 20:53:32.86 ID:AgphAyqV.net] 論文出たのは良いことなんだろうけど、まだ不完全燃焼なとこが強いな 810 名前：１３２人目の素数さん [2021/03/06(土) 20:55:46.04 ID:hDSkQe6F.net] >>753 >信じたい理由が自国の自慢、ってところもそっくりですね アナーキズムよりましと思うけどね もっとも、トランプさん 口ではアメリカファースト ホントは、自分ファースなので トランプさん＝アナーキストかも 「おい、おまいら、議会へ突撃だぁ〜！」なんてねｗ 811 名前：１３２人目の素数さん [2021/03/06(土) 20:55:51.27 ID:AgphAyqV.net] 数学界に浸透してる感じはないし、これから浸透するかどうか 812 名前：１３２人目の素数さん [2021/03/06(土) 20:58:22.41 ID:hDSkQe6F.net] >>756 >論文出たのは良いことなんだろうけど、まだ不完全燃焼なとこが強いな まあ、だから 今年の4本の国際会議の導火線か、助燃剤か 813 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:01:16.85 ID:yw/hH17g.net] 自分ファースト＝アナーキズム？　なんか違くね？ 814 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:06:55.23 ID:yw/hH17g.net] じゃのん的な非数学的発言は無意味なので 論点を数学に戻して接着剤で固定するね 絶対動かすなよ　じゃのん君 §2.3で I を 点αから点βへの有向線分とし L を I/<α~β> と定義する （α~β　は　点αとβを同一視する、と読む） 一方 Iのコピー、†I,‡Iをつくり Jを、両者をつなげたものとして 接合点をγJとする、つまり †I　を　†αからγJへの有向線分 ‡I　を　γJから‡βへの有向線分 として、その上で M　を　J/<†I~‡I>と定義する （†I~‡I　は　有向線分†Iと‡Iを同一視する、と読む） で、望月は「MとLは違う」といって、 §2.4で説明しているようですが そもそもMとLは違うの？ つまり　†I~‡I　とした時点で †α~‡α＝γJ＝†β~‡β であると思うが、上記と α~β はどう違うのか？ 望月はLとMの違いに基づいて　§2.4で 　（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1） 　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2） だが 　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4） ではないといってる けど、ほんとにそうなの？ （AOL1）と（AOL4）って違うの？ 理解した人　教えて！ 815 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:18:56.11 ID:TtsFCSBZ.net] >>757 「おい、おまいら、議会へ突撃だぁ〜！」なんて言ってない フェイクニュースにすっかり洗脳されちゃってて可哀想だなw CNNのジェイド・サッカーが極左のアンティファメンバーと一緒に議事堂に突入した映像を放送しちゃってる うかつにも程があるよなw 「やったぜ！」と任務を祝福する声と映像がしっかり入ってる 暴動を扇動したジョン・サリバンはユーバーのCMに出ていた アンティファメンバーのサリバンはCNNと協力関係にあったことが報道されてる CNNがアンティファに巨額の資金提供をしていたこともね フェイクニュースをメジャーメディアが率先して垂れ流してたから騙されても仕方が無いけど、賢くならないとすぐに騙されてしまう時代だよ 816 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:33:28.30 ID:yw/hH17g.net] >>762 >フェイクニュースをメジャーメディアが率先して垂れ流してた ABC予想解決を喧伝したＡ日新聞のＩ倉氏みたいな感じ？ 817 名前：１３２人目の素数さん [2021/03/06(土) 21:54:11.81 ID:hDSkQe6F.net] >>762-763 >賢くならないとすぐに騙されてしまう時代だよ 同意だな 詳しくは下記の通りだよ トランプ氏の煽動演説があったればこそだよ （必要なら英語版をご参照） https://ja.wikipedia.org/wiki/2021%E5%B9%B4%E3%82%A2%E3%83%A1%E3%83%AA%E3%82%AB%E5%90%88%E8%A1%86%E5%9B%BD%E8%AD%B0%E4%BC%9A%E8%AD%B0%E4%BA%8B%E5%A0%82%E8%A5%B2%E6%92%83%E4%BA%8B%E4%BB%B6 2021年アメリカ合衆国議会議事堂襲撃事件 1 背景 1.1 トランプ支持者の抗議集会と連邦議事堂への行進 1月6日の朝、抗議デモ参加者はホワイトハウスに隣接したエリプス広場（英語版）にてドナルド・トランプ・ジュニアとルドルフ・ジュリアーニ出席のもと「Save America（アメリカを救え）」という集会を開いた[102][103]。その集会でトランプ大統領は午後12時から演説を開始[注釈 8]。「選挙の勝利は極左の民主党の連� 818 名前：�によって盗まれ、さらにフェイクニュースのメディアによっても盗まれた」と述べ[105]、「この後、議事堂へ歩いて向かおう。俺もいっしょに行く」[106]「強さを見せるんだ。あなたたちは強くならなければらない。なぜなら弱さでは私たちの国を取り戻すことはできないからだ」「我々は戦う。ともかく死ぬ気で戦う（We fight like hell）。もし死ぬ気で戦わなければ国はもはやない」と支持者を鼓舞した[105][107][108][109][110]。ジュリアーニも支持者に「決闘裁判」に参加せよと声を上げて求め[106][111][112]、トランプ・ジュニアもジュリアーニと同じような口調で、バイデン陣営との「総力戦」を主張した[113]。 左中央:集会会場のエリプス　左上から右下への斜めの通り:ペンシルベニア大通り　右下:連邦議事堂 トランプは演説の終盤に「ペンシルベニア大通りを歩いて行こう、私はペンシルベニア大通りが大好きだ、そして議事堂へ行こう」(”So we're going to, we're going to walk down Pennsylvania Avenue — I love Pennsylvania Avenue — and we're going to the Capitol...”)と呼びかけ、トランプの呼び掛けにより抗議集会に参加していた少なくとも数千人のトランプ支持者が連邦議事堂へ向けて行進を開始した[114][注釈 9]。 https://en.wikipedia.org/wiki/2021_storming_of_the_United_States_Capitol 2021 storming of the United States Capitol [] [ここ壊れてます] 819 名前：１３２人目の素数さん [2021/03/06(土) 22:10:51.90 ID:hDSkQe6F.net] >>759 >今年の4本の国際会議の導火線か、助燃剤か (余談) 何年か前に「IUTは難しいというが、プロ数学者には”難しい”ことが論文ネタだろ」って趣旨のカキコがあったけど 実にそう思うわ 南出論文で、明示公式を導くのに、 Legendre form “y2 = x(x−1)(x−λ)” j-invariant of E Weil height h(j(E)) などを使っているけど、だいたいはこんな程度では で、この程度しか使ってないなら、もっと簡単にできるかっも（＾＾ 「宇宙ガァ〜」とか、まあ、個人的には大げさすぎの気もする ここらをすっきりさせることができれば 「論文一本！！」 じゃないですかね？（＾＾ www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文 820 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 22:30:54.99 ID:yw/hH17g.net] 南出論文をいくら読んでも Cor3.12を前提として使ってるだけで Cor3.12を証明してるわけではないから IUTの正当性に関しては意味ない 望月の新論文読みなって とくに§2.3から§2.4 ここが最重要点 821 名前：１３２人目の素数さん [2021/03/06(土) 23:18:26.04 ID:hDSkQe6F.net] >>766 それは、あなたのレベルで発言するのは、不遜というものでしょ ド素人 822 名前：１３２人目の素数さん [2021/03/06(土) 23:59:04.58 ID:hDSkQe6F.net] >>660 補足 なるほど、全員RIMSの人ですね Tomoyuki Arakawa 荒川 知幸 Masahito Hasegawa 長谷川 真人 Takashi Kumagai 熊谷 隆 Kazuhisa Makino 牧野 和久 Takuro Mochizuki 望月 拓郎 Shigeru Mukai 向井茂 Hiraku Nakajima 中島啓 Kenji Nakanishi 中西 賢次 Tomotada Ohstuki 大槻 知忠 Kaoru Ono 小野 薫 Narutaka Ozawa 小沢 登高 Michio Yamada 山田 道夫 https://researchmap.jp/read0121940 荒川 知幸 researchmap 経歴 2019年5月 - 2019年7月リール大学 https://researchmap.jp/hassei 長谷川 真人 researchmap 圏論の歩き方 圏論の歩き方委員会(担当:共著, 範囲:第４章) 日本評論社 2015年9月 https://researchmap.jp/read0014409 熊谷 隆 researchmap www.kurims.kyoto-u.ac.jp/ja/list/makino.html 牧野 和久 https://researchmap.jp/7000008400 望月 拓郎 researchmap www.kurims.kyoto-u.ac.jp/ja/list/nakanishi.html 中西 賢次 https://researchmap.jp/read0007858 大槻 知忠 researchmap www.kurims.kyoto-u.ac.jp/ja/list/ono.html 小野 薫 https://researchmap.jp/read0157397 小沢 登高 researchmap https://researchmap.jp/Shiro-Kuro 山田 道夫 researchmap 823 名前：１３２人目の素数さん [2021/03/07(日) 01:29:54.16 ID:+GSW0Dow.net] >内容に懐疑的な海外の数学者もいるが、編集に携わった同研究所の >玉川安騎男教授は数学的な議論は歓迎しつつも「（望月氏への）反論 >は出尽くしており、今後も平行線のままではないか」との見方。 つまり、どういうこと？ｗ 824 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 01:33:42.93 ID:ZqKfwnIC.net] 物理的な書籍としてIUT論文集手に入れたいな 825 名前：１３２人目の素数さん [2021/03/07(日) 02:26:28.77 ID:ZXsbgksA.net] >>769 望月、玉川、取り巻き) (∩ﾟдﾟ)ｱｰｱｰきこえなーい 826 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 06:59:50.12 ID:3B2+vBia.net] 関係者です。数学者ではありませんが。 まず、ショルツの反論は根本から誤りというのはRIMSの数論幾何グループの総意です。望月星山下譚陽南出辻村院生などなど。やや研究範囲の違うIUTに懐疑的なある若手も「3.12は証明なの？の疑問だが炉シックは合ってる。けどショルツの批判は入口から間違えていて論外」と明言してる。 この日本側の空気感と、そこんとこをなんも知らない海外の容赦ないディスりように、なんだかなぁと思ってます。 なぜ反論しないのか？あまりに根本的な誤りのため、本格的に論じるとショルツ側が恥をかくため控えてる。まあ、望月はがっつりSSページや新論文でディスってますが。 827 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 07:14:43.52 ID:3B2+vBia.net] とにかくSS特にSの罪は大きいね。フィールズ賞ウィナーで彼の言うことなんだから指摘は正しいのだろう、と盲目（もしくは全く論文を看破せずつまみ食いだけで分かったような気になってる状態で）減らず口叩くにっくきジャップめ！という感情論が先行してて、目も当てられない。それが数学の世界だけでなく一般のnon-specialistsまで巻き込んでの愚闘になりつつある。日本側はもう無視するしかやりようがない状況にまで事態が悪化してる。 828 名前：１３２人目の素数さん [2021/03/07(日) 07:44:38.80 ID:nnvFXyr5.net] math_jinさんがリツイート &#8206;アヴィラヴェセス&#8206; @avillavecesn &#8206;それは、アンティエの望月によるこの新しい書き込み、超興味深い(そして論争の可能性の発電機)です。ショルツェとStixに反応しますが、それははるかに進み、数学と科学の議論を中心に置いているようです。&#8206;&#8206; &#8206;&#8206; &#8206;&#8206;kurims.kyoto-u.ac.jp/~motizuki/Esse%20Logical%20Structure%20%20インターユニバーサル%20帝国ミュラー%20理論.pdf.&#8206;&#8206; &#8206; &#8206;午前6:16 · 2021年3月6日&#8206;&#8206;·&#8206;&#8206; &#8206;&#8206;Twitter Web App&#8206; 829 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:03:06.09 ID:EcMJkuCa.net] >>772 >関係者です。数学者ではありませんが。 事務の人？ 830 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:04:00.31 ID:QOyv6MWp.net] そかもしれないね。 しかし、元々abcは狭い分野の専門家しか知らないマニュア向けの問題に過ぎなかった。 それが、この10年のごたごたで、メジャーな問題になったとも言える。 MとSがしっかりと自分の役割を演じて、数学のセールスとしては大成功した。 ということで、abcは本当に重要な問題なの？ 831 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:05:47.74 ID:EcMJkuCa.net] >>773 >にっくきジャップめ！という感情論 ニッポンファーストなJアノンの方ですか？ 832 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:11:31.62 ID:EcMJkuCa.net] >>776 ABC予想なんて、昔も今もマニアの問題ですよ まあ、一般人からみれば現代数学自体がマニアの世界ですけど 数論の問題はステートメントだけなら一般人でも理解できるから食いつける これが代数幾何だったらそもそも何言ってるのかわからない 小平や広中や森の業績なんて一般人は知りませんから 複素構造の変形？特異点解消？極小モデル？何それ？って感じでしょう 833 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:13:03.30 ID:EcMJkuCa.net] math_jinはRIMSの事務の方みたいですね 内部事情には詳しいけど数学は分からないみたい 834 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:16:46.37 ID:EcMJkuCa.net] >炉シック ロジックですね 昨日、とある方が書かれてましたが ↓これ、あってるんですか？ 私も（AOL1)と（AOL4）の違いがわからないので 論理で証明できるならお示しください ーーーーーーーーーーーーーーーーーーーー §2.3で I を 点αから点βへの有向線分とし L を I/<α~β> と定義する （α~β　は　点αとβを同一視する、と読む） 一方 Iのコピー、†I,‡Iをつくり Jを、両者をつなげたものとして 接合点をγJとする、つまり †I　を　†αからγJへの有向線分 ‡I　を　γJから‡βへの有向線分 として、その上で M　を　J/<†I~‡I>と定義する （†I~‡I　は　有向線分†Iと‡Iを同一視する、と読む） で、望月は「MとLは違う」といって、 §2.4で説明しているようですが そもそもMとLは違うの？ つまり　†I~‡I　とした時点で †α~‡α＝γJ＝†β~‡β であると思うが、上記と α~β はどう違うのか？ 望月はLとMの違いに基づいて　§2.4で 　（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1） 　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2） だが 　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4） ではないといってる 835 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:31:54.51 ID:EcMJkuCa.net] >>774 ファイルの名前が翻訳されて違っちゃってますね 正しくは以下の通り Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf 836 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:45:10.90 ID:EcMJkuCa.net] >>772 >なぜ反論しないのか？ >あまりに根本的な誤りのため、本格的に論じるとショルツ側が恥をかくため控えてる。 その昔（昭和時代）、fjで流行った慣用句でこんなのがありました 「ということにしたいのですね？」 ショルツのみならず多くの数学者が「根本的な誤り」を犯しているなら 大いに示す意義がありますけどね　何を恐れているのでしょう？ 837 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 09:00:54.38 ID:EcMJkuCa.net] >>773 >とにかくSS特にSの罪は大きいね。 そんなことないでしょ フィールズ・メダリストだから正しい、ってことはないですから ショルツのいうことがおかしかったら、彼が黙殺されます 望月自慢の「リンク」については、 星・山下・譚陽・南出・辻村の各氏も 公然と支持してはいないようです 彼らもCor3.12の証明の「ストーリー」はもっともらしいけど 望月のリンク機構でそれが正当化できる、とまでは思っておらず 何か別の「ロジック」が必要だろうと思ってる しかしそれが何なのかまでは見つけられていない、 というところでしょうか？ つまり、IUTはヘヴィサイドの演算子法のようなもので 「うまくいくみたいだけど、なんでそうなるのかはよくわからない」 という「マジック」 838 名前：１３２人目の素数さん [2021/03/07(日) 09:11:54.58 ID:5XF9Uzbd.net] >>772-773 コメントありがとうございます １．昨年の４月のRIMS記者会見のとき、海外ではネイチャー誌の記事が出たりで、いろいろコメントがありましたし 　Stix氏はノーコメント（態度保留）、ケドラヤ氏は「いますぐ勢力を注いてIUTを研究する必要があるとは考えない」と（肯定も否定もしない立場） 　ショルツェ氏もwoitブログで論争しました ２．昨年、Promenade in IUTが始まり、仏リール大の方が大勢参加されています 　また、南出論文で明示公式が出ることも示されました ３．さて、今回のPRIMS掲載時（2021年3月）とを比べると、結構静かと思います 　ネイチャー誌などの記事もなく、woitブログも昨年と比べると、静かなものです ４．ところで、ショルツェ氏は、いまどう考えているのか？ 　おそらくは、悟りを� 839 名前：Jきつつあるのではないでしょうか？ 　ネイチャー誌がコメントを取ってくれると面白いのですがｗ 追伸 ＜なぜ反論しないのか？＞ ・反論はしており、（日常語の）望月反論で必要十分だという判断でしょう ・反論に時間をかけるより、IUTの研究を進めることで、周囲の理解が進むという判断もあるでしょうね ＜にっくきジャップめ＞ ・それだけでもないと思います ・（感情論としては）ガリレオ宗教裁判のように、従来の常識を超える新説が出たときによく起きる反応ではないかと ＜SS特にSの罪は大きいね。フィールズ賞ウィナーで彼の言うことなんだから指摘は正しいのだろう＞ ・それは日本的感覚であって、論争することに罪はありません（大論争をしても、感情的しこりはなく、ケロとしている） ・フィールズ賞ウィナーになる前の論争ですし、彼に罪はありません ・周りが引きずられるのは、周りの責任です [] [ここ壊れてます] 840 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:03:01.77 ID:UBXJEmwN.net] ショルツの誤りってORとANDを間違えたってやつ？ 841 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:08:10.74 ID:EcMJkuCa.net] >>784 >Stix氏はノーコメント 自分の研究の妨げになるから対応しないんでしょう >ケドラヤ氏は「いますぐ勢力を注いてIUTを研究する必要があるとは考えない」 要するに価値をみとめてないってことですね >ショルツェ氏もwoitブログで論争しました あれは論争でもなんでもないな デュピュイが 「モノドロミーなんてIUTに出てこない！」 といってたけど、実にトンチンカン モノドロミーがあるというのはIUTとは無関係に生じること IUTがこの問題をどう解決してるのか全然不明瞭というのがショルツの指摘 望月は∨はみたすが∧は満たさないという 「リンク・マジック」で説明したいようだが そもそもそこが望月以外の人（弟子も含めて）には 「それ、正しいの？」と言われてる核心 3月のQ&Aではそこに質問が集中するね 望月炎上？ 842 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:09:32.96 ID:2jvG7yN8.net] Essentially the claim Mochizuki is making in these first two sections is that the most accomplished and talented young mathematician in his field is an ignorant incompetent, and that everyone Mochizuki has consulted about this agrees with him. It’s hard to imagine a more effective way to destroy one’s own credibility and to convince people not to bother to try and make sense of the third section. 望月が初めの2節で行っている主張は、実質的に、彼の分野で最も熟練し、最も優れた才能を持つ若き数学者が無知かつ無能であり、さらに望月が相談した誰もがこれに同意するというものだ。 自身の信用をこれ以上失わせ、第3節をわざわざ読もうとする気をこれ以上なくさせる方法を想像するのは難しい。 843 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:12:41.18 ID:EcMJkuCa.net] >>784 >ショルツェ氏は、いまどう考えているのか？ >おそらくは、悟りを開きつつあるのではないでしょうか？ ショルツはもはや望月にもIUTにも全く興味ないでしょう 望月はここにきて∨と∧に関する「怪文書」を発表しましたね 自分では最終兵器とおもってるようですが、 さて3/18のQ&A　どうなることやら 844 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:15:15.72 ID:EcMJkuCa.net] >>785 >ショルツの誤りってORとANDを間違えたってやつ？ 望月はそういってるが、実際間違ってるのは望月の方かも 845 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:21:01.69 ID:EcMJkuCa.net] >>787 そんな5chの煽り文句みたいな文章読むひまがあったら §2.3から§2.4の核心部分読んだほうがいいよ 正直読んだ誰もが望月が本当に有能な数学者であるかと疑わせるに十分 846 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:27:10.43 ID:EtTdghbw.net] 関係者でたな。 ま、そんなに詳しいなら事務ではなさそう（院生？） IUTが正しいかどうかはさておき、RIMS数論幾何グループが「ショルツが初� 847 名前：燗Iな誤りをしている」という認識を共通で持ってるということがわかっただけ、一歩前進ですね。 [] [ここ壊れてます] 848 名前：１３２人目の素数さん [2021/03/07(日) 10:35:18.27 ID:5XF9Uzbd.net] >>784 追加、これ面白かった ＜IUTメモ＞ 下記記事で 最新コメント 2020-10-08 最初が 2018-09-23 この中で、Xyan Xcllet氏のコメント（2019-09-03）が面白いと思った （下記表題は、googleクロームの日本語翻訳から。タブ中国漢字ままだと、この掲示板では文字化けする。内容も日本語翻訳で読んだだけですが） https://www.zhihu.com/question/295600802 知乎 望月のabc予想の証明が無効であるというシュルツの主張をどのように扱うのか？ 849 名前：１３２人目の素数さん [2021/03/07(日) 10:44:14.03 ID:UrORCwc2.net] ∨と∧なんて「論理結合子」の一言でほとんどの数学者は納得する それを向きを持つ境界付き一次元位相多様体を具体例に持ち出して説明しているのは違和感しかない また、Cor 3.12の証明のロジックが合っていると分かってるのであれば、ギャップを埋めることは造作もないのだから、新論文を書く時間でギャップを埋めたペーパーを書けばいいだけ そうすればフィールズ賞受賞者のお墨付きが貰え、理論の理解も進む 京都だけで理論の理解が進めばいい、と思っているのであればギャップを埋めなくても筋は通るが、査読を依頼したり新論文を読んだりを踏まえるとそうは思っていない 本人は論理的抽象的な考え方が不得手で、分かった(気になってる)のだから証明として成立している、というバイアスがかかっていると考えると辻褄が合う 査読者すら命題論理について知らない、ということはあまり考えたくはない(もしそうなら日本の数学のレベルが低すぎる)が、いずれにしても様々な理由から口を出すことが出来なかったように感じる 850 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:56:28.37 ID:EcMJkuCa.net] >>793 単純に∨と∧の意味というより、 M＝J/<†I~‡I>　（詳細は>>780） という仕掛けだけで都合よくすり抜けられる と思ってる点が問題かと思う 査読については「構想の有用性」という観点からアクセプトしたのかもしれん 理由はわからんがどうもうまくいくようだという判断か ただ、そもそもうまくいってるかどうかも人によって評価が分かれるから そんな状況ならわざわざアクセプトする意味はないといっていい 何のためのプレプリント公開か分からん 851 名前：１３２人目の素数さん [2021/03/07(日) 11:14:35.60 ID:UrORCwc2.net] >>794 自分はwoitの最新コメントに完全に同意見で、 それですり抜けられると思っているのは、意図的に燻製ニシンを置いてるのではなく、本当に具体例を介すことが癖になってるように見える 本人は証明できたと確信しているわけだから、査読を通るのは当然で、でも理解できているのは周りしかいないから、周りで通したとも考えられる いずれにしても重要なのは、もし当人が周りが理解してくれればいいと思っているのであれば、査読を依頼する必要はないということ 直接の理由としては論理的・抽象的な考え方の不得手だが、何もかも得意な人はめったにいないし、数学がそういう人を拒絶するわけでもない 一番の問題はwoitも述べてる通り、周りが誤りを指摘しない、そういう環境がないこと 852 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:15:16.56 ID:S/2/Ok8O.net] 関係者ですが、私はRIMS内部の人間ではないですよ。 IUTの成否はまだ議論を呼びそうですが、観測によって一定以上の客観性が確保できるのであれば、ガチガチに論理固めしなくてもいいんじゃないとは思います。 853 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:20:31.56 ID:EcMJkuCa.net] >>796 � 854 名前：шﾏ測によって一定以上の客観性が確保できるのであれば、 「観測」という言葉だけで数学者および数学専攻の学生でないことは分かります 数学では一切使わない言葉ですから たかだか有限個の計算事例で満足するなんてことは 数学では決してあり得ません ＞関係者ですが、 望月の親族なら、わけもわからず支持する愚挙は止めたほうがいいですね 本人のためになりませんよ [] [ここ壊れてます] 855 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:26:58.30 ID:S/2/Ok8O.net] >>797 観測や観察という言葉はガチガチの数学者が使ってますよ 856 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:46:39.56 ID:UBXJEmwN.net] まぁちゃんとした証明ではなかったとしても 望月予想としては成立するわけだよね？ それだけでもこの論文は意味があったのでは 857 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:54:14.37 ID:EcMJkuCa.net] >>798 使ってませんよ　素人さん 858 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 12:06:04.51 ID:S/2/Ok8O.net] >>800 あれ？もっともらしいこと書いてると思ったけどあなた素人なの？ 観察行為を知らないとは？ 859 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 12:19:19.73 ID:/MBbRF1F.net] 理解できない人に理解させるにも限度がある アインシュタインが言ってたよw 860 名前：１３２人目の素数さん [2021/03/07(日) 12:43:24.27 ID:UrORCwc2.net] >>802 それはその通りだが、証明を理解しているのであれば証明を詳述することができることに変わりはない だから詳述しないのはおかしい、ということにも変わりない 861 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 12:52:30.69 ID:5l4CIfLd.net] アイディアを馬鹿でも理解できるように簡潔に説明したら 世間にペテンがばれてしまうからではないかと思ってぞっとした 862 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 15:18:32.78 ID:EcMJkuCa.net] >>801 知りませんね　そんな非数学的行為は　素人さん 863 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 15:21:20.49 ID:EcMJkuCa.net] §2.3で I を 点αから点βへの有向線分とし L を I/<α~β> と定義する （α~β　は　点αとβを同一視する、と読む） 864 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 15:21:52.34 ID:EcMJkuCa.net] 一方 Iのコピー、†I,‡Iをつくり Jを、両者をつなげたものとして 接合点をγJとする、つまり †I　を　†αからγJへの有向線分 ‡I　を　γJから‡βへの有向線分 として、その上で M　を　J/<†I~‡I>と定義する （†I~‡I　は　有向線分†Iと‡Iを同一視する、と読む） 865 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 15:22:57.99 ID:EcMJkuCa.net] >>806-807 望月は「MとLは違う」といって、 §2.4で説明しているようですが そもそもMとLは違うの？ 866 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 15:24:29.90 ID:EcMJkuCa.net] >>806-807 †I~‡I　とした時点で †α~‡α＝γJ＝†β~‡β であると思うが、上記と α~β はどう違うのか？ 867 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 15:26:06.96 ID:EcMJkuCa.net] >>806-809 望月はLとMの違いに基づいて　§2.4で 　（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1） 　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2） だが 　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4） ではないといってる しかしそもそも（AOL1)と（AOL4）の違いがわからないが、違うのか？ 868 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 16:02:02.72 ID:EtTdghbw.net] >>810 本人にきけよ 869 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 16:14:58.09 ID:qoncYZLK.net] 出版オメ 870 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 16:16:07.32 ID:qoncYZLK.net] >>796 ？？ 871 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 16:41:37.07 ID:EcMJkuCa.net] >>811 まず、数学板の方々のご意見をお伺いしたいと思いまして 872 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 17:14:17.19 ID:bJWg2jxU.net] まず「MとLは違う」って主張してるのはどこの部分なの？ パッと読んだ感じ、強調したいのは「MとJは違う」ってことに見えるけど 873 名前：１３２人目の素数さん [2021/03/07(日) 17:17:38.98 ID:hNgjnPPg.net] 長谷川がなんで、査読しとんねんw 草不可避w 874 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 17:21:55.78 ID:EcMJkuCa.net] >>815　 読んでないでしょ？　読んだうえで、 （γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1）　と （γI＝β⊂I）∧（γI=α⊂I）　　　　　（AOL4）　の違いがあるなら、 （AOL1）が成り立つのに（AOL4）が成り立たない場合を具体的にお示しくださいね 875 名前：１３２人目の素数さん [2021/03/07(日) 17:30:42.94 ID:hNgjnPPg.net] 中○とか、曖昧性も考えられんオタクと 線形代数をまともに教えることのできん、拓○に。 物事の核心を理解していない下働きのオタクばっかりやないか。 こんなメンツで、よう論文通したな。 公理系やモデルについて基礎的部分について疑問を持つ能力に欠けた お子ちゃまばっかりやないか。 代数幾何できるやつひとりもおらんやないか？ ただの専門外の論文通す馬鹿共の吊し上げやないかw 876 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:13:47.10 ID:bJWg2jxU.net] >>817 いやそうじゃなくて、まず「MとLが違う」って主張が論文のどこを指してるのか教えてもらわんと 何を問題にしてるのか分からないよ 877 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:17:32.45 ID:EcMJkuCa.net] >>819 いやそうじゃなくて、そもそも （AOL1）が成り立つのに（AOL4）が成り立たない というのがMとLの違いだから、まずそこが正しいかどうか あなたの理解と判断を示してもらわんと 貴方が玄人か素人か分からんよ どっち？ 878 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:23:06.38 ID:EtTdghbw.net] >>814 いやいや、こんなとこで聞いててもただの俺知ってるマウントにしかならん 一番喜ばれるのは「本人にその疑問を聞いた答えをここに貼る」ことだよ 879 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:26:06.21 ID:EcMJkuCa.net] >>821 いやいや、難しいことじゃないと思ってるから尋ねてるんで 単純に教えてくれればいいですよ ３人くらい回答があったら、本人にメールしてみてもいいかな メールアドレス知らないけど 880 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:26:43.86 ID:bJWg2jxU.net] >>820 僕が言いたいのは貴方の「MとLが違う」という論文内の主張が見当たらないってこと 「AOL1は成り立つけどAOL4は成り立たない」これは実際に論文で主張されてるけど 「MとLが違う」ってどこから読み取ったの？ 881 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:28:06.97 ID:EcMJkuCa.net] >>823 >「AOL1は成り立つけどAOL4は成り立たない」 >これは実際に論文で主張されてるけど 主張は見た、でも論拠が分からん、教えてくれる？ MとLの違いとはAOL1とAOL４の違いだから 読めばわかるとおもうけど　わからなかった？ 882 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:31:48.08 ID:EcMJkuCa.net] 僕がMとLは違わないだろうといってるのは >>809で書いたように †I~‡I　とした時点で †α~‡α＝γJ＝†β~‡β となる、と思ったから 違うんなら、どう違うか教えて で、その違いによって AOL1は成立するが、AOL4は成立しない となることまで明確に示してくれる？ 883 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:33:07.21 ID:bJWg2jxU.net] >>824 >>「AOL1は成り立つけどAOL4は成り立たない」 >>これは実際に論文で主張されてるけど > >主張は見た、でも論拠が分からん、教えてくれる？ 論文に書いてあるとおりの自明な命題としか言えんわ せめて具体的にどこの部分が追えないのか言ってくれんと >MとLの違いとはAOL1とAOL４の違いだから >読めばわかるとおもうけど　わからなかった？ 論文に書いてないことを勝手に「論文の主張」として取り上げてる状態やね 「MとLは違う」ってのは論文の主張じゃなくて貴方の主張に過ぎない 884 名前：１３２人目の素数さん [2021/03/07(日) 18:36:08.50 ID:91/f8Kmu.net] >>818 論文アクセプトまでの仕組み分かってないだろ 885 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:36:45.34 ID:EcMJkuCa.net] >>826 ＞論文に書いてあるとおりの自明な命題としか言えんわ なぜ自明なの？ †I~‡I　とした時点で †α~‡α＝γJ＝†β~‡β となるわけではない、と？ じゃどうなるの？ もし上記が成り立つとして、それでも違うとしたらそれはなぜ？ >「MとLは違う」ってのは論文の主張じゃなくて貴方の主張に過ぎない 重要なのはAOL1とAOL４の違いだから、そこを説明してくれる？ 886 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:39:46.18 ID:EcMJkuCa.net] ID:bJWg2jxU いわれたことだけやってくれる？ 887 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:42:24.34 ID:bJWg2jxU.net] >>828 論文のどこの部分がフォローできないのか教えてよ 「AOL1とAOL4は違う」みたいに勝手に自己流の曖昧な主張に置き換えるのはあかんよ 888 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:50:53.64 ID:EcMJkuCa.net] >>830 君、>>823で ＞「AOL1は成り立つけどAOL4は成り立たない」 ＞これは実際に論文で主張されてるけど と言い切ったよね？ で、>>826で ＞自明な命題 といったよね？ じゃ、 「AOL1が成り立つけど、AOL4が成り立たない例」 示せるよね？ やってみて　いまさら逃げたらあかんよ 889 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:53:54.64 ID:EcMJkuCa.net] ID:bJWg2jxU なんでいわれたことができないんだろう？ 890 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:56:47.85 ID:EcMJkuCa.net] じゃ、これは答えられるよね †I~‡Iとは、†α~‡α＝γJ＝†β~‡βとなることではないの？ 違うとしたらどういう意味なの？ 891 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 18:58:49.52 ID:EcMJkuCa.net] >>833 †α~‡α＝γJ＝†β~‡β　なら †α~†β　かつ　‡α~‡β　だから α~β　と考えられるけどな 違うの？　違うとしてどう違うの？ 892 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:04:32.02 ID:bJWg2jxU.net] >>833 >†I~‡Iとは、†α~‡α＝γJ＝†β~‡βとなることではないの？ †Iの各点を‡Iの対応する点と同値と他定めるってことでしょ †α~‡αも†β~‡βも成り立つけどそれだけじゃない 893 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:08:00.95 ID:EcMJkuCa.net] >>835 >†α~‡αも†β~‡βも成り立つけど そこは否定しないんだね じゃ聞くけど、なんでそれでAOL4が成り立たないの？ >それだけじゃない 「それだけ」といってる？ 「それだけではない」といってる？ 後者なら別にいいですけど 前者の場合、「それだけ」だから「α~βとはいえない」といってる？ その理由は？ 894 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:21:09.88 ID:bJWg2jxU.net] >>836 >じゃ聞くけど、なんでそれでAOL4が成り立たないの？ AOL4はI上の話だよ？ IからLに自然な写像があってγ_Iはγ_Lへ移るような連結部分集合ってのが設定 この仮定だとγ_Iは｛α｝もしくは｛β｝、 だけどもちろん 895 名前：γ_I= ｛α｝=｛β｝はあり得ない >「それだけ」といってる？ >「それだけではない」といってる？ それだけではないの意味 他にも同一視される点はたくさんあるからね [] [ここ壊れてます] 896 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:36:36.61 ID:EcMJkuCa.net] >>837 >IからLに自然な写像があって >γ_Iはγ_Lへ移るような連結部分集合ってのが設定 設定＝前提という意味ですね？ >この仮定だとγ_Iは｛α｝もしくは｛β｝、 >だけどもちろんγ_I= ｛α｝=｛β｝はあり得ない では、そもそも上記の前提はありえないのではないですか？ 897 名前：１３２人目の素数さん [2021/03/07(日) 19:40:29.72 ID:Rl5tk4Ie.net] 新論文§2.3のExample 2.3.1についてわかる方教えて下さい [0,1]がRの部分位相を持ち、{0},{1}が離散位相を持っていてこの2つは同相というのは分かります ただ、[0,1]の商集合を取るには[0,1]の「元」に同値関係を定める必要がありますよね {1}は[0,1]の元でないのに、L:=[0,1]/<{0}〜{1}>というものを考えています Lはどういうものでしょうか？ 898 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:42:38.99 ID:EcMJkuCa.net] つまり、 「IからLに自然な写像があって 　γ_Iはγ_Lへ移るような連結部分集合」 となるのは 「α＝βであるとき」 となりませんか？ 899 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:43:23.17 ID:bJWg2jxU.net] >>838 >では、そもそも上記の前提はありえないのではないですか？ たとえばγ_I= ｛α｝とすればちゃんと成立するよ 900 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:47:57.08 ID:EcMJkuCa.net] >>841 >たとえばγ_I= ｛α｝とすればちゃんと成立するよ ええ　そしてその場合に限られませんか？ 901 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 19:57:58.21 ID:bJWg2jxU.net] >>842 γ_I= ｛β｝の場合もあるよ… 902 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 20:05:41.10 ID:EcMJkuCa.net] >>843 そういう意味ではなくα＝βの意味 その場合に限られるとした場合、 この定式化にいったいいかなる意味があるのかな？

---

---

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

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