20/04/30 17:41:14 3hSWWRLt.net
久しぶりに来た
論文掲載決まってから何か進展あった？
351:１３２人目の素数さん
20/04/30 17:45:15 5Gz09ctc.net
結局、望月修正稿のCor3.12の矛盾点を指摘できない、ないしはギャップが大きすぎると具体的に指摘することができない状況の気がするんだが、
ショルツの件が指摘になってない意外に具体的に出たポイントないのかなぁ。。。
352:１３２人目の素数さん
20/04/30 17:51:11 grParZpf.net
>>342
IUT擁護派のDupuyらもCor 3.12の証明をできない事が判明して、
更
353:にIUT関係者に聞いたというツイッタラーによればアクセプトされた版はwebの最新版とfootnote以外差がなく、結局利権か何かでアクセプトされたけど認められずに終了かなという流れ 望月予想として残る可能性はある
354:１３２人目の素数さん
20/04/30 17:58:19 f4j7ACbg.net
予想として残るのは無理じゃないかねぇ
ABC予想を証明すればいいだけで、その劣化版を証明する意義はほとんどないわけだし
355:１３２人目の素数さん
20/04/30 18:07:18 KiHSwW00.net
フェルマーに対する谷山志村予想
ポアンカレに対する幾何化予想
abcに対する望月予想(？)
望月予想そのものに価値が見出せればトライする研究者が現れるかもしれないけど
現状では望み薄だなあ
356:１３２人目の素数さん
20/04/30 18:40:07 pQUyGC+R.net
望月先生のありがたいお言葉
>宇宙際タイヒミューラー理論の検証：進捗の報告(2014年12月)
>既にIUTeichの検証活動に関わっている数名の研究者を除けば、世界の全ての数論幾何
>の研究者（＝連続論文が公開された時点（＝2012年8月）での山下氏を含めて！）は
>IUTeichの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に
>成り立っている「深い理解」を活用してIUTeichの正否に関する決定的な（＝「数学的に
>意味のある」）判定を下す資格が本質的にありません。
>…「中核的な3名（山下氏、Saidi氏、星氏）」の場合、IUTeichの勉強が極めて円滑に
>進展したわけですが、一体のどのような原因に「中核的な3名」とこれほども対照的な
>反応が発生しているのか、こちらとしては全くの謎であり、現時点では解明に至って
>いないと言わざるを得ません。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
357:１３２人目の素数さん
20/04/30 18:51:43 pQUyGC+R.net
DupuyとショルツがWoitブログのコメント欄でWikipediaの話してて笑う
プロの数学者でもWikipediaとか見るんだな
358:１３２人目の素数さん
20/04/30 19:01:37 +dFr7oRy.net
結局都合の悪い批判は素人扱いして逃げてるだけだもんな。
こうやって疑念を呈するものを不当に貶めて逃げ回って説明責任を果たさない以上、
そんな仮説もあったなぁ、以上の価値はなく、
いずれPRIMSの権威とともに埋葬され忘れ去られるだけだ。
359:１３２人目の素数さん
20/04/30 20:04:21 nV3s2sk8.net
ABC予想を証明するために新しい理論を作ったら新しい予想が出て…
意味なくない？
一般社会人じゃ通じないよこんなの。問題の先送りじゃん。
360:１３２人目の素数さん
20/04/30 20:15:53 pQUyGC+R.net
予想として提出されていれば何の問題もなかった
その場合は大きな成果にはならないだろうけどね
361:BLACKX ◆SvoRwjQrNc
20/04/30 20:19:26 E46cPUm9.net
なぜ8年も塩漬けしてきたのに今更動いてるんだろう。塩漬けのまま他の人が違う理論で正当性ある理論構築でもしてるのかな？それなら俺が餅ならなんとなく焦る気持ちあるわ
362:１３２人目の素数さん
20/04/30 20:23:48 ggUDxM36.net
予想でもちょっと問題があると思う
予想っていうのは○○だと思う、じゃダメで、
こうこうこうだから最終的にこうなると思う、じゃないといけない
例えば幾何化予想の論文は可能そうな形態をだいぶ念入りに考察しているし、
フェルマー予想も特定の次数については証明を与えてる
Cor3.12はどこから出てきたのかわからないから予想としても通用しない
363:１３２人目の素数さん
20/04/30 20:30:29 pQUyGC+R.net
そのあたりが、「未来から来た論文」と呼ばれる所以かな
364:１３２人目の素数さん
20/04/30 20:31:31 ggUDxM36.net
365:>>354 そう呼ぶ必要性はまったく感じられない
366:１３２人目の素数さん
20/04/30 20:34:14 3hSWWRLt.net
お前らに聞いても何も分からなそうということが分かった
367:１３２人目の素数さん
20/04/30 20:35:23 pQUyGC+R.net
>>355
つまり、揶揄なんでしょう
368:１３２人目の素数さん
20/04/30 20:35:56 ggUDxM36.net
>>357
いや、未来から来た論文ってマスコミが勝手につけたやつだから、
あんなの相手にする必要性がそもそもない
369:１３２人目の素数さん
20/04/30 20:36:33 st37eo4b.net
>>356
お前はここの住人に何期待してたんだよ
370:１３２人目の素数さん
20/04/30 20:37:19 nV3s2sk8.net
まあ、そもそも本人は自明で証明すら不要とっているそうだが…
支持者から、やんわり、予想ですよねと言われ始めた。
371:BLACKX ◆SvoRwjQrNc
20/04/30 20:37:42 E46cPUm9.net
>>356
数学者が何も分かってないからな。欠陥のcor3.12が埋まらない限り
372:１３２人目の素数さん
20/04/30 20:39:56 pQUyGC+R.net
>>358
ブンゲン先生のお墨付きじゃなかったっけ？
例の「一般書」は読んでいないけど
373:１３２人目の素数さん
20/04/30 20:41:20 ggUDxM36.net
>>362
文元はどうでもいいよ、あんなの
374:１３２人目の素数さん
20/04/30 20:42:15 pQUyGC+R.net
ワロタ
375:１３２人目の素数さん
20/04/30 20:43:42 ggUDxM36.net
だって文元は大学の数学教員って肩書き以外になにも正当性がないしな
376:１３２人目の素数さん
20/04/30 20:53:43 pQUyGC+R.net
自称理解者であるはずの人が5chでは相手にされないの面白すぎるでしょ
377:１３２人目の素数さん
20/04/30 21:01:42.25 SXYnDYye.net
Bは理解者なのに解説ができないっていうIUT芸人の地位を確立してるからしょうがない
378:１３２人目の素数さん
20/04/30 21:05:53.48 pQUyGC+R.net
例の本を買った人は、このスレをどんな気持ちで眺めているんだろう
379:１３２人目の素数さん
20/04/30 21:22:28 9aWNvsSf.net
反証きたんか
380:１３２人目の素数さん
20/05/01 00:29:28 0rczU2FZ.net
Dupuyが
URLﾘﾝｸ(images.app.goo.gl)
を引用した事や、超初歩的なwikipediaを引用した事から、望月さんの以下の文と同じ心境であることがわかる。
I can only say that it is a very challenging task to document the depth of my astonishment when I first read this Remark!
This Remark may be described as a breath-takingly (melo?)dramatic self-declaration, on the part of SS, of their profound ignorance of the elementary theory of heights, at the advanced undergraduate/beginning graduate level.
381:１３２人目の素数さん
20/05/01 00:35:10 FN/WQqb7.net
相手を貶めることで自分たちの正しさを主張するのがIUT村のやり方
382:１３２人目の素数さん
20/05/01 00:35:50 ZWGyf/uj.net
その望月の文はSSレポートのRemark 5について書かれたものだが、実態はこれ
946 １３２人目の素数さん sage 2020/04/15(水) 00:08:10.06 ID:9qDykosb
S・Sレポ8月版のRemark 5について拘っている人たちがいるが、これは逆に望月氏の方が恥ずかしい議論だよ。
S・Sはあっさり書いているが、当然望月氏も知っているはずだろうと思って書いていたはず。
これは“Faltings’ theorem (Shafarevich conjecture) applied to the Weil restriction”した場合の話だよ。
Finite Weil restriction of curves
URLﾘﾝｸ(link.springer.com)
S・Sからすればどちらが学部・修士レベル何だろうね、ということになる。
383:１３２人目の素数さん
20/05/01 00:49:39 1b3SXVK7.net
>>372
その指摘をWoitのブログにコメントしてくれば有益だと思うよ
384:１３２人目の素数さん
20/05/01 01:31:22 hxLtCBTG.net
>>352
ずっと動いてきたんだよ
表に浮上したのが最近なだけ
385:BLACKX ◆SvoRwjQrNc
20/05/01 07:54:56 8RyCvzwU.net
>>374
そんなこと分かってるけど従来なら数学者は理解してないだけと言うオカルトな切り捨て方はしない。
全員とまではいかないが数学者が8割ぐらい支持率あるか、お前らが少数派である賛成派として式変形の提供してくれるはず。なぜ何処にも外部に支持層居ないのに解けたと言えようか。
先を急いだのではないのか？
386:１３２人目の素数さん
20/05/01 08:02:29 Su0GaBzN.net
Dupuyがモデル理論の解釈を持ち出したら
Scholzeに「それ、あたってなくね？」と一蹴されたね
For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry
URLﾘﾝｸ(en.wikipedia.org)(model_theory)
you linked to, nor the topos-theoretic framework of Caramello.
(Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set.
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)
However, these long discussions are all about interpretations.
Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
387:１３２人目の素数さん
20/05/01 08:36:33 7sZbP7cd.net
提出から8年も経つのに
未だに確認がとれていないっていうのが…不安だわ。
おそらく、この証明は間違っているんだろうな
って感じがする。
そもそも、予想の証明の審査に、8年もかかるなんて起こりうるの？
何かデカイ予想の証明で、正しさが承認されるまでに
8年以上もかかったって前例はあるのか？
この情報化社会で8年っていうと、フェルマーの時代の
100年くらいに相当するぞ？
388:１３２人目の素数さん
20/05/01 09:05:47 Su0GaBzN.net
森重文がScholzeとStixを呼んだと聞いて
なんか疑念があるんだなと思った
URLﾘﾝｸ(www.quantamagazine.org)
389:１３２人目の素数さん
20/05/01 09:13:27 eIXxfUBk.net
>>376
設定の話してるだけだからね
社会学者の宮台真司が言ってた吉幾三問題思い出したよ
ウインナーコーヒーを頼んだらバイトの吉幾三がコーヒーにウインナー載せて持ってきて、客もそんなもんかと
思って文句言われなかったって話
つまり、間違ってる概念でも一定の範囲で論理的に動かせちゃうのね
390:１３２人目の素数さん
20/05/01 09:23:41 Su0GaBzN.net
>>379
Scholzeがいってるのはそういうことじゃなさそう
「ホッジ劇場の構造はモデル理論ともトポス理論の枠組みとも合致しない」
っていってるから
圏じゃないものに圏論の定理を適用するみたいな感じ？
391:１３２人目の素数さん
20/05/01 09:47:07 eIXxfUBk.net
>>380
いや圏は圏なんだろうけど、要するに抽象的すぎるんじゃないの
実際幾何学的射の集合とか圏ではないから、それはDupuyの反論と部分的に整合する
何か納得のいく有益な表現可能性を見いだせないんじゃないかね、ショルツからしたら
392:１３２人目の素数さん
20/05/01 09:47:14 Su0GaBzN.net
蛇足
＞ウインナーコーヒーを頼んだらバイトの吉幾三が
＞コーヒーにウインナー載せて持ってきて、
「ウインナー」と「ソーセージ」って
横と縦みたいな関係だね
ヘチマの化粧水を「ヘチマコロン」と呼ぶのは誤りで
正しくは「オーデヘチマ」�
393:ﾝたいな
394:１３２人目の素数さん
20/05/01 09:55:06 Su0GaBzN.net
>>381
解釈の件についてのScholzeのコメントは、抽象性とは無関係で
モデルやトポスの定義に合致してない、という初歩的な指摘と思える
ただScholzeの主張の核心はそこはなくて
数学的には、自分が今までいってきた通り、ってところか
395:１３２人目の素数さん
20/05/01 10:14:54.76 gDvGAsz0.net
ZFCGがZFCの保存的拡大と書いた望月といいモデルでないものにモデル理論の解釈を適用したDupuyといい、
本当は何も分かってないのに筆を進めてるが、
あっさりScholzeが正しい理解で一蹴する辺り、やはりフィールズ賞受賞者はその辺の学者と格が違うな
396:１３２人目の素数さん
20/05/01 10:16:40.59 G7j/SD+U.net
>>376
IUT界隈は基礎論がわかってないっていうのがやっぱり出発点っぽいね
397:１３２人目の素数さん
20/05/01 10:47:56.48 Su0GaBzN.net
>>384
モデル理論に関係するんなら
フルショフスキ―がなにかいいそうなんだけど
そういうことはないんだよね
URLﾘﾝｸ(ja.wikipedia.org)
398:１３２人目の素数さん
20/05/01 11:04:02.72 Su0GaBzN.net
>>385
Scholzeに言わせると、そもそもホッジ劇場の同型性がグダグダみたいね
Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set.
最初のものについて。モデル理論的な意味での「構造」は、まず、基礎となる集合を持っています。
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters,
ホッジ劇場を取って、ホッジ劇場の同型でファンクショナルである面白い集合を作るのは難しいと思います。
the problem being the very lax notion of isomorphisms of Hodge theaters.
問題は，ホッジ劇場の同型性の概念が非常に緩いことです。
399:１３２人目の素数さん
20/05/01 11:08:55.70 9ujMyeQb.net
Taylor Dupuy、ヘブライ大学出身なのか。
あそこモデル理論で有名な人いるよね。
400:１３２人目の素数さん
20/05/01 11:44:33 Su0GaBzN.net
>>388
Hrshovskiでしょ？ Dupuyの先生だったらしいね
401:BLACKX ◆SvoRwjQrNc
20/05/01 11:52:37 8RyCvzwU.net
なんかK理論の関手思い付いた
いいことないかな
402:１３２人目の素数さん
20/05/01 12:39:16.50 FN/WQqb7.net
full poly-isomorphism定期
403:１３２人目の素数さん
20/05/01 12:45:50.23 xYfLcpyp.net
>>389
shelahも
404:１３２人目の素数さん
20/05/01 13:10:26 FN/WQqb7.net
Dupuyはいくつかの議論を"red herring"だと批判しているが、
これにショルツはどう返すかな
405:１３２人目の素数さん
20/05/01 16:24:40 9ujMyeQb.net
>>389
そうなんだ。IUTに関心持つのもわかる気はするな。
406:１３２人目の素数さん
20/05/01 16:28:49 Su0GaBzN.net
Taylor Dupuy @DupuyTaylor
4月30日
"Simply put: proving corollary 3.12 is harder (or impossible). Trust me, if I could either prove or disprove it I would tell you."
簡単に言えば、当然の結果として3.12を証明することは困難（または不可能）です。私を信じてください、もし私がそれを証明したり、反証したりできるなら、私はあなたに話します。
407:１３２人目の素数さん
20/05/01 16:36:48 eQjMgvN4.net
とらすとみーｗｗｗｗｗｗｗ
鳩山ｗｗｗｗ
408:１３２人目の素数さん
20/05/01 16:43:43 FN/WQqb7.net
>>395
これか
URLﾘﾝｸ(twitter.com)
やっぱりDupuyにとっても「Cor 3.12 = 望月予想」なのね
(deleted an unsolicited ad)
409:１３２人目の素数さん
20/05/01 16:57:22.62 QhOs4297.net
雑誌Newton、もはや科学雑誌の体をなしてないな
なんだこの最新号
410:１３２人目の素数さん
20/05/01 17:08:11 elv2S+9x.net
>>398
科学は哲学から生まれた
哲学は科学の父
411:１３２人目の素数さん
20/05/01 17:17:33 FN/WQqb7.net
>>399
それよりもこっちのほうが問題な気がする
素人向けだからって適当に書きすぎなんじゃないか？
>Topic
>数学の超難問
>「ABC予想」が証明された!
>【試し読み】
>「リーマン予想」の証明にもつながるかもしれない
>協力 小山信也
>執筆 山田久美
412:１３２人目の素数さん
20/05/01 17:48:10 D81Ko6GN.net
そもそも数学は科学ではない
413:１３２人目の素数さん
20/05/01 17:55:08 gd1HCnAd.net
K山氏はただでさえ業界の評判悪いのに
こんなの書いてたらいよいよ誰からも相手されなくなるぞ
414:１３２人目の素数さん
20/05/01 17:57:32 Eq2VULKy.net
評判は知らんがセルバーグゼータの本は読みやすかった
415:１３２人目の素数さん
20/05/01 18:31:25.44 Bd/0uAg1.net
雑誌ニュートンは俺が子供の頃は超面白かった記憶があるんだが
自分が成長したのか雑誌のレベルが下がったのか判別できない
416:BLACKX
20/05/01 18:32:44.18 UONLrguG.net
ニュートンは雑学書だから
417:１３２人目の素数さん
20/05/01 18:43:41.68 KxKqEAc1.net
NHKのニュースでこの話が出てきたときブンゲンさんが
「ノーベル賞何個分もの価値がある」と言っていて
しかしそれを聞いているアナウンサーの反応はイマイチだったと思う。
本当にノーベル賞何個分もの業績であればそりゃすごいし
世間はアインシュタインのときみたいに大騒ぎになるだろう
が、世界ではそんな雰囲気ではないのに、ちょっと
おかしいんじゃない？と思うひとは結構多いだろう。
418:１３２人目の素数さん
20/05/01 18:46:40.50 pGSCHAs9.net
一般向けだからこそ嘘の判別ができない一般人相手に嘘を書かないようにするべきだが、あっちも商売だからな
証明されたとPRIMSが認めた、くらいだと売れないのかもしれない
419:１３２人目の素数さん
20/05/01 18:51:14.67 elv2S+9x.net
>>407
別にIUTの記事の有無に関係無く売れてない
経営破綻して倒産したくらいだからな
通用していないよ
420:１３２人目の素数さん
20/05/01 19:04:18 KxKqEAc1.net
ニュートンはトンデモ誌に落ちたのか
冒頭の8割おじさんこと西浦氏からして
トンデモじゃんｗ
そっちはなぜか世間（マスコミ）の支持は集めてるが
識者からはおかしいと指摘されてる。
>架空シミュレーションで国民を脅す「青年将校」
421:１３２人目の素数さん
20/05/01 19:05:11 Su0GaBzN.net
∧と∨の件だけど、Scholzeからしたら
そもそも違う値を∧で結ぶのは単純に矛盾だ、
と思うよね
「比較的小さい誤差を認めることで、
本来一致するかどうか分からない整数を、
まるで一致するものかのように扱うことができる」
というMultiradial表示の考え方そのものが疑われてる
"Trust me"なんて信頼できない人から、いくらいわれたってねえ
422:１３２人目の素数さん
20/05/01 19:08:08 0/Nf7kiT.net
3つ質問させてください
?実際間違いだった場合ってどうっちゃうんですか？
?間違いである可能性はどのくらいあると思いますか
?数学史上今までもこのような例はあったのですか？（優秀な数学者が長大な新理論を発表、高弟たちにしか理解されない、というようなもの）
423:１３２人目の素数さん
20/05/01 19:10:18 ICw3AIMj.net
>>406
数学は実学から程遠いですからね
いくらトンでもない発見、証明ができたとしても、一般人から見たら「それでそれがなんのお役にたつの？」って話。
424:１３２人目の素数さん
20/05/01 19:15:54 RFgWtrIH.net
リーマン予想がもうすぐ解けると称して本を売りまくったり
abc予想が解けたと称して本を売りまくったり
あの大学の人脈はうさんくさくて困る
425:１３２人目の素数さん
20/05/01 19:17:19 Su0GaBzN.net
>>411
?についてのみ答えると、４色問題のケンプの証明の件が有名
論文が発表された１１年後に、ヒーウッドにより誤り指摘
ただケンプの証明は５色塗分けとしては有効
426:１３２人目の素数さん
20/05/01 19:21:40 Bd/0uAg1.net
数学
427:界はRIMSごとシカトムードだね。 これは別に世界の数学界からしたら何の影響もないだろうけど RIMSシカトしたら回らないであろう日本の数学界は事実上終焉だなこりゃ。
428:１３２人目の素数さん
20/05/01 20:02:14.63 Su0GaBzN.net
「間違え」という「間違い」
URLﾘﾝｸ(e-ivy.jp)
429:BLACKX
20/05/01 20:19:58.79 UONLrguG.net
>>411
1)正式に認められないので餅予想で出し直せとなる。そしてRIMSバク下げ
2)支持率は壊滅的だがその話をしてもしょうがないので単純に25%
430:１３２人目の素数さん
20/05/01 20:36:44.31 Aodju3Vx.net
3.12は自明なんか、予想なのか、間違いなのか、そろそろはっきりしてもいいんじゃないの。
431:１３２人目の素数さん
20/05/01 20:39:12.17 pGSCHAs9.net
もう予想で落ち着いてるけど
Dupuyもはっきり3.12は証明できないと明言してる
432:１３２人目の素数さん
20/05/01 20:45:51.62 y04jslRq.net
餅は「私の間違いでした」と言わない限り、
終わらないね。
とすると、永久に終わらない。
433:１３２人目の素数さん
20/05/01 20:58:52.78 PICv8cju.net
数学無関係な完全な素人なので、IUTの中身何も分かってないんだけど、
望月の書いたIUTへのいざないを読んだ時、
「…は存在しない!。が、仮に存在する!!と仮定しよう..」
の所に強烈な違和感を感じた。
ショルツの指摘って、つまるところその部分がおかしいっていってるの？
また、望月の上記推論と同じ構成をしている正しい初等的な証明があったら教えて下さい
434:１３２人目の素数さん
20/05/01 21:03:46 yQm2euul.net
>>420
ある意味、間違いでしたと言わずに、周りにシカトされながら、死ねまで言い張って過ごすのは大地獄やな
435:１３２人目の素数さん
20/05/01 21:18:09 Su0GaBzN.net
>>421
「いざない」のｐ５「突拍子もない（！）こと」のところじゃないかな
望月は「存在しないもの」を「存在する」とする
自分のトリックに絶大の自信があるみたいだけど、
Scholzeはそんなことは無理だと冷静に見ているね
436:１３２人目の素数さん
20/05/01 21:19:32 Aodju3Vx.net
今後、京大の数学のレベルの足を引っ張ることにならなきゃいいんだけどね。
それが心配よ。
437:１３２人目の素数さん
20/05/01 21:24:53 FN/WQqb7.net
>>424
まともな研究者になりたいと思う学生は京大を避けるようになるかもね
438:１３２人目の素数さん
20/05/01 21:29:11 PICv8cju.net
>>423
望月自身
「突拍子もない（！）こと」
って言ってるから怪しい感じはするんだが
何分書いてある数式がちんぷんかんぷんなんだ。
この推論の初等的な例示はあるのかな？
439:１３２人目の素数さん
20/05/01 21:35:02 Su0GaBzN.net
佐藤幹夫は佐藤超関数やＤ加群の理論を創始して弟子を育てたけど
望月新一はＩＵＴで自分だけでなく弟子の未来も潰したかもしれんね
440:１３２人目の素数さん
20/05/01 21:36:07 Aodju3Vx.net
日本の大学ってさ、昔の教授が唱えた説を後輩が否定できない風土がまだまだあるじゃん。
九州大学の邪馬台国九州説なんて、もう大変らしいよｗ
まあIUT説もそうならなければいいですね。
441:１３２人目の素数さん
20/05/01 21:40:52.90 TiGoQfo8.net
RIMSが覚悟持ってアクセプトしたのに門外漢が心配する奇妙な構図
442:１３２人目の素数さん
20/05/01 21:43:21.93 QhOs4297.net
>>429
ブログ見たらわかるけど「RIMSがおかしいのか京都がおかしいのか？」という疑問や、
なぜ日本の研究者はもっと発信しないのか、というふうに日本の研究に対するマイナスの影響がある。
小保方の問題は小保方個人や理研の問題ではないのと一緒。
443:１３２人目の素数さん
20/05/01 21:48:16.07 W9LTT8gP.net
願望だからw
444:１３２人目の素数さん
20/05/01 21:59:05.51 Aodju3Vx.net
まあ世間ではチンパンジーの不正のほうが、はるかに事件扱いで、
数学の
445:発見はほんと目立たないマイナージャンルって感じだな。 ノーベル賞が3つでも足りないのにｗ
446:１３２人目の素数さん
20/05/01 22:04:55.33 Su0GaBzN.net
>>429
覚悟してるのかな？
審査過程について「墓場まで持っていく」なんて腰が引けてるよね
447:１３２人目の素数さん
20/05/01 22:05:46.86 OYm9JQNc.net
もっちーかわいそう
なぜ、物理や化学にいかなかったのか？
数学にそんなたいそうな魅力があるのですか
と聞きたいが馬鹿を蔑む目で見られて自転車で去っていかれるんだろうな
448:１３２人目の素数さん
20/05/01 22:08:22.98 FN/WQqb7.net
>>433
所詮はその程度の覚悟
449:BLACKX ◆SvoRwjQrNc
20/05/01 22:25:53 UONLrguG.net
>>434
餅は重大な名言は残したからかわいそうじゃないのでは？
｢分からないのは君の理解が足りないから｣ by餅
450:１３２人目の素数さん
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
まあ日本人がドイツ人に指摘してもらっただけでも感謝しないとな
本来は劣等人種なんだから。ヨーロッパ行くと有色人種の扱いにショックを受けるよ