20/05/01 22:30:12.89 Eq2VULKy.net
小保方みたいにはスキャンダルにはならんだろうけど、未来の
数学史研究家には面白いだろうね。誰がどんな査読したとかも
記録に残ってて調べたい放題だろうからね
451:１３２人目の素数さん
20/05/01 22:30:53.20 Mx8ookP+.net
弱い証明とか強い証明とか言う人いなくなっちゃったね。
452:１３２人目の素数さん
20/05/01 22:32:59.71 pGSCHAs9.net
一番かわいそうなのは、
駄目だと気づいてSS呼んだのに喧嘩しだして顔に泥を塗られ、
挙げ句の果てに無理やりアクセプトで京大の面目も潰れてしまった森重文先生
453:１３２人目の素数さん
20/05/01 22:41:23.60 XEHJN4Ze.net
K先生もなかなかかわいそうだった
餅は自分の論文なのに記者会見いやだと？
ワイだっていやだっちゅーねん、てかようわかってないのに勘弁してーやみたいな
454:１３２人目の素数さん
20/05/01 22:49:46.85 FN/WQqb7.net
>>436
これからは試験の問題がわからなかったら学生はこう書けばいいのか
「自明である。分からないのは採点者の理解が足りないから。」
「余白が狭すぎる」並みのパワーワード来たな
455:１３２人目の素数さん
20/05/01 23:04:47 QRNSzzE6.net
>>138
だよね
モッチーが正しいかどうかは別として
ここの人らの批判も大概間違ってるんだろうなー
456:１３２人目の素数さん
20/05/01 23:10:54 pGSCHAs9.net
>>442
例えばどれがどのように誤ってるの？
457:１３２人目の素数さん
20/05/01 23:20:48 /fc3tMOt.net
>>ここの人らの批判も大概間違ってるんだろうなー
Blind men are pretending to know what they can not see
458:BLACKX ◆SvoRwjQrNc
20/05/01 23:26:01 UONLrguG.net
>>442
批判をする前の原因探しの時点で欠陥あって、数学者もネットの人間も理解が出来ないのが悪いと言われていて、
原因の追求をして批判のフェーズに入ることが全員できてないのだが。
459:１３２人目の素数さん
20/05/01 23:33:19 xtv1Rs7D.net
結局信者含め誰も3.12はフォローできてないのね。
なんだかズンドコベロンチョみたいな奇劇(喜劇？)だな笑
460:１３２人目の素数さん
20/05/01 23:34:37 pGSCHAs9.net
URLﾘﾝｸ(twitter.com)
圏論専門の数学者から、今度は望月が出した手紙で述べられている考えがおかしいと指摘されたな
そこに日本人と思われる諸法無我って人が「環は2-圏だと望月が説明している」と説明したが、環はどんな意味でも2-圏にならないと一蹴
どうすんのこれ
(deleted an unsolicited ad)
461:１３２人目の素数さん
20/05/01 23:36:54 xtv1Rs7D.net
ズンドコベロンチョ 鮫島事件 IUT
462:１３２人目の素数さん
20/05/01 23:40:34 Bd/0uAg1.net
>>425
権威失墜したところで日本最高峰なのは変わらんよ
まともな研究者になりたいなら国外という選択肢しかなくなった
463:１３２人目の素数さん
20/05/01 23:45:31 0/Nf7kiT.net
でも諸法無我って人が言ってるだけだからねぇってのはある
本当に動画内で餅が言ってるのかね？
URLﾘﾝｸ(i.imgur.com)
464:１３２人目の素数さん
20/05/01 23:47:04 Aodju3Vx.net
パイライフ理論
465:１３２人目の素数さん
20/05/01 23:48:27 OYm9JQNc.net
ぬこかわいい
466:１３２人目の素数さん
20/05/01 23:50:01 OYm9JQNc.net
昼の猫ってなんであんな陰険極まる目で睨み付けてくるんだろ
467:１３２人目の素数さん
20/05/01 23:55:49 /fc3tMOt.net
>>447
tweet内で引用されているもっちーの説明は明らかに正しい
これにdisagreeな奴は（例えばtwitterの輩）そいつが
代数スタックと代数空間の違いを本質的に分かっていない
以上
468:１３２人目の素数さん
20/05/02 00:03:36 gEY2m0S0.net
これ、数学を独学で勉強してたらなんかいろいろ勘違いしちゃったっていう流れに似てて、
あんまり笑えないレベルになってきてるような
469:１３２人目の素数さん
20/05/02 00:08:58.18 tIiqoMxP.net
このtwitter主の理解の間違い、あおりでもなんでもなく初学者レベルなんだよな...
470:１３２人目の素数さん
20/05/02 00:16:55.76 X73oCO0O.net
数学ってほんとこういう側面あるよね
ワイルズはカッツという一流数学者に見てもらわないとわかんないところがあって、
それでみてもらっても間違ってた
基礎論と圏論については門外漢だったMが、しょうもない取り巻きしかいなくて達成できるわけがない
471:１３２人目の素数さん
20/05/02 00:18:31.00 B9ZCYhVa.net
天網恢恢疎にして漏らさず
天の網が疎なところが逆に残酷だと思った一件でした…
472:１３２人目の素数さん
20/05/02 00:21:18.31 RXMtSRmi.net
俺はDupuyが言ってるのはあんま納得してないんだけど、
師匠が基礎論だったDupuyが証明できないって言ってるのってめちゃくちゃポイントだと思う。
473:１３２人目の素数さん
20/05/02 00:23:34.66 htQlK2b+.net
粛々と進めたまえ
474:１３２人目の素数さん
20/05/02 00:28:52.02 CZgiek2r.net
>>454,456
具体的にどう誤ってるのかを一番知りたいので、
説明してくれたらありがたいです
475:１３２人目の素数さん
20/05/02 01:07:17.28 tIiqoMxP.net
代数空間は代数スタックにふくまれる概念であるがスタックは本質的に異なる情報をもつ 例をあげる
Gを有限群 Sをbase scheme例えば一点spec体とする
GをSに自明に作用させるつまりGの任意の元はＳを動かさないとする
このときこの作用の商は代数空間での商としてはＳ自身
一方代数スタックでの商はＧの分類スタックBGと呼ばれるものとなり
G主束のモジュライとなる BGは2圏的情報をもつ 例として
商写像S--->BGを考えるとこの商社像は関手であらわされるけど
それをFと置くとF自身が自然変換による自己同型をもちそれがちょうどG分
ある これはこのような２射は代数空間ではあらわれないもんであり
このことがスタックと代数空間との違いを明瞭に表している
加えて言うとガロア圏はBGのようにふるまう
476:１３２人目の素数さん
20/05/02 01:28:00.68 RXMtSRmi.net
>>462
Twitter主が言ってるのって、代数空間と代数スタックは異なる情報を持つけど、
両方を対象にしている場合はおなじlanguageで扱えるってことでしょ（リプ参照）。
スタックと代数空間の区別は前提にしてある。
477:１３２人目の素数さん
20/05/02 01:33:01.63 6o1CrezC.net
これもとのツイートが短すぎてどういう点で不同意なのかよくわかんないんだよな
たぶん代数スタックと代数空間が望月が言ってるレベルでの差異をもたらすなら、
Stacks Projectはもっと混乱したかたちになってるんじゃないか、ってことだと思うんだが
478:１３２人目の素数さん
20/05/02 01:43:20.01 yttv9lL6.net
>>463
同じというか、ほとんどmuch同じ
おそらく@HigherGeometerが言ってるのは、
たしかに代数スタックと代数空間は違うけど多くの場合に差異は生じないから、
「代数スタックと代数空間は違う→この場合でも必ず差異がある」は正当化されない
だと思う
479:１３２人目の素数さん
20/05/02 01:45:39.69 yttv9lL6.net
もとの望月の説明をみればわかるが
480:、 望月はstacksとgeometryはちがうからdifferenceは当然に生じる、 っていう書き方になっていて、なぜこのケースでdifferenceが生じるのかは説明していない だが多くの場合に差異はないのだから、望月の推論に対してdisagree（つまり論証不十分）する根拠はある
481:１３２人目の素数さん
20/05/02 01:46:22.33 tIiqoMxP.net
今全文よみました
こういうことですね
基本的にはＢＧとその間の関手たちを扱いたいわけです
そうするとＢＧみたいなもののなす圏はＧに仮定をつけないと２圏になります
アナベロイドの理論は知らないけどＧがslimだとＢＧからＢＧの関手の
間にある自然変換すなわち内部自己同型由来のものはなくなって１圏に
なってしまうってすぐわかりますね
遠アーベル幾何ではそれが主人公になるから２圏までもちださずに
１圏で作業するっていうことですよｗ
482:１３２人目の素数さん
20/05/02 01:48:43.45 IfSRc6rd.net
もっちーはじぶんが自明だと思ったら論証を省く癖でもあるのかね。
それで全体がこけたように見えるんだが。
483:１３２人目の素数さん
20/05/02 01:50:09.20 6l+rlJTm.net
IUTで問題にしているのは一般化された環構造であって古典的なスキームそのものじゃない。それは出てこない
勿論SSはそれはわかってる
そのTwitterすら見てないから文脈わからんけど
484:１３２人目の素数さん
20/05/02 01:53:23.85 tIiqoMxP.net
単なる趣味の問題ですね 圏だけでできるのに２圏なんでださないと
いけないのという
多様体論の講義で学生がオービフォルドも一緒にあつかってほしい
とかいったらめっちゃめんどくさい奴ですね
２圏だしたいとか高次圏かぶれなんですよ
485:１３２人目の素数さん
20/05/02 01:54:45.40 6l+rlJTm.net
>>464
よくわからんけど、それならそれこそ遠アーベルに無知なアホは黙れってMに罵倒されるパターンじゃないの
まあ無数のスキーム宇宙なるものが物議を醸すのは確かなんだろうけど、その二つの比較だけで
切り捨てられるものでもない
486:１３２人目の素数さん
20/05/02 01:55:29.66 tIiqoMxP.net
それから君たち
数学自体をはなしたらどうだね
487:１３２人目の素数さん
20/05/02 01:57:28.40 zst4w8sg.net
>>471
遠アーベルで特殊事例が起こるなら説明責任はMにあるのでは？
とりあえずMは説明をしないという態度をあらためないとどうしようもない感じ。
488:１３２人目の素数さん
20/05/02 01:58:46.94 1Tyk7ZrP.net
数学を話してないのはRIMSだからなぁ
489:１３２人目の素数さん
20/05/02 02:14:32 TiiL2eqZ.net
望月が数学じゃやく
誤解学にご執心だからなw
490:１３２人目の素数さん
20/05/02 02:18:54 x31W8LzR.net
なんかもうこれ、全部エイリアン・コピー論文に書いてあることなんだけどね。
Anabelioidについては2本の論文を読むのがめんどくさければ和文の2本のレポートを読めばいいと思うよ。
Robertsのことだけど、望月氏に門前払いされ、今回ショルツに厳しいことを言われたことには経緯がある。
彼はIUTにおけるラベルは「無害であるが不必要」という考えを変えていない。
ならば充満多重同型やforgetting the histories of operationsを仮に彼が認めたところでIUTは成り立たない。
そういうワケワカラン矛盾したことに無自覚で、同型の問題や記法云々言っているのだから望月氏にもショルツにも相手にされない。
ショルツだってIUT語はメンドクサイと思っているはずだけど、本質的な問題はそこじゃないことぐらいは分かっているよ。
まあ、Robertsは俺は無視しているけどね。時々考えなしにネットで書いてBuzzardなんかに突っ込まれたりしているし。
491:１３２人目の素数さん
20/05/02 02:20:09 tIiqoMxP.net
誰も数学をはなさないのでちょっと
492:書き足すと ｐ進体上の双曲代数曲線等や数体や局所体のガロア群もスリムだから それらガロア圏たちのダイアグラムも１圏になりますね これらの群がスリムであることは非自明だけどそれが何から出るかぐらいは勉強しようねｗ
493:１３２人目の素数さん
20/05/02 03:58:16.81 13zUhRr5.net
>>477
つまりスリムな副有限群のなす圏が1圏になるってこと？
なんでスリムだと1圏になるんですか？
494:１３２人目の素数さん
20/05/02 05:07:12 6l+rlJTm.net
>>477
でもそれはショルツら（Roberts以外の懐疑派）にはどうでもいい話でもある
問題はそれが一体何処から来ているのかという事だ
例えば見た目は変わらないのに毎回毎回別の名前を名乗ってやってくる人間がいたら、精神を疑われるわけだ
悪戯だと言われたくないなら別人である証拠を見せなさい
495:１３２人目の素数さん
20/05/02 06:12:39 37E2iJae.net
1 普通に書けば書けるのに、書かないで理解させない望月が悪いが問題はない
2 望月の書き方には理由があって、望月の理論は正しくて、無理解者が悪い
3 望月の書き方には理由があって、望月の理論にはギャップかあり、埋めきれてないから、望月の理論は間違い
4 望月の理論には現段階ではギャップがあるが本質的ではない
5 望月の書き方も悪いが理解しようとしない奴も悪い、理論自体は正しいがコミュニケーションギャップ
まあ、一と五は同じかもしれないが
496:１３２人目の素数さん
20/05/02 07:06:36 fUsC9RWq.net
woitが某ブログ記事のコメント欄を閉じた模様
497:１３２人目の素数さん
20/05/02 07:07:32 fUsC9RWq.net
ショルツが最後にコメントしてる
498:１３２人目の素数さん
20/05/02 07:09:06.75 +ZMZwUk8.net
圏論を知らない素人から質問
１．今回の@HigherGeometerことDavid Robertsの発言は
Scholzeの主張に関係しますか？
２．あと@MugaShohouこと諸法無我は数学者と思われますか？
499:１３２人目の素数さん
20/05/02 07:43:51.26 0mnV/g9L.net
>>471
>>473
＞遠アーベルで特殊事例が起こる
のだと、
下記の望月の2008年5月の講演資料に書かれている。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
頁12:
logは環構造（やGrobalなF)と両立しない。従ってスキーム（環）の幾何の中では扱えないが、
Galoisと両立するため、先ほどの定理により、絶対遠アーベルの幾何の枠組みの中では扱える。
、と書いている。
Wの(2)の問いは、p16の「不等式がすんなり従うと期待している」と書かれた箇所が、
Dupuyが用意する下記のコメントになるのかな？
＞It is a collection of functions, relations, constants, and sorts. I need to think about your last two paragraphs before I can comment more.
500:１３２人目の素数さん
20/05/02 07:59:03 0mnV/g9L.net
ちなみに、不等式を説明する、第二のIUTeichアニメーションだけど、
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(animation).mp4
>>484の「望月の2008年5月の講演資料」の最終稿（頁16)の不等式の説明で使われた図だよね。
501:１３２人目の素数さん
20/05/02 08:17:20 +ZMZwUk8.net
>>480
1,2,5は数学と無関係な責任論だから割愛ね
分類
α 望月論文は全く問題ない
β 望月論文にはギャップはあるが、本質的ではない（480の4）
γ 望月論文には本質的なギャップがあり、現時点では埋められない（480の3）
δ 望月論文の推論には誤りがあり、矛盾を導く
Scholzeの主張はγだと思う
（ギャップの部分を読者側で自然に解釈するとδになる、という言い方）
502:１３２人目の素数さん
20/05/02 09:22:44 0mnV/g9L.net
>>486
数学的な正しさは、「２年間の数学的な査読」の判断では、αですよね。
α～σについて、査読かSSのどちらが正しかったかは、今後に判断が定まるのでは？
数学的な正しさの論議は終わってないですが、>>480に戻ると、
ＳＳが理解してないのか、望月の説明が不足しているのか、の点に尽きるのだと思うが。
Dupuyの言うように、＞It is a collection of functions, relations, constants, and sorts.
望月の>>484の講演資料の冒頭で、＞数論幾何的設定において登場する特定のスキーム等を問題にするのではなく、
そのスキームたち等を統制する「抽象的組合せ論的パターン」を主役として考える、
その理論仕組みに入らないと。
>>485のように、pdfを作り、抽象的組合せ論的パターンの説明は作っていると思うが、
そこまで論議が進んでないですね。
503:１３２人目の素数さん
20/05/02 09:28:17 +ZMZwUk8.net
theHigherGeometer @HigherGeometer
4月26日
@DupuyTaylor what do you think?
どう思う？
Taylor Dupuy @DupuyTaylor
4月26日
Meh
ええ
Taylor Dupuy @DupuyTaylor
4月26日
I don’t think it matters too much.
You can just work with fundamental groups up to outer automorphisms.
Maybe there is a correct fancy way to do this.
That probably has to do with like etale Homotopy types or something.
Idk.
それほど重要ではないと思います。
基本的なグループから外側の自己同型まで使用できます。
たぶん、これを行うための正しい空想的な方法があるでしょう。
それは恐らく昔のホモトピー型か何かに関係しています。
分からないけど。
*Idk=I don't know
504:１３２人目の素数さん
20/05/02 09:34:41.12 +ZMZwUk8.net
>>488
基本的なグループ 基本群
外側の自己同型 外部自己同型
505:１３２人目の素数さん
20/05/02 09:38:42.61 NOp8WnzJ.net
>>487
「ＳＳは理解している、望月の説明は十分である（と本人だけが思っている）」
のパターンが最もあり得そうだが
506:１３２人目の素数さん
20/05/02 09:43:34 +ZMZwUk8.net
>>487
査読者はギャップを見つけられなかった、ということですね
ということは、ScholzeとStixのいう「ギャップ」に対して
査読者はギャップがないことを説明できるのではないですか？
論文がarXivに上げられただけなら、ScholzeとStixの疑義に対して
回答できるのは著者の望月本人だけだとしておかしくはありません
そしてもし望月が両者を理解させられないなら、
論文は認められないままでしょう
しかし、今回の場合、査読者が理解の上acceptしたのですから
査読者は自分が査読したといわなくても、
望月の論文にギャップがないことを説明すべき
ではないですかね？
acceptしたのに、他社に正当性を説明できない
おかしくないですか？
507:１３２人目の素数さん
20/05/02 09:49:09 a8OGlH08.net
>>491
査読者がアクセプトして 出てきて他者を納得させるべく説明するなんてことをやるの？
やらないよ
508:１３２人目の素数さん
20/05/02 09:53:34 TKA4riSc.net
まあ高々有限個の人間がチェックしただけで正しいと断言できるわけないんですがねｓ
509:１３２人目の素数さん
20/05/02 09:56:54 +ZMZwUk8.net
>>492
法律で定められた義務がある、なんていってませんよ
ただ、一方でacceptしておきながら、
もう一方で他者からの疑義に対して沈黙し続けるのは
数学者として不誠実なんじゃないですか？
510:１３２人目の素数さん
20/05/02 10:01:02 tIiqoMxP.net
>>478
>>つまりスリムな副有限群のなす圏が1圏になるってこと？
違います
スリムなふく有限群から得られるガロア圏つまり分類スタック
たちが１圏になるということです。
ここでスリムというのはcenter-freeということだから遠アーベルな性質です
Gがスリムな群としてBGからBGへのfunctor categoryが集合になるということ
といっていいです
ＢＧを知らなくても
自己同型の集合Isom(G,G)にtargetのGが内部自己同型で
511:作用することを考えると、圏の圏でのその商がBGからBGへの関手圏を 同一視できます Gがcenter-freeなら作用は自由で商は集合として とれます 作用が自由でないと圏の圏での商は亜群になりますね 即ち固定化部分群の情報が射にでてきます これは代数空間と代数スタックの関係と完全に対応するすることも わかるとおもいます
512:１３２人目の素数さん
20/05/02 10:07:28 tIiqoMxP.net
>>495
追加 上の定式化だとfunctor categoryは同値なものに制限する必要が
あります
513:１３２人目の素数さん
20/05/02 10:14:34 lPP0Xqqb.net
>>492
擁護派ってお前みたいな言い逃ればっかりだな
言っててむなしくならないのかねｗ
疑惑に対してきちんと説明せずに「弁護士を立てて争う」と言った小保方と同じだなｗ
もうこの点から見ても擁護派は学問的真理などどうでもよく、
ひたすら望月の強弁を通すこととRIMS関係者の保身にしか関心がないことがわかる。
だいたい確立された数学的真理で「証明に疑問がある」などということがあろうか。
それからしても望月にABC予想証明の功績が認められないことは明らか。
514:１３２人目の素数さん
20/05/02 10:16:45 +ZMZwUk8.net
圏論を知らない素人から、ID:tIiqoMxP氏へ質問
１．>>456の「twitter主」は@HigherGeometer？
２．Zは、加法だけでmonoid（groupでもある）、加法と乗法でringであるが
Zを1-categoryだけでなく2-categoryとみなす簡単な方法はあるか？
515:１３２人目の素数さん
20/05/02 10:17:17 q14Vjg06.net
>>490
すくなくとも現時点で書かれている情報量ではSSのようにしか理解できず、
望月はそうじゃないと言ってるがそうじゃない証拠はなにもない、
という感じじゃね？
516:１３２人目の素数さん
20/05/02 10:27:49.39 +ZMZwUk8.net
>>499
Scholze「論文読んだが、肝心なところが明確でない
単純に考えると矛盾するんじゃない？」
望月 「論文が読めてない！論文読め！」
もし、Scholzeが査読者だったら、望月の対応ではacceptされないよね
一方、PRIMS誌の査読者は望月の論文をacceptした
Scholzeの疑義に対して、査読者は説明可能、と当然期待される
もし、査読者が（そう公表する必要はないが）説明できないのなら、
何見てたんだ？ってことになるよね
517:１３２人目の素数さん
20/05/02 10:35:52.49 NOp8WnzJ.net
ここまでくると、望月氏も証明が不十分であることがだんだんわかってきているのだが、
しかし、もともとイメージで適当にやっていた箇所だから、
どうしてもギャップを埋めることができず、今更引っ込みがつかなくなっているので、
黙ってごまかしているのではないか、
とも思われる
518:１３２人目の素数さん
20/05/02 10:41:05.89 saXlBmv+.net
>>499
まあそれ。査読者は多分説明できないから名乗りを上げれない状況だろう
じゃあ本人は？十分反論はしている。結果どうなったか？明白
519:１３２人目の素数さん
20/05/02 10:47:53.17 KJG8arFn.net
このスレだと基礎論のところでまちがってるんじゃないかって意見が多いけど、
俺は遠アーベルのところでおかしいんじゃないかと思ってる。
遠アーベルの特殊性みたいなのを過大視した結果というか。
520:１３２人目の素数さん
20/05/02 10:51:03.20 +ZMZwUk8.net
>>502
＞本人は？十分反論はしている
Scholzeだけでなく他の人も受け入れてない時点で
十分ではないんじゃない？
521:１３２人目の素数さん
20/05/02 10:52:06.88 saXlBmv+.net
>>501
黙って誤魔化してはいないよ。レポートは書いたから
だからそれを読んだ上でも厳しいな怪しいなってことが重要なんだよ
>>495みたいな厳密ちゃんはできるのならその上で擁護してみたらいいよ、擁護派か知らないけど
522:１３２人目の素数さん
20/05/02 10:54:06 saXlBmv+.net
>>504
いやその十分はできる範囲でという意味です
あれは決して適当な反論ではない
523:１３２人目の素数さん
20/05/02 10:56:59 KJG8arFn.net
@HigherGeometerもおなじ疑問だと思うんだよ。
遠アーベルなら本来は同一視できないものができたり、
反対になにかの差異が出てくる、と。
なるほどそういうのはありえるのかもしれないが、
@HigherGeometerも指摘しているように、
例えば代数スタックと代数幾何ひとつをあげてみても、
両者の差異から結論上の大きな差異はそんなに出てこない。
つまり数学というのは諸分野がそれぞれべつのことをやっているが、
大域的に同じものが同じでなかったり、違うものが同じにできたりすることは極めて稀。
それをたくさんあるかのように言ってるIUTにはすぐには同意できない、
というのは心情面だけでなく推論としてもわかる。
524:１３２人目の素数さん
20/05/02 11:03:40 +ZMZwUk8.net
>>507
＞本来は同一視できないものができたり、反対になにかの差異が出てくる
＞大域的に同じものが同じでなかったり、違うものが同じにできたりすることは極めて稀。
＞それをたくさんあるかのように言ってるIUTにはすぐには同意できない
ええ 逆に>>503でいう「基礎論のところ」がどういうものかわかりませんが
多くの人はあなたが指摘した望月氏の思考に特有の「癖」を問題視してると思います
525:１３２人目の素数さん
20/05/02 11:06:07 //ZYrmNR.net
>>503
基礎論で間違えてるって意見がこのスレでもあったけど、逆に間違えてると言った方が間違えてたよ
526:１３２人目の素数さん
20/05/02 11:08:23 KJG8arFn.net
>>509
ZFCGがZFCの保存的拡大じゃないってのは確定的な間違いだと思うが、
なにか反論があるの？ あったら教えてくれ。
527:１３２人目の素数さん
20/05/02 11:13:18 //ZYrmNR.net
>>510
そういうのもあったんだ
俺が見たのはIUT理論だと∈の無限降下列を完全に認めてるという意見だったから
ZFCGがZFCの保存拡大てのはこのスレでも何度か読んだことあるけど、具体的に論文のどこを指して、その誤った仮定は証明の中のどこで使われるの？
528:１３２人目の素数さん
20/05/02 11:14:07 tIiqoMxP.net
>>ID:+ZMZwUk8
とりあえずDRobertsというのは色々分かっていないので
明らかに無視ししてよいかと こういう奴に限って声はでかいんだよな
数学で議論しない人間は無視してよい
つまりおまえら
529:１３２人目の素数さん
20/05/02 11:16:56 KJG8arFn.net
>>511
わるいがじぶんで過去ログ探してくれ。
検索すりゃ出るよ。
530:１３２人目の素数さん
20/05/02 11:19:16 BLzaxjh3.net
ってか数学で議論することはSSレポートでつきてるでしょ。
つきてるんだから数学的な話は「証明になってない」で終わり。
そもそもSSレポートなんか出なくても理解者がいない時点で証明としては認められないんだし。
だから数学で議論すべきならこのスレで語ることはもうなにもないよ。
まだみんながあれこれ言ってるのは「じゃあなんで証明になってないことを
証明であると思い込んでるのか？」という心理的な部分なんじゃないの。
531:１３２人目の素数さん
20/05/02 11:19:37 +ZMZwUk8.net
>>512
>>498の質問１について
ID:tIiqoMxP氏は@HigherGeometerだと回答した、と、ここに記載
つきましては数学について全く初歩で恐縮ですが
>>498の質問２についても、ご回答いただけますでしょうか
「２．Zは、加法だけでmonoid（groupでもある）、加法と乗法でringであるが
Zを1-categoryだけでなく2-categoryとみなす簡単な方法はあるか？」
532:１３２人目の素数さん
20/05/02 11:20:15 Yd4GshiK.net
>>511
望月自身が無償でアップロードしてくれてるんだから自分で読もうぜ
一つ付け加えると証明に使われていなければ「自然数について1+2は3ではない」と書いてあっても間違いではない、ということにはならないだろう
533:１３２人目の素数さん
20/05/02 11:20:40 WM8/YLe6.net
ほんとうに証明になっていると思い込んでいるんだろうか？
じつは証明になっていないというのはみんな気づいてるのに、
なんらかの政治的事情で言えないだけなのでは？
534:１３２人目の素数さん
20/05/02 11:26:06 //ZYrmNR.net
>>513
過去ログ多すぎて無理だよ
535:１３２人目の素数さん
20/05/02 11:28:08 //ZYrmNR.net
>>516
あの長い論文から匿名の伝聞されまくった情報を探すの無理だよ
536:１３２人目の素数さん
20/05/02 11:30:04 /6th1tBT.net
そんなのZFCG,ZFC,IUTあたりでググったら出るじゃん
むしろ
＞俺が見たのはIUT理論だと∈の無限降下列を完全に認めてるという意見
これって否定派スレでコテハンがぐだぐだやってるだけの議論だろ
IUTとなにも関係がない
537:１３２人目の素数さん
20/05/02 11:32:46 tIiqoMxP.net
---Zは、加法だけでmonoid（groupでもある）、加法と乗法でringであるが
Zを1-categoryだけでなく2-categoryとみなす簡単な方法はあるか？
考えたことないけど簡単な方法は自分には思いつかない
数学でかきこむ奴がいないかぎり
つまり「＊＊がこういっているから怪しい」とか
「：：の弟子だから信用できる」などといったかきこみがつづく場合
538: このナンセンスなスレに俺が書き込むことはないでしょうｗ
539:１３２人目の素数さん
20/05/02 11:33:05 duh7zSB+.net
基礎論とか遠アーベル云々はおいておいて
証明がない
というのは厳然たる事実なのだから、話は本来的にはそこで終わってるんだよな
Dupuyもそんなのがあったら説明すると言ってるし、
DupuyはRIMSのメンバーよりよっぽどまとも
540:１３２人目の素数さん
20/05/02 11:42:48 +ZMZwUk8.net
>>521
了解しました
>>498の質問2について
ID:tIiqoMxP氏は以下の回答を返した、と記載
「考えたことないけど簡単な方法は自分には思いつかない」
541:１３２人目の素数さん
20/05/02 11:46:35 +ZMZwUk8.net
>>514
＞「じゃあなんで証明になってないことを証明であると思い込んでるのか？」
＞という心理的な部分
>>517
＞じつは証明になっていないというのはみんな気づいてるのに、
＞なんらかの政治的事情で言えないだけなのでは？
政治的事情については知りたいですね
玉川氏が「墓場まで持っていく」といったのはそこでしょうから
542:１３２人目の素数さん
20/05/02 11:50:44 5fgJIGwZ.net
RIMSは真面目に査読などしていないよ。
望月が裏工作しただけ。
否定的な意味で言ってるんではないよ。
そもそも論文の査読制度に欠陥があるんだよ。
「査読者」に何の得もないのに、真面目に査読する査読者なんて
どこのもいないよ。
当面はArXiv方式でしのいで、
１0年後はAI査読、
20年後は著者がAI
というのが、数学の未来だと思う。
543:１３２人目の素数さん
20/05/02 11:53:27 //ZYrmNR.net
>>520
ググったら出てきたよ、ありがとう
IVのP43のconservative extensionality" of ZFCG relative to ZFCのところか
ただ他の論文からもってきてるぽいし、間違ってるとしたら、8年間誰も指摘しなかったとは思えないんだけどなんでなんで今もその状態なんだろう？
544:１３２人目の素数さん
20/05/02 12:01:35 saXlBmv+.net
>>514
いやSSだけじゃさすがにあれ。望月レポート込みと、後ショルツのブログの初期コメントはSSの補足として必要
SSレポート自体はtautological inconsistentencyの話で、望月はそれを単純化として批判した
SSは単体では十分な反証ではない、というDupuyらの主張は正しいだろうが、要点は論争パッケージ込みでも
証明はされてないというSSの表題自体はやはり正しいだろうってことだな
個人的には上の誰かと同じで、スリムな遠アーベル圏で望月の狙いを実現できるかがそもそも怪しいと思うけど
できる、というのが望月予想として、逆にショルツは圏が狭すぎるのではないかと疑ってる感じだよね
勿論、とは言ってもそれがIUTの屋台骨なわけだから、簡単に修正できないって言い方になる
545:１３２人目の素数さん
20/05/02 12:03:03 +ZMZwUk8.net
>>525
＞そもそも論文の査読制度に欠陥があるんだよ。
それはそうだね
＞当面はarXiv方式でしのいで、
arXiv方式でいいんじゃない？
形式検証によるチェックが
10年や20年で実用化できるか
どうかは不透明
546:１３２人目の素数さん
20/05/02 12:03:57 saXlBmv+.net
>>523
Zを1圏ではなく2圏と見なす方法はありますよ
しかし簡単=シンプルとは言っても初等的ではないし、意地悪なので書きません
そしてそれが可能としてもそれだけでは望月レポートを正当化しません
547:１３２人目の素数さん
20/05/02 12:14:25 +18t+Y93.net
「墓場まで持っていく」発言の実際のところは、
査読を依頼した人にリジェクト勧告された上に査読を断られたことを無視したこととか、
そういう公にできない事情があるんだろう
本当に画期的な論文であるならばあるまじき行為だよ
548:１３２人目の素数さん
20/05/02 12:14:29 +ZMZwUk8.net
>>529
望月レポートとは無関係なのは承知しているので
単なる素人の質問ということで結構です
＞Zを2圏と見なす方法はありますよ
＞しかし簡単=シンプルとは言っても初等的ではないし、
あくまで素人考えですが
例えば、射に対してｎ回繰り返しの射を対応させる関手を射と考える、
とかですか？
549:１３２人目の素数さん
20/05/02 12:17:56 +ZMZwUk8.net
>>5
550:30 もっとdarkなことがあるかもしれないな 査読を引き受けた人に何らかの便宜供与をしたとか
551:１３２人目の素数さん
20/05/02 12:25:05.99 +18t+Y93.net
査読文化に詳しくないんだが、
もしリジェクトと言った人には一銭も支払われないがアクセプトOKと言った人にはお金を払う
といったことが行われていたら、それは不正行為になる？
552:１３２人目の素数さん
20/05/02 12:32:01.86 UEWfHW1N.net
ちょっと待って欲しいんだが、なんで
望月予想
とかいうでたらめな表現が出始めてるんだ？
予想っておおまかに正しそうな筋道が与えられてる場合でしょ
Cor3.12のどこにおおまかな根拠が書いてあるの？
553:１３２人目の素数さん
20/05/02 12:40:56.83 htQlK2b+.net
望月はショルツをレベル低すぎて相手にしてない
554:１３２人目の素数さん
20/05/02 12:46:30.56 0mnV/g9L.net
>>527
SSの反例に、望月は間違えであるとコメントとなるレポートを出したのだから、
反論のレポートを出すべきで、
例えば、実際にCor3.12を導く前の前提となっているANDとORを間違えて、
数式を単純化するのが誤りであれば、SSレポートが間違え。
単純化するのは誤りか否かについて、「SS側の単純化は正しい」と誰か証明しているの？
逆に、Dupuyやフェセンコや誤りと明確に述べている。査読者は両者のレポートは読んで判断している。
つまり「第３者が実名」で、SSレポートのギャップは問題ない、と表明している。
ところが「SS側の単純化は正しい」と、誰か実名を表明して、言い切っている人は誰か居るの？誰も居ないようだが。
シュルツは、望月のSSレポートが間違えとした事に対して、数学的に答える再反論をしてないし。
望月の反論のままで止まって居るのであれば、査読者も、望月も、それ以上の表明がなくても当然だよね。
単に「SS側の単純化が間違っている」という、既出の望月のコメントに問題ないなら、
記者会見で「問題がない」と表明でも、メッセージとして十分だと思う。
555:１３２人目の素数さん
20/05/02 12:55:11.68 +18t+Y93.net
ショルツのコメントなかなか強気だな
Woitはなんでコメントを閉じたんだよ
これからさらに面白くなりそうなのに
>Peter Scholze says:
>May 1, 2020 at 4:42 pm
>…
>Let me just make the following clarification regarding (1).
>You claim that you disproved some claim that I made in my manuscript with Stix,
>or some claim that I made in the current thread. This is wrong.
URLﾘﾝｸ(www.math.columbia.edu)
556:１３２人目の素数さん
20/05/02 13:15:19 IFaQ143n.net
>>536
もうこの手の数学の議論がディベートであるかのような話は飽きた。
もうちょっとマシな擁護を頼む。
あとDupuyはCor3.12が証明になっているという立場ではないので、
名前を出すのは不適当。
557:１３２人目の素数さん
20/05/02 13:16:39 /J6yD49c.net
Dupuy、いつの間にか「ギャップはもちろんあるよ、でもScholzeが言ってるギャップではないよ」
って話になってるから、援護射撃じゃなくて背後から撃ってたパターンだよな
558:１３２人目の素数さん
20/05/02 13:19:05 ccf2AUPX.net
もはや追分の定理じゃなくて、２,3人だけの定理になってないか？
559:１３２人目の素数さん
20/05/02 13:38:13 13Txlry5.net
Dupuyのスタンスが分らん
560:１３２人目の素数さん
20/05/02 13:44:43 /dFcTla2.net
W(Daniel Litt)とかいう助教は読み込めてないアンチという感じだな。
561:１３２人目の素数さん
20/05/02 13:45:24 ccf2AUPX.net
コロナで研究集会おじゃん, abc conjectureのwikiがブロック, woitのブログもclosed
もう諦めろっていう天の声が聞こえてきそう
562:１３２人目の素数さん
20/05/02 13:54:23
563:7rFsNYIK.net
564:１３２人目の素数さん
20/05/02 13:58:12 /J6yD49c.net
>>544
×合否不明
○ギャップは明らか
×誰かが論理の不備を指摘して、それで終わり
○そもそも証明が書かれていないので不備もなにもない
＞なんで8年もかかるのかが分からんちん…
RIMSがゴネてるから
565:１３２人目の素数さん
20/05/02 14:05:37 //ZYrmNR.net
>>544
俺の予想だと決着には後2年かかる
8年では足りず、10年は必要
望月先生の研究を真似すれば10年先取れると言った研究者がいたけれど、実際望月先生の研究を理解するには10年かかったみたいなジョークもあるらしいし、今回もきっとそうだろう
566:１３２人目の素数さん
20/05/02 14:16:13.39 0mnV/g9L.net
>>538
>>539
Dupuyは「SSレポートに関して」は「間違え」と言い切っているよね。
2004年8月の玉川 安騎男の講演会資料の、
「代数曲線の数論的基本群に関するGrothendieck予想，その後」で、
URLﾘﾝｸ(mathsoc.jp)
2012年のIUT以前に、望月自身が「絶対版は,p進局所体の絶対Galois群の非幾何的自己同型の存在により,成否が不明」
と考えていたことが明記されており、その頃で今シュルツが指摘したことは「乗り越えるギャップ」として、2008年の時点では意識して解決に取り組んだよね。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
[k:Qp]<∞に対する絶対版.
1.3で復習した通り,この場合の相対版は望月氏によって非常に強い形で解決されていますが,
絶対版は,p進局所体の絶対Galois群の非幾何的自己同型の存在により,成否が不明になっています.
これに関しては,望月氏の最近の研究[M4][M5][M6][M7]があります.筆者は,比較的安直に絶対版の成立を信じているのですが,
望月さんは,近年の彼のDiophantus幾何(abc予想など)への全く新しい圏論的アプローチなどをへて,どちらかというと不成立なのではないかと感じているようです
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
その難題のギャップは望月も玉川も理解し、これらギャップで構築できることで、
ＩＵＴ理論の仕組をつくり、今回の記者会見があるのだよね？
ショルツが「望月自身の相対版によりＩＵＴが自己矛盾する」とWoitブログで記しているけど、
それはＩＵＴ以前の、２００４年８月の望月の過去の見解なのだと思うが。
567:１３２人目の素数さん
20/05/02 14:22:43.22 0mnV/g9L.net
つまり今年は２０２０年だから、望月と玉川は、１６年ほど先行している。
568:１３２人目の素数さん
20/05/02 14:31:36.51 +ZMZwUk8.net
>>547
「間違え」じゃなく「間違い」ね
569:１３２人目の素数さん
20/05/02 14:34:58.62 +ZMZwUk8.net
>>536 >>547
それからシュルツではなくショルツね
570:１３２人目の素数さん
20/05/02 14:55:39.97 +ZMZwUk8.net
>>536
＞実際にCor3.12を導く前の前提となっているANDとORを間違えて、
＞数式を単純化するのが誤りであれば、SSレポートが間違え。
別スレッドの書き込み
2020/04/24(金) 09:32:51.95 ID:orcsTVam
＞Cor3.12単純化が間違えか否か、Cor3.11までの前提でANDをORで扱うべきでない
2020/05/01(金) 17:33:53.74 ID:LHYbnd6W
＞IUTで∧を∨を誤認した反例
＞Dupuyやフェセンコは、明確に「SSレポートの反例は間違え」と言い切っている。
ところで、望月氏のいう「ANDとORの取り違え」説って、
Dupuyや他の人に受け入れられてるの？
571:１３２人目の素数さん
20/05/02 15:08:01 /J6yD49c.net
>>547
DupuyはCor3.12は証明になっていないともはっきり言ってる。
つまりDupuyの立場は
abc予想の証明には失敗しているけど、IUTから絶対に証明できないとも言い切れない
というもの。
っていうかそもそもSSレポートがまちがいかどうかと、
Cor3.12が証明になっていないというのは別問題なので、
IUTか
572:Scholzeか、という二択は成立しない。 SSレポートなんかなくてもCor3.12が証明だと認めるひとは関係者以外にいないんだし。
573:１３２人目の素数さん
20/05/02 15:11:54 3fkvDiQ+.net
SSレポート以前からCor3.12はギャップだという話があって、
SSレポートの役割は具体的にどこが間違ってそうか、という話でしかないからね
比喩的にいうと、IUTからCor3.12への橋が見当たらない、というのが当初からの指摘で、
SSレポートはIUTからCor3.12へ橋をかけるのは不可能だ、という指摘
このふたつはぜんぜんちがうし、前のほうを否定している部外者はいないんじゃないの
Dupuyも前のほうは認めてるからね
574:１３２人目の素数さん
20/05/02 15:12:55 //ZYrmNR.net
DUPUYは証明になってないまでいってるんだっけ？
自分には証明を追えないくらいの論調だったと思うけど
575:１３２人目の素数さん
20/05/02 15:15:35 3fkvDiQ+.net
>>554
さすがに>>395まで言ってるから証明はあるけどじぶんに追えないだけという解釈は無理がある
576:１３２人目の素数さん
20/05/02 15:24:00 BFAmJJ8i.net
望月論文は明瞭に、つまり反証可能な形式で、書かれていない。
これは「少なくとも俺達3人には共通の見解だ」 by 天牌。
だからいくら議論したところで、mind reading (D)だの
if a lion could speak (R)といった話になってしまう。
そのうえで、Sの立場は望月理論は斯く解釈するよりほかなく、従って矛盾というものであり、
Dの立場は第一の断定に疑義あり、ただし自分には他の解釈を示すことができないというもの。
結局、Sの批判の正当性がどうであれ、議論を決着させるには誰かが「正しい解釈」を
きちんとした形式で提示する必要がある。
これについては望月本人も「理解者」も、論文の内容を繰り返す（＋SSに反論する、
たとえ話で講釈する）だけで世の中が納得するものを提示していない。
蛇足になるが世の中が納得できない理由を一つだけ：専門家の大多数が同じ個所で躓いている。
これは論文が難解だからとか斬新だからとかでは言い訳にならない。
577:１３２人目の素数さん
20/05/02 15:35:14.35 /dFcTla2.net
>>546
ワロタ
578:１３２人目の素数さん
20/05/02 15:42:47.63 +ZMZwUk8.net
Mブログ
『どうせ要は、最後の不等式を導くところで
「詐欺的な論法」で…すり替えているだけだろう』
自分でも詐欺って自覚してるのかな？
579:１３２人目の素数さん
20/05/02 17:05:04 K6CxUN1z.net
望月予想が生まれただけで価値があるんじゃないの？
それとも単なる妄想の産物？
580:１３２人目の素数さん
20/05/02 17:12:07 AVCQBDfw.net
むしろScholze-Stix予想なんじゃないかと思うんだが。
Cor3.12は成立しない、っていうかたちの否定的な形式の。
581:１３２人目の素数さん
20/05/02 17:17:17 +ZMZwUk8.net
Scholze&Stixは、Cor3.12が成立しない、とはいってない
Mochizukiの方法では導けない、といっている
582:１３２人目の素数さん
20/05/02 17:19:40 yYZab2QO.net
ならなおさらScholze-Stix予想だな
IUTからCor3.12を導出するステップは存在しない
これでしょ
しかも望月のあいまいな説明とはちがって反証可能なかたちで
書かれたペーパーがあるからSchoze-Stix予想と呼ぶほうが適切
583:１３２人目の素数さん
20/05/02 17:21:47 0mnV/g9L.net
>>551
>>552
＞ところで、望月氏のいう「ANDとORの取り違え」説って、
＞Dupuyや他の人に受け入れられてるの？
Dupuyは、4/3の下記のツイッターで、
Max Lieblichの「ScholzeとStixは、問題のCorollaryが間違っていることを示したのでは？」の問いに対して、
「彼らは（間違っていること）を示していない。彼らの主張は本当に本当に初歩的なものです。A !=BとA=Bを同時に存在するのと同じとするように。」
と答えている。
URLﾘﾝｸ(twitter.com) Dupuy
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Max Lieblich：
Didn't Scholze and Stix show that the Corollary in question is wrong?
Taylor Dupuy：
They did not. The assertion they made is
584: really really really elementary. Like its equivalent to A !=B and A=B at the same time. There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here. －－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－ だから>>547のように、 ＞Dupuyは「SSレポートに関して」は「間違え」と言い切っているよね。 と書いたのだが。 (deleted an unsolicited ad)
585:１３２人目の素数さん
20/05/02 17:23:50 LJ9zSrpb.net
>>563
ようするにDupuyはCor3.12の証明は今のところ存在しないけど、
それはSSが言っている意味で存在しないのではない、ってことでしょ
Dupuyは望月サイドにもSSサイドにもついてない第三勢力
586:１３２人目の素数さん
20/05/02 17:24:55 +ZMZwUk8.net
「IUTからCor3.12を導出するステップは存在しない」点については
Dupuyも「自分には証明が追えない」という言い方で同意している
587:１３２人目の素数さん
20/05/02 17:32:47 +ZMZwUk8.net
＞Like its equivalent to A !=B and A=B at the same time.
ScholzeとStixは、
「上記のように言っているのはMochizukiであって
我々はそれを目に見える形で示しただけ」
というだろうね
Dupuyが、Mochizukiはそんなことしてない、というなら
どのように回避したか示す必要があるが、できていない
ああ、それから、くどいけど、「間違え」じゃなく「間違い」ね
588:１３２人目の素数さん
20/05/02 17:40:59 +ZMZwUk8.net
Cor 3.12の証明に用いられるIUTを有用と認めていない点では
ScholzeもDupuyも同じ
ただ、Scholzeが積極的に問題点を指摘しようとしているのに対して
Dupuyがそれは独断に過ぎるといってるだけ
589:１３２人目の素数さん
20/05/02 17:49:42 +18t+Y93.net
どうでもいいが、日本語苦手な人が頑張って書いたみたいな文章は気になる
590:１３２人目の素数さん
20/05/02 18:01:15 EWYsgLw3.net
>>545 これが全て。
厄介なのは職やグラント、小銭稼ぎのために山師みたいな取り巻きがたくさん沸いちゃったこと。
誰一人ギャップを埋められないから国際的には相手にされていないけど、
日本では人間関係のしがらみと忖度文化でおかしなことになってる。
591:１３２人目の素数さん
20/05/02 18:16:31.06 +ZMZwUk8.net
>>568 私のことなら 相済まない
592:１３２人目の素数さん
20/05/02 18:49:53 DStt3MrK.net
間違いを間違えることはあっても間違いることはないな
文法的にうまく説明できないけど、どちらで書かれてもあまり気にならないな
気にならない日本人が過半数だともっとのんびり暮らせるんだろうなぁ
593:１３２人目の素数さん
20/05/02 19:08:56 +ZMZwUk8.net
本来は「間違える」じゃなくて「間違う」だと思う
594:１３２人目の素数さん
20/05/02 19:11:43 wYnQrwIA.net
のんびりしてる人は「そっかあ じゃあ間違いって書くかあ」ってなると思う
595:１３２人目の素数さん
20/05/02 19:17:40 +ZMZwUk8.net
活用の違い
間違う 間違える
間違わない 間違えない
間違います 間違えます
間違う 間違える
間違う時 間違える時
間違えれば 間違えれば
間違え 間違えろ
596:１３２人目の素数さん
20/05/02 19:39:51 6u8mXiFL.net
「間違えてる」は何と書けばいいでしょうか
597:１３２人目の素数さん
20/05/02 19:40:44.01 6u8mXiFL.net
>>575 訂正
×間違えてる
〇間違えている
598:１３２人目の素数さん
20/05/02 19:50:40.79 +ZMZwUk8.net
間違う 間違える
間違った 間違えた
間違っている 間違えている
599:１３２人目の素数さん
20/05/02 20:13:51.29 QRUCoNBA.net
>>556
それって、数学でも科学でも学問でもなく、宗教だということですかね。
無自覚でやっていたらな、勉強不足
意図的にやっているとしたら、ペテンだということですね。
600:１３２人目の素数さん
20/05/02 21:10:54 OWn2/IGn.net
3つのパターンがある。
正しい
間違っている
間違ってすらいない
601:１３２人目の素数さん
20/05/02 21:47:27 +18t+Y93.net
Not Even Wrong
602:１３２人目の素数さん
20/05/02 22:09:47.21 0mnV/g9L.net
>>566
＞ScholzeとStixは、
＞「上記のように言っているのはMochizukiであって
＞我々はそれを目に見える形で示しただけ」
＞というだろうね
SSレポートは、DupuyやFesenkoが誤っているとして、
２年間の査読延長と、玉川と柏原の両氏に「SSの指摘に問題ない」と、実名で断じられている。
ところが一方、SSレポートが正しいと支持した実名の数学者が誰
603:で、どのような論拠でしたでしょうか？ またScholzeが、Woitブログの4/6の冒頭の投稿にて、以下の主張を現在してますが、 ＞The reason it cannot work is a theorem of Mochizuki himself. ＞This states that a hyperbolic curve X over a -adic field K と「望月自身の定理で否定されると」主張してますけれども、 >>547のように、 ScholzeがWoitブログで主張した論点は、2012年のIUT以前の、2004年8月時点で 「非幾何的自己同型の存在により,成否が不明」と課題に考えていたギャップと同じですから。 このギャップを配慮した仕掛けをもつ理論がIUTならば、京都の議論で、自己同型の問題は考慮済と説明されますよね。 また2020年４月の雑誌掲載で、編集委員で記者会見した玉川氏には、この課題と理解について講演資料から分るので、 適当な審議で決定された等は、まず考え難い事ですよね。
604:１３２人目の素数さん
20/05/02 22:27:48 +ZMZwUk8.net
>>581
＞京都の議論で、自己同型の問題は考慮済と説明
望月氏は考慮しただけで全然説明できなかった これが現実かと思います
＞（雑誌掲載が）適当な審議で決定された等は、まず考え難い事ですよね。
それでは不適当な審議で決定されたとあなたは認めるんですね？ 0mnV/g9L
玉川氏が数論幾何の専門家でありながらIUTの正当性について
全く何も説明できないのは残念と言わざるを得ません
605:１３２人目の素数さん
20/05/02 22:33:49 +ZMZwUk8.net
Cor 3.12ことMochizuki's Inequalityは、
TheoremではなくConjectureというのが
現状だと言わざるを得ませんね
606:１３２人目の素数さん
20/05/02 22:39:11 0mnV/g9L.net
>>582
＞望月氏は考慮しただけで全然説明できなかった
⇔京都の議事録では、適切に説明していたようですが。
適当な審議で決定された等は考えられない。
⇔適切な審議な筈である。
607:１３２人目の素数さん
20/05/02 22:40:05 riR96p83.net
>>584
そこまでいうなら君がこの場で概略的に説明してくれる。
とりあえず説明があればみんな納得するんだよ。
608:１３２人目の素数さん
20/05/02 22:42:32 0mnV/g9L.net
>>583
その根拠は？SSレポート？
＞SSレポートが正しいと支持した実名の数学者が誰で、どのような論拠でしたでしょうか？
609:１３２人目の素数さん
20/05/02 22:45:34 +18t+Y93.net
まあ確かに適切な審議で決定されたと信じたいよね
でも疑われているのが現状なわけで
上にも書いたが、PRIMSは
査読を依頼した人にリジェクト勧告された上に査読を断られたことを無視しているからな
610:１３２人目の素数さん
20/05/02 22:46:13 wYnQrwIA.net
補題3.12の証明が出来ているのであれば、ギャップがあると言われればより詳細な証明を提供できる
ところが望月含め自称理解者たちは誰一人それが出来ない
これが大きいよね
611:１３２人目の素数さん
20/05/02 22:58:29 QRUCoNBA.net
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ
理解しろ、理解しろ、理解しろ、理解しろ、理解しろ、理解しろ
612:１３２人目の素数さん
20/05/02 23:05:56 0SDarXz5.net
修行しろ修行しろ修行しろ
613:１３２人目の素数さん
20/05/02 23:06:06 +18t+Y93.net
>>588
Corollaryなのに自明じゃなくて、いつの間にか約10ページの証明がつけられていて、
それでもなお理解できないってある意味すごいよね
614:１３２人目の素数さん
20/05/02 23:17:04 +18t+Y93.net
結局、IUTはIUTの中では正しいが、
それをよく知られた世界の理論に翻訳することには失敗したってことかな
「Cor 3.12 = 望月予想」の証明が理解できないって、そういうことだろ
615:１３２人目の素数さん
20/05/02 23:39:10.05 NOp8WnzJ.net
>>586
ショルツも納得できてないのだから、ダメでしょ
納得してない人多いよ
こんなのほんとに載せるの？
英語
2020年4月3日、日本の数学者2人が望月の主張する証明が望月が編集長である数理科学研究所（RIMS）の出版物に掲載されることを発表しました。
この発表は、キラン・ケドラヤとエドワード・フレンケルによって懐疑的に受け取られ、ネイチャーからは
「多くの研究者を望月のキャンプに移動させる可能性は低い」と説明された。
スペイン語
2012 年に 望月伸一は500ページを超えるデモを提案しましたが、2018年には他の数学者によって拒否されました。
フランス語
この推測のさまざまなデモンストレーションが主張されていますが、今日まで、数学的�
616:Rミュニティーによって受け入れられたものはありません。 韓国語 望月の証明が正しいのかは、まだ学界で論議がおきている。 特に論文の主要な争点を貫通する内部局所タイヒ・ミュラー定義の証明が込められた3.12の説明が短すぎる圧縮されており、これに対する論議が多い。 ポルトガル語 2012年8 月、数学者望月晋一[ 3 ]は、abc予想[ 4 ]のデモンストレーションを得たという深刻な主張を含む4つのシリーズの記事を発表しました。3年後の2015年、望月の証明は数学的な不確定さのままであり、より広いコミュニティによって否定も受け入れもされていません。 中国語 2018年8月、ピートシュルツェ氏とヤコブスティックス氏は、望月の証明紙の推論3.12が、最後の推論の行に修復不能な欠陥があることを証明したと指摘しました。 ドイツ語 2015年12月に別の5日間のワークショップを開催しました。しかし、その発行から6年たっても、ほとんどの専門家を説得できなかったため、 著名な数学者はその正しさを疑っています。
617:１３２人目の素数さん
20/05/02 23:58:58.27 K6CxUN1z.net
10年以上前から関係者はギャップを認識してたのに
その部分が明確じゃないってどういうことなんだろう
618:１３２人目の素数さん
20/05/03 00:05:30.31 mKCQpfk7.net
ギャップというのは論証がないことだから、
そもそも明確になるほうが稀では。
619:１３２人目の素数さん
20/05/03 00:07:14.98 mKCQpfk7.net
例えばフェルマー自身のフェルマー予想の証明はギャップがあるけど、
そのギャップを明確化するのはできないよね（明確化できる＝フェルマー予想解決なんだから）。
620:１３２人目の素数さん
20/05/03 00:19:49.18 04epL35S.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
621:１３２人目の素数さん
20/05/03 00:21:32.43 iC7xjMXi.net
>>535
もっと言うと「望月とその周辺」だな
622:１３２人目の素数さん
20/05/03 00:21:43.58 Pl+PU1BX.net
あってる。
623:１３２人目の素数さん
20/05/03 01:18:38.75 bqaIyPqZ.net
限定宇宙際タイヒミューラー理論と名付けるはどうだろうか。
まあ、地域限定のうまい棒みたいなもんだけど。
624:１３２人目の素数さん
20/05/03 01:22:19.03 W7JjUhjN.net
>>591
GOのサーベイは出てるよ。
Cor3.12は、Cor3.12以前に Theorem 3.11.があり、
Theorem 3.11.は、 IUT I～Ⅲが前提で、 IUT I～ⅢはIUTの準備論文からで、
証明するとなると、Cor3.12より前広で、それはGOのサーベイだな。
625:１３２人目の素数さん
20/05/03 08:29:08.49 C7zEdcwk.net
このままじゃ南堂久史と何も変わらん
カルトの怪しい教義か誇大妄想
626:１３２人目の素数さん
20/05/03 11:56:52 QRkFmCqL.net
URLﾘﾝｸ(digital.asahi.com)
627:１３２人目の素数さん
20/05/03 12:05:24 XCPS70lS.net
>>603
＞論文は、国際的な専門誌が7年半かけて検証し、正しいと認めたものの、
＞一部の数学者は納得していない。
身内査読で無理やり通そうとしたものの、外部で納得している数学者はいない、の間違いですね
628:１３２人目の素数さん
20/05/03 12:23:28 bqaIyPqZ.net
朝日がやたらごり押しなのよね。特に数学が得意なマスコミとは思えんけど。
他は様子見
日経は海外雑誌を扱っている関係上、否定ポ�
629:Wションｗ
630:１３２人目の素数さん
20/05/03 12:24:45 QRkFmCqL.net
「当の望月教授はどう考えているのか。取材を拒み、会見にも現れなかった望月教授だが、
メディア向けの解説文でIUT理論を計算機のプログラムに例えて説明した。
「個々の行は単純な優しい内容だが、何万行、何十万行からなるプログラムを
解読するように、順を追って解読する忍耐が要求されます」
ショルツはそこにバグを見つけて、プログラムは結局動いていない、というたとえなんですね
631:１３２人目の素数さん
20/05/03 12:33:26 cxdwLTb+.net
>>605
上げて落とすのはマスコミの基本
632:１３２人目の素数さん
20/05/03 12:34:52 1CbHMDHW.net
>>605
今日の記事には疑惑があるって報道している>朝日
ニュートン誌はどんな内容の報道だったのだろう？
633:１３２人目の素数さん
20/05/03 12:39:30 eLbS+Qei.net
玉川も越川も山下も星ももちろん望月自身やその院生にも、Scholze-Stixの反論論文は単純化を過ぎたことによる初歩的な誤りを犯している、と嘲笑してるし、望月はそれを事細かに反論論文で窘めている。
ちなみに。越川も玉川もIUTは途中まで理解してるけど完全理解していない。
634:１３２人目の素数さん
20/05/03 12:40:56 rWugk2KA.net
URLﾘﾝｸ(www.newscientist.com)
"Opinion has definitely shifted toward the view that the proof is flawed since the letters from Scholze and Stix in 2018,"
says Andrew Booker at the University of Bristol, UK.
"It’s obviously bad for the [number theory] community if the result is declared a theorem in some circles but not others."
このへんか。アンドリュー・ブッカーさんはどのくらいエライんだろうな。ブンゲンさんくらいのケースもありうるからなぁ
635:１３２人目の素数さん
20/05/03 12:47:24 ZP+XVLae.net
>>603
石倉徹也って今までIUTに好意的な記事書いてた記者だよな
朝日の記者すらIUTを見切ったか
636:１３２人目の素数さん
20/05/03 12:51:49 XCPS70lS.net
とりあえず「初歩的なミス」って言い方はやめたほうがいいよ。
初歩的っていうのは少なくとも学部生が勉強すればわかるというレベルに使うもので、
現状を初歩的と呼ぶのは無理。
ほんとに初歩的だというのならCor3.12を理解した学部生を実際につれてこないと。
637:１３２人目の素数さん
20/05/03 13:05:09.92 cxdwLTb+.net
なんかよくわかんないけど、Cor 3.12は正しいって望月先生が言ってました！
638:１３２人目の素数さん
20/05/03 13:23:30 04epL35S.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
639:１３２人目の素数さん
20/05/03 13:25:47 3KQJ/IMs.net
なんかよくわかんないけど、Cor 3.12は間違いってショルツ先生が言ってました！
640:１３２人目の素数さん
20/05/03 13:27:53 T32yPR3v.net
朝日はなんでこのタイミングなんだろうね
641:１３２人目の素数さん
20/05/03 13:34:50 4BTo3erM.net
望月教授とその一巻はずっと必死でギャツプ埋めようとしてるんじゃないの？
めどが立つまで沈黙とか
642:１３２人目の素数さん
20/05/03 14:01:55 vVCZgnBw.net
>>607
＞上げて落とすのはマスコミの基本
騒ぎになるほうが記事が売れるからね
でも最初に2017年にアクセプトの件で
朝日に情報流したのは誰だろう？
643:１３２人目の素数さん
20/05/03 14:05:17 vVCZgnBw.net
>>609
＞越川も玉川もIUTは途中まで理解してるけど
具体的にどこまで？
まさか、Cor 3.12の前まで、なんていわないですよね？
644:１３２人目の素数さん
20/05/03 14:27:28 bqaIyPqZ.net
数学に詳しくない文化部の記者が、ノーベル賞3つ分という言葉に踊らされたということでしょう。
特ダネだと思ったら、踊らされていただけと。
645:１３２人目の素数さん
20/05/03 14:30:41 K1
646:chhnqP.net
647:１３２人目の素数さん
20/05/03 14:33:13.86 mxBmFSb2.net
こんな末路でIUTを応援する人がいることが驚きだが、応援スレが隔離として機能してるのは流石だな
648:１３２人目の素数さん
20/05/03 14:44:19.76 bqaIyPqZ.net
プロセスがおかしい時は、中身がおかしい
これ古代ギリシャからの古典的なチェック方法なんだけどね。
649:１３２人目の素数さん
20/05/03 14:57:19 vVCZgnBw.net
＞プロセスがおかしい時は、中身がおかしい
そんな名言があるんですか？
誰が言ったか教えてもらえますか
同様の事例があったら、口にして自慢したいのでｗ
650:１３２人目の素数さん
20/05/03 15:00:25 vVCZgnBw.net
>>621
＞大学改革支援・学位授与機構
なんか胡散臭そうな名前の機関ですねｗ
結局「成果上げてます！」っていいたいためにIUTを利用したわけね
でも大失敗だったね
651:１３２人目の素数さん
20/05/03 15:04:03 FXxqx7yw.net
ABC予想の証明はありまぁす
652:１３２人目の素数さん
20/05/03 15:13:24 SSTHgT6i.net
"If you find a process wrong, the contents is wrong."
英語にすると名言ぽく聞こえるかもしれない
653:１３２人目の素数さん
20/05/03 15:17:23 mxBmFSb2.net
数学する精神 正しさの創造、美しさの発見
加藤文元 著
増補版が出るらしいが、昔投げたブーメランを投げ直していくのは流石だな
654:１３２人目の素数さん
20/05/03 15:18:32 nx79eFIr.net
正しさの創造…？
655:１３２人目の素数さん
20/05/03 15:20:41 SSTHgT6i.net
私が定理だ！
656:１３２人目の素数さん
20/05/03 15:22:17 mxBmFSb2.net
正しさの創造ってそういうことかぁ……
657:１３２人目の素数さん
20/05/03 15:27:57 vVCZgnBw.net
ルイ１４世 「朕は国家なり」
二出川延明 「俺がルールブックだ」
望月新一 「私が定理だ」
658:１３２人目の素数さん
20/05/03 15:35:10 MAAXTS1W.net
>>628
ぶんげんのTwitterあるんだし本当にそう思ってるなら直接言えばいいんじゃね？
どうせ言えないチキンなんだろうけど
659:１３２人目の素数さん
20/05/03 15:36:37 mxBmFSb2.net
>>633
ツイッターのアカウント持ってない
660:１３２人目の素数さん
20/05/03 15:39:18 MAAXTS1W.net
>>634
なんだよ、やっぱチキンじゃん
アカウント持ってねえとかいう超つまらん言い訳するし
661:１３２人目の素数さん
20/05/03 15:44:03 9jUO25pO.net
>>627
ワロタw
662:１３２人目の素数さん
20/05/03 16:09:56 vVCZgnBw.net
>>633
だれか今日の朝日新聞�
663:ﾌ記事、ツイッターで文元氏に教えてあげて
664:１３２人目の素数さん
20/05/03 16:34:16 8T2W0o3/.net
>>625
先ず日本学術振興会がIUTの評価を改変
した。
(その後 RIMSが大学改革支援
学位授与機構へ「査読中に」「abc予想が解決した」と報告した。>>621)
日本学術振興会課長はGCOEの
経過後をフォローしないと言明した
が、一方で京大G08について事後評価結果になかったIUTを持ち出しG08事後評価結果を改変した
↓
平成27年5月13日
中央教育審議会大学分科会大学院部会
・資料5 独立行政法人日本学術振興会 グローバルCOEプログラム委員会
事務局
研究成果例 G08 京都大学 数学のトップリーダーの育成
宇宙際タイヒミュラー理論
-数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いる
ことによってabc予想と呼ばれる
数論の難問が解決することが2012年
に発表 された。
日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも大きな話題 を提供
している。
宇宙際タイヒミュラー理論は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その解説や応用には多くの若手研究者が関与している。
掲載論文等Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I
URLﾘﾝｸ(warp.ndl.go.jp)
665:１３２人目の素数さん
20/05/03 16:46:40 SSTHgT6i.net
>>637
twitterでabc予想を検索すれば話題のツイートのトップにデジタル版の記事が出てくる
あまり芳しくない流れだ
666:１３２人目の素数さん
20/05/03 16:59:12.08 0Fz9wXQs.net
ショルツェの写真がさわやかでかっこよすぎて辛い
なんでカメラ目線なん？
667:１３２人目の素数さん
20/05/03 17:05:13.01 KS4vWzQn.net
>>620
その発言の何年も前から暴走してるのだが？
いい加減なことは言わないように
668:１３２人目の素数さん
20/05/03 17:12:39.24 QRkFmCqL.net
>>640
wikipediaの写真も差し替わってる
URLﾘﾝｸ(ja.wikipedia.org)
669:１３２人目の素数さん
20/05/03 18:17:42 0Fz9wXQs.net
>>642
もっちーの息子でもおかしくない若さなんだよなぁ
てか読み方もペーターショルツェになったんだな
670:１３２人目の素数さん
20/05/03 18:37:24 ngNo6zlZ.net
>>603
朝日の手のひら返しキターーーーーー
石倉も数学版のｽﾚ読んでさすがに現状を認識し始めたかなｗ
数学版はだいぶ前から懐疑派が優勢だった。
671:１３２人目の素数さん
20/05/03 19:21:47 SSTHgT6i.net
>>644
一般の読者が忘れかけてるちょうど一か月後に記事を出すというのが怪しい
最初からスケジュールが決まっていて来月の頭には逮捕の記事が出るんじゃないかと心配だ
「私が定理だ」天才数学者の傲慢
日本数学界の番人PRIMS査読者の素顔
みたいなあることないこと書かれた電車の中吊り広告が目に浮かぶようだ
672:１３２人目の素数さん
20/05/03 19:29:42 glKir0sh.net
>>644
石倉なんてjinと並んで何にもわかってないくせにすごいすごい言い続けてきた大馬鹿
今更手のひら返したって遅い
673:１３２人目の素数さん
20/05/03 19:32:04 0Fz9wXQs.net
>>645
私が定理だ
じわじわくるな
思ってそう故に�
674:c
675:１３２人目の素数さん
20/05/03 19:55:35 bqaIyPqZ.net
URLﾘﾝｸ(www.nicovideo.jp)
676:１３２人目の素数さん
20/05/03 20:44:34 eo2IFnid.net
ツイッターとか5ちゃんねるの反応見てると、本当にアジア人とか日本人差別だと思ってる人いてショルツがかわいそうだな
そもそも日本人の森重文に招待されて来てることとか全く知らないんだろうな
677:１３２人目の素数さん
20/05/03 20:46:31 JJGoUYfc.net
>>649
お願いされて来たわけだからね。
SSレポート書いたのも依頼があったからなわけだし。
678:１３２人目の素数さん
20/05/03 20:46:45 euUxmyZb.net
実際米の大学もアジア人差別キツいからな
今回は差別とは別問題だが
679:１３２人目の素数さん
20/05/03 20:49:07 1sxf+TnH.net
最新の調査では、
186
174
199
87
45
24
170
合計
885ページ
となっているようだ。
680:１３２人目の素数さん
20/05/03 20:52:23.76 8T2W0o3/.net
>>651
南部陽一郎シカゴ大教授は
素粒子の預言者ヨハネと尊敬された。
能力の問題だな
681:１３２人目の素数さん
20/05/03 20:53:42.90 eo2IFnid.net
>>650
アジア人に差別意識あるならお願いされても断るに決まってるわな
682:１３２人目の素数さん
20/05/03 20:53:43.68 yEF5d5ii.net
まあ日本人がドイツ人に指摘してもらっただけでも感謝しないとな
本来は劣等人種なんだから。ヨーロッパ行くと有色人種の扱いにショックを受けるよ
683:１３２人目の素数さん
20/05/03 20:58:53.73 JJGoUYfc.net
>>654
この件って中国やインドの数学者から賛同があるわけじゃないんで、
アジア人と欧米人の対立に持ってくのは単に見当違いだからね。
684:１３２人目の素数さん
20/05/03 20:59:19.22 Wpawvq+b.net
もっちーは半アメリカンなんだから、ど日本人よりはマシ(ヨーロッパ的に)
プリンストン飛び級卒というご立派な学歴もあるし
ショルツェは若いんだからリベラルでそのようなコテコテの差別するとは思えないな(しらんけど)
685:１３２人目の素数さん
20/05/03 20:59:33.34 JJGoUYfc.net
さらに言えば日本人の賛同があるわけですらないんだから。
686:１３２人目の素数さん
20/05/03 21:00:00.66 Pl+PU1BX.net
どんだけ馬鹿なのよ君達は
687:１３２人目の素数さん
20/05/03 21:02:00.48 JhcxNB+D.net
日本語で書けよ
そしたら読んでやる
俺は英語が読めない
688:１３２人目の素数さん
20/05/03 21:23:15 JS4Kfs0C.net
>>645
その記者、掌返ししたのはモッチーのスキャンダル掴んでるとかだったりしてね
689:１３２人目の素数さん
20/05/03 21:28:27 SSTHgT6i.net
>>659
今回の新型コロナは脳にも感染して回復しても後遺症があるらしいよ
頭で飯食ってる人たちはご愁傷さまかも
690:１３２人目の素数さん
20/05/03 21:29:18 tXiHBu3V.net
そんなこと信じてる頭がご愁傷さまｗ
691:１３２人目の素数さん
20/05/03 21:44:39.66 vVCZgnBw.net
>>657
＞半アメリカンなんだから、ど日本人よりはマシ(ヨーロッパ的に)
＞プリンストン飛び級卒というご立派な学歴もあるし
それ、望月氏には云わないほうがいいよ
ブログ読めばわかるけど 欧米を憎悪してるみたいだから
特にユダヤ系は禁句じゃないかな（実は母方がユダヤ系）
692:１３２人目の素数さん
20/05/03 21:57:50 tXiHBu3V.net
別に憎悪というほどではないでしょう。
「おれは東京人だ。関西人は人間じゃない」とか
「おれはアイヌだ。大和人なんか大嫌いだ」
とかいうのと大差ないｗ
693:１３２人目の素数さん
20/05/03 22:41:26.04 vVCZgnBw.net
5chでくだけた口調で冗談いうのと、
ブログで真面目な文章として書くのは
全然重みが違いますけどね
694:１３２人目の素数さん
20/05/03 22:41:26.51 OyjP5JIf.net
>>655
日本語で日本人を差別するな
何人かは知らないが
695:１３２人目の素数さん
20/05/03 22:42:02.88 4BTo3erM.net
コロナより長引きそうやな
696:１３２人目の素数さん
20/05/03 22:44:08.50 vVCZgnBw.net
>>655
＞ヨーロッパ行くと有色人種の扱いにショックを受けるよ
日本では「ガイジン」といって人間あつかい�
697:ｳれないので同じだろう どこでも排他的な異常人格者はいる 困ったものだ
698:１３２人目の素数さん
20/05/03 22:51:43.45 0Fz9wXQs.net
>>665
もっちにおける欧米人のアジアンへの根本的侮蔑は、東京人が地方にたいして無意識にやってるそれに似てるかもしれませんな
半東京、半関西でうまれ、東京に転校して関西弁をからかわらていじめぬかれたら、とおもうともっちの気持ち、わかるかも
東京人からみたら関西だろうが四国だろうが区別つかないでしょうからな
699:１３２人目の素数さん
20/05/03 22:57:15.99 A2WT8stB.net
>>644 この人物に一方的な情報を吹き込んでいる輩がいるんだよな。
何年か前のアクセプト報道といい、中身なく既成事実を作ろうとする政治屋のやり方。
それなりの人脈のある人が本気で調べれば、このIUT奇談の黒幕が誰か、明らかにできるだろうね。
おれの勘ではもっちもブンゲソもゴーも踊らされている側だと思うw
700:１３２人目の素数さん
20/05/03 22:58:07.11 tXiHBu3V.net
>>665はわたしが言った文言ではなくて
もっちが欧米ヘイトだと言ってるひとが言ったことです。
お酒も飲めないのにアイヌとか笑ってしまいますがｗ
全国酒豪マップ
URLﾘﾝｸ(style.nikkei.com)
701:１３２人目の素数さん
20/05/03 23:02:47.54 vVCZgnBw.net
>>670
差別されてるから認められないと思ってるなら誤解ですけどね
数学で業績あげて認められる日本人は沢山います
ついでにいうと東京人は大体よそ者ばかりです
明治時代から代々東京なんて人は珍しいです
702:１３２人目の素数さん
20/05/03 23:04:58.24 vVCZgnBw.net
>>672
精神科で診て貰ったほうがいいですね
703:１３２人目の素数さん
20/05/03 23:12:46 SaOvUlLu.net
結局どうなったん？
704:１３２人目の素数さん
20/05/03 23:18:16 GcNUENVW.net
>>671
朝日だから手のひら返しはないね、
共に京大工学部出身で日本学術振興会役員だった松本綋元京大総長と野依良治元理研理事長にはインタビューをしない。
望月新一氏ならブログでアクセプトは
まだか？
内部告発するぞーと罵倒して
いたが自業自得
705:１３２人目の素数さん
20/05/03 23:19:06 cxdwLTb+.net
Woitブログのコメント欄が閉じられて新しい情報が入ってこないとつまらんな
706:１３２人目の素数さん
20/05/03 23:20:28 JJGoUYfc.net
というか朝日を非難してる声が多いけど、
IUTがacceptされますって内部リーク受けてそれを疑う記者っているか？
さすがに今回は海外メディアが懐疑的だからうたがえるけど、
2018年の段階だとむずかしいと思うんだが。
707:１３２人目の素数さん
20/05/03 23:22:00 GcNUENVW.net
査読の話にはわらった
708:１３２人目の素数さん
20/05/03 23:32:15 QRkFmCqL.net
玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
毎日新聞2020年4月3日
この人なのでしょう
709:１３２人目の素数さん
20/05/03 23:44:25 Vgpr5gId.net
>>680
そうなんだ。
こうなると、望月先生も「やっぱり、間違っていました」などと、
言えない雰囲気なんだろうね。
みんなが幸せになる方法はないのかね。
710:１３２人目の素数さん
20/05/04 00:13:54 2UDnodF0.net
誰が些細になるのか
711:１３２人目の素数さん
20/05/04 00:52:48 XBGxFPW5.net
こうなると証明ではなくして、少し後退させた予想とかプログラムとかの
712:名前にして書き直すしかないかもしれないです
713:１３２人目の素数さん
20/05/04 01:50:56 iSpiOGb3.net
>>671
そしてその犯人はこのスレにいる
714:１３２人目の素数さん
20/05/04 02:38:14.87 jDRWX2Ph.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
715:１３２人目の素数さん
20/05/04 03:34:10 +JXEltP2.net
いや万一駄目になっても
強い言葉でもち先生への非難を続けるのは
良心を無くした我々ぐらいのもので
案外チマタの人は優しいんじゃないんかね
716:１３２人目の素数さん
20/05/04 03:58:35 Qo9HyWoQ.net
望月がかなり優秀な数学者なのはそのままだしな
アティやみたいなもん
717:１３２人目の素数さん
20/05/04 06:56:07 btfxD0+Q.net
そしてその優しさは、プロには堪える
718:１３２人目の素数さん
20/05/04 08:06:48 KSUc0Als.net
将棋の羽生さんだって40台になったら無冠になった。
どんな天才でも衰えというのはやってくる。
望月さんにも言えることよ。
719:１３２人目の素数さん
20/05/04 08:40:33 UUeSl+fv.net
>>678
直後に加藤和也先生のレクチャーノート
があったよ。
アクセプトは延期された、self.evident
の件、結局は我が道を行くでした。
一方最近でも朝日の記者が「いちからわかる」でアクセプトされたIUT論文を
礼讃していたけど、
さっぱりわからなかった
720:１３２人目の素数さん
20/05/04 08:51:19.01 UUeSl+fv.net
天才は「abc予想の証明に近づく基本的
なアイデア」を持つ人と思います。
念のため
721:１３２人目の素数さん
20/05/04 09:40:35 ncpDqOGk.net
次スレ いまからテンプレ入れるよ（＾＾
Inter-universal geometry と ABC予想 (応援スレ) 45
ｽﾚﾘﾝｸ(math板)
722:１３２人目の素数さん
20/05/04 09:44:30 ncpDqOGk.net
>>692
誤爆すまん（＾＾；
723:１３２人目の素数さん
20/05/04 10:33:05 o6jAd1yY.net
「私が定理だ」
一度でいいから使ってみたいwww
724:１３２人目の素数さん
20/05/04 10:38:09 UUeSl+fv.net
>>684
いったいmath jinは何者？
725:１３２人目の素数さん
20/05/04 10:49:21 XtadQjr8.net
誰でも間違いはあるもんで、望月が悪いというよりは望月を利用して祭り上げた人がいるような気はするよね
まあ望月自身の態度も良くはないが
726:１３２人目の素数さん
20/05/04 10:59:14.13 penZM46m.net
なんで間違い前提でレスしてるんですかねぇ。。
727:１３２人目の素数さん
20/05/04 11:03:09.35 mY0Ns3T3.net
>>697みたいな書き方するやつがmath_jin
728:１３２人目の素数さん
20/05/04 11:06:25.15 XtadQjr8.net
証明できたと本人は思ってるけど証明出来てないっていうのは学部生のテストの回答でもよくある間違い
729:１３２人目の素数さん
20/05/04 11:11:38 e5+3zDl9.net
>>664
望月氏に限らないよ
イギリス人でリベラルなはずの都市部出身者でも、英国大手マスコミ勤めの父方(ユダヤ系と思しき)の家系話でさえタブーだったんだから。
パッと見でアジア人丸出しなら、推して知るべし。
気付かないなら、相手もされてないからなんだろ。
接点無きゃハブられてんのも気付かんやろ。
730:１３２人目の素数さん
20/05/04 11:19:29 SA52hFNm.net
人種問題に絡めたいバカは最初期のほうでタオも疑義を呈したってことをすこしは考慮しような
731:１３２人目の素数さん
20/05/04 11:21:46 XtadQjr8.net
ヨーロッパ人に差別意識がある人がいるのは当然だが間違いない
多いか少ないかは知らん
ただこれはIUTには全く関係がない
なぜなら少なくともショルツは差別意識で数学的結果を否定するような人間には見えないから
他の人がどうかなんて一切無関係
732:１３２人目の素数さん
20/05/04 11:29:27.00 2UDnodF0.net
単純に望月と取り巻きが説明責任を果たしていないのが問題。
陰謀
733:論唱えてる暇があるなら明確な説明を与えろよ。 Corollary 3.12は現時点で証明と言える代物じゃなく、 単なる望月サンの個人的展望(願望)でしかない。 こんなものを正しいと言い張ったあげく強行アクセプトなんて言語道断、 数学への冒涜だ。
734:１３２人目の素数さん
20/05/04 11:49:32 Tby3ZZlO.net
>>703
RIMS主催で大規模なワークショップ予定してたりしたろ。
残念ながらコロナで中止になったが、説明が欲しいなら参加くらいはすべきじゃないか？
735:１３２人目の素数さん
20/05/04 11:52:50 e5+3zDl9.net
“IUTTの提唱者がアジア系な為に不当な人種差別により理論が受け容れられ難くなっている”かどうかに言及したつもりはないです。
「事実として少なくとも
『イギリスでも未だに
“ユダヤ系出自かどうか？”
でさえ、話題として出すのもタブーである』
というのが現実です」
という実態を述べた迄です。
前述の方は、母方が医師の家系の日本人だったので、少し望月先生に似た境遇で育ってるかな？と、先生のご心情に似た感情が垣間見えていたのを思い起こしました。
国際結婚されたご両親のもとに育った方や、異国で暮らす方々の辛さに同情を感じる、というの事です。
736:１３２人目の素数さん
20/05/04 11:56:21 o6jAd1yY.net
>>702
Stixもそうね。玉川や望月を半分はリスペクトしてるだろうからね
737:１３２人目の素数さん
20/05/04 12:01:17 SA52hFNm.net
>>705
だったらIUTと無関係だから別スレでやれ
738:１３２人目の素数さん
20/05/04 12:24:32.12 CQGqlIk5.net
ドイツはホロコーストやってしまったからユダヤ系に対しては非常に慎重なはず
少なくとも表だって差別なんてできないくらい、徹底的に教育されてるだろ
日本とは同じ敗戦国で気質も似てるし
日本の若者だって昭和と平成じゃ人への優しさは段違い、ショルツェみたいな有能、知識階級が日本人、ユダヤの系譜を持つMさんを差別するなんて考えられないな
というかMのmotherがユダヤ系とかどこソース？
739:１３２人目の素数さん
20/05/04 12:40:37.06 Rg5gurR/.net
>>704
例の加藤文元本が公式本のワークショップだろ。
フェセンコが熱望している英訳はまだか？
740:１３２人目の素数さん
20/05/04 13:09:37.91 2UDnodF0.net
レトリックだけの無内容本
741:１３２人目の素数さん
20/05/04 13:31:46.70 SLLMf89B.net
とりあえずRIMSはDupuyを京都に招いて説明こころみたら？
もし正しいんなら理解してくれるかもよ
742:１３２人目の素数さん
20/05/04 13:35:24.61 Rg5gurR/.net
math jinがDupuyを呼ぶのか？
743:１３２人目の素数さん
20/05/04 14:02:22.59 Tp3a9Fy/.net
>>711
今年何回も来るよ。
744:１３２人目の素数さん
20/05/04 14:04:05.74 EseFCdDN.net
論文の総ページ数が18000を超えるとグロタンディーク宇宙を超えられるのかな？
745:１３２人目の素数さん
20/05/04 14:05:12.56 Tp3a9Fy/.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
746:１３２人目の素数さん
20/05/04 14:14:29.92 ccq8jXHp.net
RIMS側も馬鹿ばっかりというわけではないだろうから、
この流れは想定内なのだと思う。
望月をもうすこしピンチの状態に貶めて、
悲劇の主人公を演じさせる計画なんだろう。
そいて最後の最後にCor3.12の正しい証明を出すつもりだろうね。
ガリレオとかガロアみたいな伝説を作りたいでは？
いまごろ、ドラマティックな演出を考えているんじゃあないのかな。
ショルツの靴を舐めさせられるとか、
数学をやめてキノコ狩りをするとか
自信満々ならば誰だって、演出を考えるよ。
747:１３２人目の素数さん
20/05/04 14:18:20.81 iSpiOGb3.net
>>715
何だこの昭和感あるサイトは
もっちーのサイトと同じじゃねーか
748:１３２人目の素数さん
20/05/04 14:24:37.05 EseFCdDN.net
普通の文章量の論文は1本51ページくらいなんだろうな。
そうすると少なくとも350本以上書かないと18000ページに到達しない。
よっぽど数学が好きじゃないと無理だな。
749:１３２人目の素数さん
20/05/04 14:28:23 RVNHN8jm.net
>>717
昭和にはさすがにこんなのなかった…って思ったけど
ものすごくあふれる20世紀感
750:１３２人目の素数さん
20/05/04 14:53:56 IfctuXll.net
>>703
もっと具体的に批判した方が良いのでは？
どこの段階が証明になってないとか。
ショルツの指摘も端折りすぎなんでしょ？
冒涜とまで言うほど読めているなら、
もっと具体的に指摘した方が良いんじゃないの？
751:１３２人目の素数さん
20/05/04 15:06:05 SA52hFNm.net
>>720
それもう何回も議論がループしてるが、
証明するやつに証明したことを示す責任がある
のであって、証明できてないことの証明なんて必要ない。
Scholzeたちは好意でわざわざ「こうなんじゃないか？」と指摘しただけで、
本来的にはあのレポートすら必要なかった。
752:１３２人目の素数さん
20/05/04 15:21:55.82 2UDnodF0.net
そうやって逃げるよう取り巻きどもは口裏でも合わせてるのかね。
リーマン予想は自明だったわ。証明は自明。
↑現状Cor. 3.12はこれ以上のものじゃないので、具体的指摘もクソもないわけ。
強いて言えば「証明として成立してない」が具体的な欠陥の指摘だな。
753:１３２人目の素数さん
20/05/04 15:30:09.35 8k+TFNhS.net
ほっとけ頭が弱い連中にあわせる必要ない
754:BLACKX
20/05/04 16:23:25.55 c44F7jot.net
>>723
どちらの陣営もそう思って居るようだが
755:粋蕎 ◆C2UdlLHDRI
20/05/04 17:26:33 5fT1c3ml.net
>>701
其れで何を否定的証明できた積もりでいるん？タオの生活を全部監視しとるん？
タオが陰で日本人を「小日本鬼子」と呼んでたりは絶対にないん？
>>708
ドイツにも本音と建前、表の顔と裏の顔が有るじゃろ。其れともアンタはSSの生活を全部監視しとるん？
望月氏当人からしてコンプレックスの気配あり｡
皆、腹ん中で嫌疑しあう冷戦状態なんか知れんのう｡
756:１３２人目の素数さん
20/05/04 19:35:54 UUeSl+fv.net
IUTはRIMSが自画自賛.予定調和の
論文アクセプトなどで予算獲得のみならず、米国も英国も予算獲得の手段みたい
だな、役立たずの「大予言」も聞き飽きたけど。
数理解析なら感染症数理モデルチームへ
予算をつけたらよかろうに
予測の精度が向上するわ
757:１３２人目の素数さん
20/05/04 20:49:37 oIpFNoDr.net
望月はこれだけ報道されてるのになんで反論するか、論文引っ込めないの？アクセプトされたから守られてるとでも思ってるんかな？
758:１３２人目の素数さん
20/05/04 20:57:47 PnsUWF0D.net
周りが「すごいっすよこれ！フィールズ賞受賞者も超えちゃいましたね！」って持ち上げて望月が自分の過ちに気づいてないと予想してみるテスト
759:１３２人目の素数さん
20/05/04 21:37:43.17 DHkoIejG.net
>>727
少しは自分で考えろバカ
760:１３２人目の素数さん
20/05/04 22:03:16.46 ojUMVQ8n.net
星さんって、
弟子を取らない方針だった望月さんが
認めたくらいだから、やはりかなり有能なんだろ
玉川、フェセンコ、星といった高い水準の学者(しかも全員遠アーベル幾何学者)が揃いも揃って間違えるなんてありえるのかね
761:１３２人目の素数さん
20/05/04 22:03:20.82 AkUPzRui.net
当初「数論幾何の専門家が一から勉強したら半年で分かる」とかなんとか嘯いていたのが
まったくのウソだったね
762:１３２人目の素数さん
20/05/04 22:04:17.73 NcCQMinz.net
星はもうIUTから離れてるよ。
763:１３２人目の素数さん
20/05/04 22:08:18.11 DHkoIejG.net
>>732
まーたてきとうなことをいう
764:１３２人目の素数さん
20/05/04 22:12:31.28 2UDnodF0.net
玉川は内容理解してるとは言ってないだろ。
単にレポート読んで判断しただけ。
。。。墓場まで持っていかなきゃならない基準でw
765:１３２人目の素数さん
20/05/04 22:17:43.20 UASz6xYg.net
そもそも間違えてるかどうか分からないからな
補題3.12が証明出来ていないとかZFCGがZFCの保存的拡大でないとか知ってた上で、何かしらの力に屈して「IUTを理解した」と言ってる可能性がある
766:１３２人目の素数さん
20/05/04 22:34:22.47 ojUMVQ8n.net
玉川は「脳が疲れる」と言ってたから確実に読んではいるだろう。その上で「100%正しい」と断言してる。もちろん間違っている可能性は否定出来ないけどね
柏原御大は読んでないだろうな
767:１３２人目の素数さん
20/05/04 22:41:38 UASz6xYg.net
読んではいる、正しいと断言している、これは正しいと思ってることと同義ではない
これはあくまで例だが、何かしらのお偉いさん団体が、京都大学に国策のためIUTを推し進めるよう圧力をかけたとしよう
この状況下では、玉川は「読んでいて」「IUT論文の間違いに気づいていたとしても」発言としては「100%正しい」と断言するしかないだろう
768:１３２人目の素数さん
20/05/04 22:43:07 UASz6xYg.net
まあ、もちろんただの例で正しい保証はないのだが、
玉川が100%正しいと断言しているからといって、玉川が間違えて考えてるとは言い切れないわけだ
769:１３２人目の素数さん
20/05/04 22:48:37 NcCQMinz.net
>>733
じゃあ星が最近書いたIUT論文ってどれよ？
770:１３２人目の素数さん
20/05/04 22:54:26 DHkoIejG.net
>>739
あのさ、逆に聞くけど、それだけで離れてると言える根拠は何なの？
771:１３２人目の素数さん
20/05/04 22:57:49 NcCQMinz.net
>>740
革新的な数学理論でしかもそのためのセンターもあるのに、
理解してそれを使わないというのはなにを指しているのだろうね？
IUT界隈には理解したと言ってるわりに使う気があるひとがいないようだが。
逆に使ってるDupuyは理解していないと自白しているというね。
772:１３２人目の素数さん
20/05/04 23:06:02 DHkoIejG.net
>>741
アクセプトされたばかりの論文で、まだ掲載もされてないのに、その論文を応用したもの出せて難しいんじゃないかな
それに正しいかどうかの回答にも追われてた可能性あるし
今の時期じゃまだ断言できるような状況にないと思うよ
773:１３２人目の素数さん
20/05/04 23:08:32 NcCQMinz.net
>>742
意味不明。何年前に公開されてると思ってるんだ。8年前だぞ？
774:１３２人目の素数さん
20/05/04 23:14:02 DHkoIejG.net
>>743
アクセプトされたのは最近でしょ
関連論文でいうなら、元論文のサーベイとかは書いてるしな
なんていうか短絡的だねえ
775:１３２人目の素数さん
20/05/04 23:17:40 NcCQMinz.net
>>744
ぜんぜん時系列を把握してないのに突っ込み入れてるわけね。
論文は8年前に公開されて本質部分には変更はまったくない。
8年間も付き合った結果が「IUTに関連する論文を書かない」ということは、
いったいなにを意味しているんだろうね？
776:１３２人目の素数さん
20/05/04 23:19:59 DHkoIejG.net
>>745
サーベイは書いてるでしょ
この8年間はIUTの正しさの検証のフェーズで、それはまだ終わってないけど
星さんがIUTから離れたとはまだ結論づけられないんじゃないかなあ
777:１３２人目の素数さん
20/05/04 23:20:21 NcCQMinz.net
>>746
だからサーベイを書いた結果として書かなくなったわけでしょ？
778:１３２人目の素数さん
20/05/04 23:21:52 ccq8jXHp.net
>>747
横からだけど、あんた説得力あり杉。
779:１３２人目の素数さん
20/05/04 23:23:31 DHkoIejG.net
>>747
だから、まだ検証のフェーズだからサーベイ以外そんな書けないでしょ
なんでそれで結論づけられるのか不思議だわ
悪意に満ちすぎた邪推がひどいね
780:１３２人目の素数さん
20/05/04 23:26:53 DHkoIejG.net
離れてるかもしれない、ならまだ分かるよ
離れてるとよく断言できるなと思う
間違ってたらどうするの？
社会経験ないのかな
781:１３２人目の素数さん
20/05/04 23:28:00 NcCQMinz.net
>>749
だから時系列をちゃんと把握してよ。
検証は2012年から始まってて2018年の段階で内部リークされてるわけ。
6年間検証して、2018年の段階でなにか確信して、
そこから2年も変更なしにダラダラやってるのにサーベイ以外書けないってなにをしてるわけ？
そもそもきみが言ってることが真実なら、
望月が初歩的だと言ってるのは大嘘だということになるね。
782:１３２人目の素数さん
20/05/04 23:28:41 NcCQMinz.net
>>750
ネット上でいきなりバカと言ってるやつが社会経験とは笑わせるな。
783:１３２人目の素数さん
20/05/04 23:32:35 2UDnodF0.net
↓この発表の直後に会見ってのも、きな臭いのよねん
URLﾘﾝｸ(www3.nhk.or.jp)
784:１３２人目の素数さん
20/05/04 23:33:22 DHkoIejG.net
>>751
俺も内部の人間じゃないから知らんよ
初歩的かどうかでいうと、誤りそのものは初歩的でも
複雑なものを対象にすると途端に難しくなることもあるから、簡単なことではないんだろうなと思う
まあ、少なくとも星が離れてるかどうかは結論づけられんな