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

1 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/17(日) 10:01:11 ID:9UHEbX30.net] 20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り、IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） （参考） 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プライムオンライン （参考） https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96宇宙際タイヒミュラー理論 152 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 21:25:22.78 ID:vXEwffiD.net] ぼろくそいうてそう アイツどーにもならんわ まぁ昔からおかしかったわみたいな 153 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 21:25:53.34 ID:b04VT8qc.net] >>140 そうでもないと思うけどなあ 例えば、東大は実態として、修士課程では（年度によるが）半数近くの学生は就職しているし、 案内のページにも >大学院修了者は、大学、研究所、官公庁、情報、金融保険、製造、教育等の多くの領域で活躍しています。 とあるから、RIMSほど研究者養成機関という印象は受けない 一方で、RIMSは修士課程と博士後期課程の在籍人数がほぼ同じなので、 修士課程の学生のほとんどが博士後期課程に進学しているかのように見える これについては「卒業後の進路」が見当たらないので何とも言えんが 【東大】 卒業後の進路 | 東京大学大学院数理科学研究科理学部数学科・理学部数学科 https://www.ms.u-tokyo.ac.jp/kyoumu/sinro.html 大学院数理科学研究科について | 東京大学大学院数理科学研究科理学部数学科・理学部数学科 https://www.ms.u-tokyo.ac.jp/kyoumu/graduateschool.html 【RIMS】 教育｜京都大学数理解析研究所 www.kurims.kyoto-u.ac.jp/ja/about-07.html 154 名前：１３２人目の素数さん [2020/05/18(月) 21:38:09 ID:FpWXgqB ] [ここ壊れてます] 155 名前：A.net mailto: >>148 本人が敏感ならこんな事態にはなってなかったよな [] [ここ壊れてます] 156 名前：１３２人目の素数さん [2020/05/18(月) 22:28:22 ID:hxVG1u3/.net] RIMSの修士でも就職する人はいるけど、基本的にはみんな博士課程に行くつもりで入学してそうな気はする 157 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 22:41:36.31 ID:Bk4kspVu.net] アスペ、○k扱いで悪口言われまくりだろうなw 158 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 22:45:04.64 ID:b04VT8qc.net] >>151 まあ国立大の大学院に行く人って大体そうだよね でもここまで修士課程と博士後期課程の在籍人数が近いのは異常だと思う もちろんみんなD進するために必死で研究しているんだろうけど、 それだけじゃなくて、単に教員が甘いだけなんじゃないの？という気がしてしまう 159 名前：１３２人目の素数さん [2020/05/18(月) 23:02:13.04 ID:hxVG1u3/.net] >>153 RIMSに限らず日本は博士進もうと思えばよほど適性がない限りは進ませてくれるしね 自分から諦める人がほとんどだとは思うけど RIMSって日本の数学の頂点と言っても過言ではないし、博士に進んでもいいんじゃねとは思う どちらかと言うと超優秀な人で博士行ってもいいと思う人が、RIMSの他の学生や教員と比べて進学諦めてる印象 160 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 23:07:41.79 ID:AV8oPYFI.net] 単に教員が甘いだけなんじゃないの？という気がしてしまう 外部評価れる現在は京都でも学生はお客さん。いれなきゃなんない 出来なくてもRIMSに入れるし博士で研究ごっこが出来る 昔のRIMS修士は純粋数学２人くらい　博士に上がるのもその半数くらいじゃなかったか 数学教室も先端・旧Aコースは誰でも入れるようになった 161 名前：１３２人目の素数さん [2020/05/18(月) 23:10:33.44 ID:hxVG1u3/.net] 数年前まで学生やってたけど、数学教室のAコースが誰でも入れるとか初めて聞いたぞ 少なくとも俺の知る限りはRIMSとかAコースの人間はみんな超優秀だった 162 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 23:15:52.44 ID:AV8oPYFI.net] >>156 それはAコースって名前の時代 いま昔のAコースは先端とかいわれていて１０数人はいれている アンナ奴でも入れるとネタにされるような時代になっている 163 名前：１３２人目の素数さん [2020/05/18(月) 23:20:41.26 ID:hxVG1u3/.net] 博士課程に進む人が少なくなってると言われてる今の時代にもっと減らした方がいいとはあまり思わんな 能力はあるのに経済的事情で進めない人の方が多いだろうに 164 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 23:27:48.39 ID:AV8oPYFI.net] 京都の少数精鋭主義は実際いうほどうまくいってなかったし Bコースの学生からのほうがいい研究者をだした学年すらある お金があって挑戦したいならチャンスの芽をたくさんいかしている ほうがいいかも 165 名前：１３２人目の素数さん mailto:sage [2020/05/18(月) 23:44:34.01 ID:13WCrwJX.net] 基本的には天才が一人いれば成果が出るんだから数学界にとっては人が多いほうが良い。 ただ博士過程にポイポイ入れるのはむしろ本人を思えば甘くない決断だね。 数学だけやって博士課程に進み、結果研究者に向いてなかったとしたら、就職は厳しいだろう。 そんな人を増やすことになるだろうから。 166 名前：現代数学の系譜 雑談 mailto:sage [2020/05/18(月) 23:52:32.24 ID:8lQUmKDl.net] みんな、レベル高杉 ちょっと、落としますね（＾＾； ビデオ 21分30秒もの https://news.nicovideo.jp/watch/nw7108888 35年間未解明だった「ABC予想」をやさしく解説してみた。証明されるメリットとは？ 謎に満ちた数学の宇宙を覗いてみませんか 2020/04/24 18:00ニコニコニュース オリジナル15 (抜粋) 　今回紹介するのは、えりまきおじさんさんが投稿した https://www.nicovideo.jp/watch/sm32300148 『【数学きりたん】きりたんと学ぶABC予想ってなんですか？？』という動画です。 VOICEROIDの東北きりたんが、35年間未解明だった超難問「ABC予想」についての解説を行いました。 東北きりたんが数学の「未解決っぽい問題」であるABC予想について解説してくれます。 東北きりたん：　　 　素因数分解をもとに、その要素をひとつずつ掛けた数字を作っているのがわかりますか。これがある自然数に対応するradの定義です。ABC予想とは、このradの性質についての問題なのです。その性質とは何か。では次の計算を見ていきましょう。 　ふたつの互いに素な自然数を用意して、その足し算と、3つの掛け算のradを計算します。 東北きりたん：　　 　AもBも自然数ですので、A+Bとしたとき、A×B×CのほうがCより大きいのが当たり前ですよね。ではこれをrad(abc)に置き換えても、同様に成り立つのではないか。これがABC予想の元々の部分です。 例外の存在 東北きりたん： 　ではなぜ、黒板では「ほとんどの場合」と但し書きをしているのでしょうか。そうです、成り立たない例外があるのです。それらの例外を見ていきましょう。 　投稿日の2017年から3年の月日が経過し、2020年ついに日本の天才数学者・望月新一氏の歴史的快挙により証明された「ABC予想」。動画のコメント欄は「理論通りましたね　おめでとう」「数学界の革命」「数学者って本当に凄いね」などと祝福と熱いコメントであふれかえっていました。 視聴者コメント 面白かった（理解できたとは言ってない） 日本語なのに理解が追い付かないぜ 数学は哲学とはよく言ったもんだ なんで足し算と掛け算を比べる必要があるんですか（激怒） 役に立つか分からないけど好きだからやるんだよぉ！（数学専攻 わからんということがわかった、楽しかった 167 名前：１３２人目の素数さん [2020/05/19(火) 00:04:58.21 ID:p6uILVj+.net] コピペやめてくんないかな　だれも読んでないよ 168 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 00:09:38.25 ID:ROEUDlbP.net] 遠アーベル幾何による環の変形、タイヒミュラー理論の類似自体はうまく行ってるの？ うまくいってるなら無意味ということはないと思うんだけど。 169 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 00:14:41.28 ID:4bqopXLx.net] しつこく言いたくなるが、radは何の略？ 170 名前：１３２人目の素数さん [2020/05/19(火) 00:22:02.05 ID:028457WR.net] >>163 そこまではうまく行ってること確認されてるんじゃないか。 171 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 00:23:57.44 ID:HnyGTIPw.net] >>164 それくらい自分で調べようよ… wikiにも載っているぞ >自然数 n に対して、n の互いに異なる素因数の積を n の根基 (radical) と呼び、rad n と書く。 172 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 06:56:30 ID:6J5B37r3.net] @MugaShohou　沈黙したね なんか全然数学者っぽくなかったし 173 名前：現代数学の系譜 雑談 mailto:sage [2020/05/19(火) 07:35:45.13 ID:4vAnFYcr.net] >>162 >コピペやめてくんないかな　だれも読んでないよ いやいや、ここは、コピペが特徴のスレなのですよ（＾＾ コピペでない ハイレベルの議論は、下記本スレで 次スレ立ったよ！ Inter-universal geometry と ABC予想 53 https://rio2016.5ch.net/test/read.cgi/math/1589806470/ 174 名前：１３２人目の素数さん [2020/05/19(火) 07:43:03.11 ID:ZWfU/tHt.net] 諸法無我より桜坂46とかいうみるからにレスバ仕掛けにいってるやつのほうがヤバかった 175 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 08:00:26.34 ID:6J5B37r3.net] >>168 感情的に脊髄反射せずに、落ち着いて反省しようよ 君、人の文章まったく読まずにコピペして、何がしたいの？ 数学理解したいんなら、ます読もう！　コピペは無用 176 名前：１３２人目の素数さん [2020/05/19(火) 08:13:47.98 ID:gUajbeaU.net] 諸法無G 177 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 08:14:17.44 ID:6J5B37r3.net] >>161 どうせなら、 178 名前：身の丈にあった内容のリンクはった方がイイよ ほれ https://www.youtube.com/watch?v=SIR4eQFFKps [] [ここ壊れてます] 179 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 08:52:01 ID:6J5B37r3.net] >>172に関連した質問 x^2+y^2=n　(n∈N） が有理点を持つ条件を答えよ 180 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 09:15:32.01 ID:t7nozl3h.net] 諸法無我氏は「バイアスは論理を歪めますね。」と言っていたが、 そもそもSSレポートはIUT Cor3.12の証明にギャップがあるため、最大限好意的に解釈して数学の世界に落とし込んだら意味のない不等式が導かれた、というものだろう？ 様々な状況証拠も含め帰結されるのは「そもそもIUTのギャップが問題」になる 181 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 09:25:18.48 ID:OLprzCYm.net] >>156 モッチ：　君たちはなんで数学ができないのだ。 学生：　数学ができれば、医学部にいってますよ。 モッチ；　確かに。　河野・水上が弟子ならば、半年でIUTを世界に認めさすだろうに。 182 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 09:30:14.25 ID:GZc4IbcM.net] >>174 全然違う。ギャップがあるとは証明されていないしな ギャップがあるなら査読を通ってない 183 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 09:35:08.71 ID:6J5B37r3.net] >>174 >意味のない不等式が導かれた ポイントはその前なんだけどなぁ １．どういう変更をやったら意味のない不等式が導かれた？ ２．何でそのような変更をする必要があった？ ３．ＩＵＴで回避できないの？ １と２はＳＳレポートに書いてある　読んでみ？ その上で・・・３は望月が回答することだな 184 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 09:35:35.99 ID:t7nozl3h.net] >>176 証明というのは数学の世界での話でギャップがあるというのはそもそも数学の世界に落とし込めないということなので、 ギャップがあるということを証明するというのはカテゴリーミステイクだ 185 名前：１３２人目の素数さん [2020/05/19(火) 09:50:01.89 ID:028457WR.net] >>169 ここにいるアンチだろ。 186 名前：１３２人目の素数さん [2020/05/19(火) 09:52:40.62 ID:gUajbeaU.net] もうそろそろアンチって言葉やめませんか? 187 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 10:19:43.12 ID:t7nozl3h.net] >>177 2.1(3)、つまり ホッジ劇場の選択をXと抽象群としての同型な曲線の選択と同一視する、あるいは恒等性に沿って恒等的な対象を分類することに関して、望月は何故それが許されないのか説明することができなかったという記述？ ポイントが違うというよりも、IUTにギャップがある理由がこれな可能性はある つまり望月は抽象的、形式的に見ることに長けていない可能性 188 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 10:23:03.45 ID:t7nozl3h.net] SSは単純化し過ぎ、とか2-圏のくだりとか、望月の過去の発言を鑑みても、 抽象的な議論で導かれることは「全ての」具体的な対象で成り立つということをあまり理解していないのではないのか、という疑問が浮かぶ 189 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 10:34:52.85 ID:6J5B37r3.net] >>181 そこではない 以下で述べることと関係があるかどうかは不明だが 私が読み取ったのは以下の通り １． 　1.3　How IUTT derives the inequality.　でスカラーj^2を抜くという変更 　p4　(1.6)で変更後の計算を行っている ２． 　2.2　Proof of [IUTT-3, Corollary 3.12].　p10の以下の箇所 "Mochizuki wanted to introduce scalars of j^2　somewhere on the left part of this diagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of the diagram alone, which arguably can be　overcome by using averages). However, it is clear that this will result in the whole diagram having monodromy j^2, i.e., being inconsistent." 要するに「図式全体がモノドロミー　j^2を持つから矛盾」と云ってる だから「スカラーj^2を消去したら、無意味な不等式が導かれるだけ」と云ってる "The conclusion of this discussion is that with consistent identifications of copies of real numbers, one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality." ３． Dupuyが「ＳＳレポートの最後の図式は全然ダメ、特に左側がダメ」と モノドロミー発生原因を全否定してるのは確か しかし、代わりに何すればいいかまでは、Dupuyは示せていない Scholzeがモノドロミーを持ち出したのは、 彼の研究に関わるからだろうと思われるが如何？ 190 名前：粋蕎 mailto:sage [2020/05/19(火) 10:55:53.36 ID:7g3VTWLw.net] >>180 デマ専アンチもアンチ専も実在する以上は無理 一方でデマ専シンパもシンパ専も実在する 絶対に正しい事なら嘘だった場合に全財産で保障する事を誓約できる 誓約できなければ絶対に正しい主張ではなく出任せ張ったりである 立件され難いだけであって、該当するかと言えば風説の流布にも該当すると言えるじゃろう 191 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 11:14:20.15 ID:t7nozl3h.net] >>183 これだけ見るとdupuyが最後の図式の何が誤りなのかを説明していないから実際どうなのか分からないが、SSレポートが数学的な定式化に失敗している可能性はある ただSSレポートが失敗していたとしても、IUTにギャップがなければそうはならなかったのだから、結局IUTのギャップが原因ではないだろうか 192 名前：１３２人目の素数さん [2020/05/19(火) 11:16:23.99 ID:5K7ZsrKn.net] 餅の論文が発表されてからショルツが反論してくるまで6年あるけどその間ショルツは何してたの？ 193 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 11:26:01.21 ID:6J5B37r3.net] >>185 Dupuyのtweetしか見てないから　細かいことは分からないな SSレポートがIUTに関する誤解によるというなら、その誤解を示せばいいが 望月の反論はSSから見て「見当違い」と受け取られているようだ >SSレポートが失敗していたとしても もし、失敗だとして、どう失敗したかによるが IUTに書いてあるのに理解してなかったのか？ それとも書いていなかったのか？ 前者ならSSの理解不足、後者ならギャップ 論文には根本的な加筆修正がないらしいから 望月等IUT関係者は前者だと認識したいらしい 一方Scholze等は望月の反論を認めていないから （容易に修復可能でない）ギャップだと考えている >>186 Scholzeがいつ望月論文の問題点に気づいたかは定かでないが こんなことは誰でも気づくだろうと思っていわなかったようだ 2018に森重文の紹介で望月との議論が行われたので、 その際はじめて指摘したと思われる 194 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 12:04:11.20 ID:jK+gpRxa.net] >>144 学歴を異様に評価する文化が日本にはあるけど、 アメリカでは最終的に実績が出なかったら終了になる。 195 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 12:36:06 ID:HnyGTIPw.net] full poly-isomorphism定期 196 名前：現代数学の系譜 雑談 mailto:sage [2020/05/19(火) 13:15:53.64 ID:a8Dbjf7f.net] >>187 ちゃんと議論できるじゃない（＾＾； >望月の反論はSSから見て「見当違い」と受け取られているようだ 双対だな SSの反論は望月から見て「見当違い」と受け取られているようだ >論文には根本的な加筆修正がないらしいから >望月等IUT関係者は前者だと認識したいらしい 関係者全員な 望月御大を初めとして、査読者や 4月3日の柏原・玉川、WoitブログのDupuy などなど 単なる二択問題で、SSをとるか or IUTを是とするか 197 名前：？ ２年もかけて 全員が 間違うはずがないでしょｗ（＾＾； >一方Scholze等は望月の反論を認めていないから >（容易に修復可能でない）ギャップだと考えている つーか、「自分が正しいことは ほぼ自明で IUTはリジェクトだ」と考えていたみたい そのことは、Woitブログにショルツ先生が登場したときの、冒頭のコメントにそれらしいことが書いてあるよ なお、RIMS側に説明責任があるということには、全く同意 モチ先生は、説明へたｗ（＾＾； 天才すぎて、「こんなことも分からんのか〜！」と 上から目線で来るからなー 玉川先生あたりに、期待したいね [] [ここ壊れてます] 198 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:25:53.69 ID:6J5B37r3.net] >>190 ＞ちゃんと議論できるじゃない https://www.youtube.com/watch?v=ayPUF-AnoxQ 199 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:28:57.55 ID:6J5B37r3.net] >>190 ＞モチ先生は、説明へた ＞上から目線で来るからなー そっくりですね・・・あなたと 200 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:29:10.81 ID:HnyGTIPw.net] 多分コピペを読む人はいないが、youtubeのリンクを踏む人もいないぞ 201 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:34:10.59 ID:6J5B37r3.net] >>190 ＞玉川先生あたりに、期待したいね 説明できるんなら、とっくにしてるんじゃね？ いくらでも機会はあったよ 202 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:38:43 ID:6J5B37r3.net] >>191は　F元首相の辞任会見の動画 「私は自分自身を客観的に見ることができるんです。あなたと違うんです」 別に支持しないが、A現首相に比べたら全然マシだと思う なんで史上最低の首相が史上最長の在任期間なんだろう・・・ワケワカラン 203 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:40:43 ID:jK+gpRxa.net] 柏原はIUTが正しいともSSがまちがっているとも言っていない。 DupuyはそもそもIUTを理解してない。 204 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:46:01 ID:6J5B37r3.net] ◆e.a0E5TtKE へ わけもわからず、モノドロミーという言葉の検索結果を ドヤ顔でコピペするのはおやめください 共感性羞恥 https://note.com/masumiyutaka/n/n654488a523e9 さて、自分が怒られたり恥をかくような場面なのに まるで他人事のように感じてしまうなら 共感性が欠如してるってことです https://president.jp/articles/-/30638 205 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:54:34 ID:HnyGTIPw.net] >>196 理解していなくても論文が書けるって、素晴らしいことだよな 206 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:56:23 ID:6J5B37r3.net] >>196 Dupuyの言い分 「IUTはともかく、Scholzeの勝手な設定だけで 　系3.12の不等式を否定できないでしょ」 つまり論文を支持しているのではなく その中にある中間結果である系3.12に 興味を持ってるだけ 系3.12が別の方法で証明できるなら メシウマ状態だと思ってるかもしれない Scholzeが「後はメールで」といった真意は定かでないが Dupuyの意図を察したからだろう Scholzeも系3.12を否定したいのではなく、 望月の方法ではあの不等式は導けない といいたいだけなので 207 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 13:57:33 ID:MYh56BRj.net] Cor3.12を理解してないって言ってるんだからSSの批判が正しいか間違ってるかも判断できるわけないじゃん。 208 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 14:27:04 ID:a8Dbjf7f.net] >>190 補足 （外しているかもしれないが） １．SSの望月に対する指摘は、例えば 　ビタリ先生が 　ルベーグ先生の積分論に対して 　「こうやったら非可測集合ができるから、あなたの測度論は間違い！」 　と言ったみたいことかと ２．つまり、 ビタリの非可測集合ができるからといって 　ルベーグ測度論が全部否定される訳ではないのです ３．非可測集合の存在と、ルベーグ測度論とは、併存できる ４．と、同じように、SSがある前提から IUTもどきに矛盾が出ることを示したことと 　真のIUTが成立することと 　両立できる可能性があると思うよ ５．そして、RIMSの4月3日のプレス発表になったと思うし 　Woitブログの ショルツ ｖｓ Dupuy 論争も似た展開だったと思う なお、Dupuy 209 名前： のIUT関連の論文は、Hilado氏との共著で、彼はDupuy 先生のところのDR生だ だとすれば、彼らのCor3.12に関する論文は、彼のDR論文なので、「私は、Cor3.12はワケワカだが、これでDR論文書きました」では、通らないよ 多分な（＾＾； （Dupuy氏が Cor3.12がワケワカ と言ったとか、そういうガセ系ネタは、本スレかアンチスレで頼むよ 　Cor3.12の証明は IUT IIIで 12ページに渡って グダグダ書いてある 　あれを Woitブログとかで他人に分かるように説明しろってのが無理ゲーだろ 　そういう趣旨の発言じゃないの？ｗ（＾＾；　） [] [ここ壊れてます] 210 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 14:30:24 ID:a8Dbjf7f.net] >>201 なお、ここらの 納得できる説明が、RIMSに求められているといのは、繰り返すが、全面同意ですよ（＾＾； 211 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 14:32:30 ID:HnyGTIPw.net] つまり、Dupuyが「Cor 3.12の証明はフォローできない」という趣旨の発言をしたことは、 ただのジョークだと信じている人だけが書き込むスレということでおｋ？ 212 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 14:37:28 ID:6J5B37r3.net] >>201 ＞（外しているかもしれないが） 「かもしれない」は要りません　 特に１〜３．全然、外してます 213 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 14:51:13 ID:6J5B37r3.net] >>201 DupuyのTwitterでの発言 https://twitter.com/DupuyTaylor/status/1256917083646038018 ”The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it." 午後9:02 · 2020年5月3日 https://twitter.com/DupuyTaylor/status/1255652323000549381 Simply put: proving corollary 3.12 is harder (or impossible). Trust me, if I could either prove or disprove it I would tell you. 午前9:16 · 2020年4月30日 (deleted an unsolicited ad) 214 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 14:55:48 ID:6J5B37r3.net] >>201 Hiradoが望月論文の系3.12を前提とした論文を書いたとして 前提から結論を導く証明に瑕疵がなければ何の問題もないが 君は、頭おかしいのか？ 215 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 15:00:19 ID:6J5B37r3.net] >>205　の続き https://twitter.com/DupuyTaylor/status/1255502320441462784 We didn’t say anything about the validity of Corollary 3.12. We just assumed it, explained how to use it/set it up, then showed how to derive very strong inequalities from it. 午後11:20 · 2020年4月29日 これは冗談ぬきの真面目なトーンで言ってるね (deleted an unsolicited ad) 216 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 15:20:43 ID:HnyGTIPw.net] >>207 逆に言えば、"very strong inequalities"のどれか1つでも反例が見つかれば、 Corollary 3.12は主張も間違っているということになる Dupuyの言うところの"very strong"は、 「そんなに万能な不等式ってちょっとおかしいんじゃないの？」といった指摘にも見える 217 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 15:28:08.03 ID:6J5B37r3.net] >>208 そりゃもちろんそういうこともある ラッセルはフレーゲの考えに賛同していたが 意に反してパラドックスを見つけてしまった ゲーデルはヒルベルト・プログラムが実現できればいいと思ってたが 無矛盾性証明の思索中に実現不可能だと気付いてしまった 直感の通りに物事が進むとは限らない 218 名前：粋蕎 mailto:sage [2020/05/19(火) 15:31:10.24 ID:7g3VTWLw.net] 5ch反IUT論装戦線お猿の一石めーﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM も等しくヤバい 219 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:09:07 ID:12pcLV95.net] >>210 数学的なギャップを指摘されないなら「数板では問題無い」みたいですね。。。 ※「ﾁﾞﾁﾞｨｯﾁｬﾏ」は不適切表現でした。 ご迷惑をおかけ致しました方には、提唱者から、慎んで心よりお詫びを申し上げます。 更にこの場をお借り致しまして、不適切表現の訂正をお願いを申し上げます。。。 (。。。「ﾁﾞﾁﾞｯﾁｬﾏ」はなんだか違うみたいですから、、、 粋蕎様独自の別称でしょうか？) 220 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:23:31 ID:6J5B37r3.net] >>211 ほっときなよ ◆e.a0E5TtKE：コピペで利口ぶった顔したがるマウント君 ◆C2UdlLHDRI：自分だけが正義だといいたがるマウント君 ◆y7fKJ8VsjM：大袈裟なネームで威圧したがるマウント君 トリップつけるヤツは皆ヤバイ 221 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:24:14 ID:9nNw0rG6.net] DupuyとJoshiががんばって説明しようとしてるのに、 なにも援軍を出さないIUT界隈は今後だれもついていこうとしないんじゃないの。 俺はああいう冷淡さのほうが気になる。 222 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 16:34:43 ID:a8Dbjf7f.net] >>205 >Simply put: proving corollary 3.12 is harder (or impossible). Simply put: proving corollary 3.12 is harder (or impossible) to explain for you！ ってことでしょ >>206 ？？？ じゃ、ショルツ先生の「パーフェクトイド空間は存在しない( or 間違っている)」を前提にしたDR論文を、Hilado氏が書いたら？ 論文審査員「何考えているの？ 間違った前提で、論文を書くなんてｗ」という Hilado氏（開き直って）「前提から結論を導く証明に瑕疵がなければ何の問題もないー！」と叫ぶｗ 論文審査員「そういう開き直りでは、DRの学位は与えられない〜！！ アホっ」でしょうねｗ（＾＾； >>207 >We didn’t say anything about the validity of Corollary 3.12. まあ、その論文の中ではってことかも あるいは、こんなところでは、議論したくないよということかも PS 良いんじゃない？　IUTの正しさは、これから検証されていくんだから だれかも書いていたが、RIMSの審査パスは これからの数学界での検証のスタートにすぎない。その通りですよ（＾＾； 223 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 16:45:20 ID:a8Dbjf7f.net] >>213 Woitブログなんて、プロレスで言えば、場外バトルでしょ？ ５ｃｈもそうだけど ちゃんと、学会でプロの議論したら良いと思うよ ヤジウマ無しで、見ている こちらは、寂しいけどなｗｗ（＾＾； 224 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:46:57 ID:xsFJdIDF.net] 検証なんかもう終わってる。 論文が発表されてから8年。 まともに理解したひとも説明できた人もいない。 PRIMSに載れば理解できたり説明できたりするようになるわけじゃないんだから無意味。 スタートを延々とずらして言い訳するのはそろそろやめないとな。 225 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:51:20 ID:HnyGTIPw.net] え！！ アクセプトしてから検証を！？ 226 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:56:49 ID:12pcLV95.net] >>212 (変な呼び方しちゃってごめんなさい…) 227 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 16:58:28 ID:6J5B37r3.net] >>214 ＞間違った前提で、論文を書くなんて ん？何が問題なの？ 背理法って、前提から矛盾を導いて、前提の否定を証明する方法だけど 「パーフェクトイド空間は存在しない( or 間違っている)」 という前提から矛盾を導くんでしょう？ｗ パーフェクトイド空間の存在に関する別証明として 意義があるならいいんじゃない？ そういう話ではなくて？じゃ、どういう話？ 分かるように書いてくれる 君の話、いつもわけわかんないんだよね 全然、論理的じゃないからさ 228 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:00:55 ID:12pcLV95.net] ((´д`;)ﾊｯ! 主さま、皆さま…ｽﾚ汚し失礼しました…お邪魔いたしました…) 229 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:04:56 ID:HnyGTIPw.net] 間違った前提で論文を書くやつは（背理法による証明でもない限り）恐らくアホだが、 正しいかどうかわからない前提で論文を書くことは普通のこと 現時点でCorollary 3.12は正しいかどうかわからないので、 とりあえず帰結を書いてみましたというのがDupuyの立場だろう 230 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:06:11 ID:6J5B37r3.net] >>216 PRIMSの件はMが独断で動いてるんだろうな しかし、いまさらリジェクトとかいうと不祥事が表沙汰になる そうなったら次世代幾何 231 名前：学研究センターどころかRIMS自体がなくなる可能性が大 仕方ないので、正規のプロセスで査読を通しました、と言い張るんだろう 誤りがあったとしても、査読者の見落とし、で押し通すんだろう KとTの間ではもうそういうことで話がついてるんだろうな [] [ここ壊れてます] 232 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:23:59.11 ID:ZGBhvkH9.net] ひどい話だ どうしてこうなった 233 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:32:03 ID:D7FIgd0L.net] 査読を無理やり通してしまえば、否定派を「査読者が理解しました、正しいと認めました」で全て言論封殺できるからね 234 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:37:45 ID:ZGBhvkH9.net] >>224 実際そういうもんなの？ abc conjecture自体は正しそうだから証明が正しくても間違ってても数学そのものの歴史にはあまり影響なさそうだけど 235 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 17:40:16 ID:a8Dbjf7f.net] >>222-223 妄想のお伽話は アンチスレ 又は 本スレでお願いしますよ！！（＾＾； ＞しかし、いまさらリジェクトとかいうと不祥事が表沙汰になる もし、そのストーリーなら おれのところに来たら、もう少しましな 言い訳を 入れ知恵で 考えてやるけどなｗ 例えば、IUTに瑕疵が見つかったので、取りあえず Cor3.11までOKにして Cor3.12 を継続審議にします。次の国会で扱いますとかね、A首相みたくｗ（＾＾； そうでないから、「証明は正しい」と大見えきったんだよ もうPRIMS掲載は止められない なんかの長の法案審議とは 違うぜよｗ（＾＾ 236 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 17:43:11 ID:a8Dbjf7f.net] >>225 >実際そういうもんなの？ >abc conjecture自体は正しそうだから証明が正しくても間違ってても数学そのものの歴史にはあまり影響なさそうだけど それ違う 例えば IUTと別の手法で ABCとか Szpiroとか Vojtaとか 大物を解決して、ｘｘ賞狙いって人にとっては、プライオリティが得られるかどうか？ それ死活問題だよね、IUTが是か否かは（＾＾ 237 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:43:11 ID:6J5B37r3.net] >>224 ＞「査読者が理解しました、正しいと認めました」で全て言論封殺できる >>225 ＞実際そういうもんなの？ んなわけない　数学知らない素人の妄想 PRIMSの信用がガタ落ちになるだけで 内容の正当性にはつながらない 238 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 17:44:26 ID:a8Dbjf7f.net] >>228 >んなわけない　数学知らない素人の妄想 >PRIMSの信用がガタ落ちになるだけで >内容の正当性にはつながらない 全く同意だ ここは、全くその通りですよ（＾＾ 239 名前：１３２人目の素数さん [2020/05/19(火) 17:44:56 ID:230kIOsH.net] >>226 分離閉包も知らん奴は完全数の証明でも考えておけばええのよ 240 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 17:45:33 ID:a8Dbjf7f.net] >>229 追加 だから、それなりの覚悟があって IUTは正しいと主張したのでしょ RIMSはね（＾＾； 241 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:45:48 ID:D7FIgd0L.net] >>225 実際にここやツイッターで査読が通ったで論陣を張る人が散見される 242 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:46:32 ID:6J5B37r3.net] >>226 ＞おれのところに来たら、もう少しましな 言い訳を 入れ知恵で 考えてやるけどなｗ psychopathy ＞取りあえず Cor3.11までOKにして ＞Cor3.12 を継続審議にします。とかね そうしなよ ＞A首相みたく 彼は、典型的なpsychopathyだね 243 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 17:46:40 ID:a8Dbjf7f.net] >>230 おれは、証明など求めていない ヤジウマですから どんどん、やってもらったら良い 本スレでも、アンチスレでもなｗ（＾＾； 244 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/05/19(火) 17:47:52 ID:a8Dbjf7f.net] このスレのアンチは叩くよ もちろん、正統な数学の議論は可だ が、妄想のアンチは叩くよ ∵　ここは、IUT応援スレだものｗ（＾＾； 245 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:48:36 ID:6J5B37r3.net] >>227 ＞大物を解決して、ｘｘ賞狙いって人 数学が分かってない素人って 下衆なことしかいわないね 246 名前：１３２人目の素数さん [2020/05/19(火) 17:49:53 ID:230kIOsH.net] IUTを擁護してるのはもはや諸法無我と分離閉包くらいやろ 247 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:51:33 ID:6J5B37r3.net] >>234 ＞おれは、証明など求めていない 理解できないもんなｗ あんた、 ｎ次正方行列のランクがｎ⇔行列式が０でない の証明ができないって本当？ 248 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:51:51 ID:D7FIgd0L.net] 数学知らん人を含めるのであれば擁護派は結構いたな 249 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:52:40 ID:6J5B37r3.net] >>237 実は　諸法無我＝◆e.a0E5TtKE 　じゃね？ 250 名前：１３２人目の素数さん [2020/05/19(火) 17:53:19 ID:230kIOsH.net] >>239 それは結構いるな。 朝日が掌返したから減ったとは思うが 251 名前：１３２人目の素数さん mailto:sage [2020/05/19(火) 17:54:26 ID:6J5B37r3.net] >>239 IUT礼賛者は 252 名前：、数学知らん人に多いんちゃう？ [] [ここ壊れてます]

---

---

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

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