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

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 16:57 / Filesize : 444 KB / Number-of Response : 1070
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：１３２人目の素数さん [2021/02/20(土) 10:22:32.50 ID:Z8PgJDTw.net]: 20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は分裂したNo43スレの中ではこのスレ立ては最初だったのです！（＾＾；）
（旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。）

（参考）
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明　斬新理論で数学界に「革命」　京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想　京大教授が証明　30年以上未解決 2020/04/03 FNNプライムオンライン

つづく
756 名前：１３２人目の素数さん [2021/03/05(金) 22:28:39.94 ID:od5SG3sz.net]: ScholzeとWoitがヘタレでブログの話ぶった切ったから今こうなってんだろ

と言おうとしたら、丁度Woitがまたグダってたわｗ
757 名前：１３２人目の素数さん mailto:sage [2021/03/05(金) 22:40:28.89 ID:73LavtbT.net]: >>709
逃がしてもらっただけのカスが大きく出たな
758 名前：１３２人目の素数さん [2021/03/05(金) 23:06:29.02 ID:GtwlA808.net]: IUT IVは著者自身がP67で「セクション3では、極めてナイーブで非専門家ではない観点だけれど展開します」と述べており、実際数学的な主張になってるようでなっていない
ABC予想の証明とは関係ないからテレンス・タオも「レッドヘリング」と呼び、無視されていた

だが、査読者はアクセプトする前にその部分について指摘するべきだろう
ワンチャン、IVはカットされた可能性もあったが、EMSではIVもしっかり掲載されているため、その可能性も限りなく薄くなってしまった
査読者はIVをどのように査読したんだ？
759 名前：１３２人目の素数さん mailto:sage [2021/03/05(金) 23:15:50.68 ID:HOTrwony.net]: >>679
ドイツ人のショルツェを叩いてる訳では無い
ショルツェを叩いている
ショルツェがスイス人だろうとフランス人だろうとイギリス人だろうと叩く時は叩くんだよ
日本人は個人主義を確立できてないやつが多過ぎる
ショルツェ個人を叩いてるに過ぎないものを韓国人だのドイツ人だの論点ずらしも甚だしい
760 名前：１３２人目の素数さん mailto:sage [2021/03/05(金) 23:28:14.86 ID:uONzePwP.net]: >>706
それが普通にあるんだなｗ
ＰＲＩＭＳは恥かくよ
761 名前：１３２人目の素数さん mailto:sage [2021/03/05(金) 23:35:03.51 ID:Ck9DOC0A.net]: 望月さんがこれで気が済んだらいいんじゃない
762 名前：１３２人目の素数さん [2021/03/05(金) 23:44:27.02 ID:+c36Qsr1.net]: >>709
>丁度Woitがまたグダってたわｗ

ありがとう
見ました
Woitって、あほやね
SS文書の一方のStixがショルツェ氏と異なる立場になっていることに、気づいていないよね、彼はｗ
763 名前：１３２人目の素数さん [2021/03/05(金) 23:49:11.09 ID:+c36Qsr1.net]: >>715
>SS文書の一方のStixがショルツェ氏と異なる立場になっていることに、気づいていないよね、彼はｗ

Stix氏は、昨年4月のRIMSプレス発表にも、ショルツェ氏と異なり、ノーコメントで通したんだ
多分、今回のPRIMSの出版の序文と同じような情報を、独自ルートで入手していたろうし、
Stix氏自身も、望月IUTを理解したんじゃないかな？
SS文書から、Stix氏をひき離せば、SS文書は空中分解ですね
764 名前：１３２人目の素数さん [2021/03/06(土) 00:04:00.45 ID:hDSkQe6F.net]: >>660
補足

・A)SS文書と、B)それへの望月氏の反論と
・二つの比較で、Aが正しいか
765 名前：、Bが正しいか？ ・2018年から2020年2月まで1年以上かけて検証して、それで間違うわけないでしょ ・1）IUTの証明にギャップがないかどうかと、2）AとBと正反対の二つの文章でどちらが正しいかと ・この二つは全く性質の違う問題ですよ ・1）の検証は大変難しい。しかし、2）については、サイコロでも確率50％で正解する問題だよ。それを日本の大数学者が間違うわけないでしょ いくらショルツェ氏が天才といえど、2）については1年以上かけて検証したんだからね []: [ここ壊れてます]
766 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 03:16:27.47 ID:fZPPqzUh.net]: 低学歴のアホアンチ、
一生懸命に望月を叩いてたのに
負けが決定して
しかも高齢童貞で
かわいそう・・・
767 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 03:17:24.31 ID:qJH4sY3I.net]: 星裕一郎@hoshiyuichiro　3時間
宇宙際タイヒミュラー理論に関する論文が，本日，オンライン出版されたそうです．本日，セミナーの際に，ご本人から，そのように伺いました．
咄嗟に相応しい反応を発想することができず，「今更ですけれど，改めて，おめでとうございます」みたいな，あまり意味のないことを申し上げたのでした．
768 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 06:05:48.68 ID:7w/EjUwa.net]: >>716
妄想多いなあ
これ書いてるのあにバカ女か？
769 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 07:39:24.30 ID:13IJCbpX.net]: math_jin

望月新一の最新情報
2021年03月06日
・（論文）宇宙際タイヒミューラー理論に関する論文4篇の出版を記念して、新論文を掲載：
On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/Logical OR "∨" Relations:
#IUTABC
770 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 07:39:46.21 ID:fG2AcoCR.net]: >>1
99％確定ってどういうこと？
771 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 07:40:11.89 ID:13IJCbpX.net]: 読んだけど、SSレポートのこと完膚なきまでに論破してるわ。
772 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 07:41:38.66 ID:13IJCbpX.net]: IUTたたいてる奴、これ読んで反論してくれ。
これにお前が反論できたらオレも懐疑派になるわ。
773 名前：１３２人目の素数さん [2021/03/06(土) 07:59:14.66 ID:hDSkQe6F.net]: >>722
>>>1
> 99％確定ってどういうこと？

・えーと、まず>>1は2021/02/20の記述であることにご注意。ここ数日の動きは、当時は考慮されていません
・正確な文章を引用すると「査読が終り、IUTが正しいことは、99％確定」です
・意図は、下記の代数学の基本定理のようなイメージです。
・もし、数学の神がいたら、IUT理論とその証明に何点をつけるか？人間のすることですから、100点でなく謙虚に99点としました
・下記の代数学の基本定理の「現在ではさらに多くの証明が知られている」のように、多くの人から別証明が出るようになれば、100点満点の状態、つまり100％
・だんだん、そうなると予想しています

https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%AD%A6%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86
代数学の基本定理
「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。

歴史
17世紀前半にアルベール・ジラール（フランス語版、英語版）らによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ（英語版）、ジョゼフ＝ル�
774 名前：C・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[1]）。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。 []: [ここ壊れてます]
775 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 08:28:23.83 ID:yw/hH17g.net]: >>723　モノドロミーについてはどうやって論破したと君は理解したの？
>>724　上の問いに的確に答えられたら僕もIUTによるABC予想解決を認めるよ
776 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 08:34:13.12 ID:yw/hH17g.net]: >>722　数字には意味ないんじゃないかな
任意の0＜p＜1について（1-p）(1+p+p^2+…)=1だから
p=0.1の場合　0.9(1.11…)=0.999…=1
･･･スレ違いでしたか？
777 名前：１３２人目の素数さん [2021/03/06(土) 08:41:50.79 ID:hDSkQe6F.net]: >>721
ありがとう
下記ですね
”§1. General summary for non-specialists”がいいね

www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
　　Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
　　Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)

Contents:
§1. General summary for non-specialists
§1.1. Publication of [IUTchI-IV]
§1.2. Redundancy assertions of the “redundant copies school” (RCS)
§1.3. Qualitative assessment of assertions of the RCS
§1.4. The importance of extensive, long-term interaction
§1.5. The historical significance of detailed, explicit, accessible records
§1.6. The importance of further dissemination
§1.7. The notion of an “expert”
§1.8. Fabricated versions spawn fabricated dramas
§1.9. Geographical vs. mathematical proximity
§2. Elementary mathematical aspects of “redundant copies”
§2.1. The history of limits and integration
§2.2. Derivatives and integrals
§2.3. Line segments vs. loops
§2.4. Logical AND “∧” vs. logical OR “∨”
§3. The logical structure of inter-universal Teichm¨uller theory
778 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 08:52:52.19 ID:yw/hH17g.net]: >>728　読んだら理解したこと説明してね
779 名前：１３２人目の素数さん [2021/03/06(土) 09:03:53.45 ID:hDSkQe6F.net]: >>726
>モノドロミーについてはどうやって論破したと君は理解したの？

維新さん、朝早くご苦労ｗ
Dupuy氏が下記arxiv投稿を書いているよ
”The assertion of [Moc18, C14] is that [SS17, pg 10] is not what occurs in [Moc15a]. ”
ってこと
平たく言えば。ショルツェ氏のモノドロミーはIUTの外だと
この議論は、woitブログでのショルツェ氏とDupuy氏との論争でもあった
Dupuy氏の主張に対して、ショルツェ氏は「ホッジ劇場が超難しい」とか逃げた
違うよね。「モノドロミーはIUTの内だ」とちゃんと示さないと、「こんなモノドロミーを考えたら矛盾だ」と言っても無意味
望月氏の新論文は、そこを説明していると思うよ

（>>6テンプレより）
（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
https://arxiv.org/pdf/2004.13108.pdf
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI'S
780 名前：COROLLARY 3.12 TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020. P14 Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what follows: P15 (2) We would like to point out that the diagram on page 10 of [SS17] is very similar to the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which Scholze and Stix were reading while preparing [SS17]. References [SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html ) [Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2 []: [ここ壊れてます]
781 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 09:23:25.69 ID:yw/hH17g.net]: >>730　
Ⅰ．僕は維新さんじゃないよ　残念でした
Ⅱ．726はID:13IJCbpXへの質問　君には尋ねてないよ
Ⅲ．門外漢のデュピュイの発言は、意味ないな　
　　モノドロミーの問題がないなら、どうしてそうなのか、望月自身が説明しないとね
Ⅳ．君がどうしても望月が正しいといいたいんなら、
　　まずその望月の新論文を読んで、理解したこと書いてね
　　それ以外は書き込んでも、数学板では無意味だよ　分かった？

P.S.
　全部読むと混乱する、っていうんなら、まず§2.4を読みなよ
782 名前：１３２人目の素数さん [2021/03/06(土) 09:50:51.03 ID:LF8VMfKE.net]: >>728
このタイトルって当人がブログでも述べてた話だが、∧と∨みたいな命題論理の話なんて数学者は「ほとんど(≠「みんな」)」が知っている
新解釈を投げかけるような論文だったら凄いけど
783 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 10:05:16.94 ID:yw/hH17g.net]: 今、望月新論文を読んでる

§2.3で
I を点αから点βへの有向線分とし
L を I/<α~β> と定義する
（α~β　は　点αとβを同一視する、と読む）

一方
Iのコピー、†I,‡Iをつくり
Jを、両者をつなげたものとして
接合点をγJとする、つまり
†I　を　†αからγJへの有向線分
‡I　を　γJから‡βへの有向線分
として、その上で
M　を　J/<†I~‡I>と定義する
（†I~‡I　は　有向線分†Iと‡Iを同一視する、と読む）

で、望月は「MとLは違う」といって、
§2.4で説明しているようですが
そもそもMとLは違うの？

つまり　†I~‡I　とした時点で
†α~‡α＝γJ＝†β~‡β
であると思うが、上記と α~β はどう違うのか？

理解したという人は一般人にもわかるように教えてくれる？
784 名前：１３２人目の素数さん [2021/03/06(土) 10:22:08.42 ID:hDSkQe6F.net]: >>731
ど素人が、学会ごっこか？　５ｃｈで
いまや、絶滅危惧種のアンチさんｗ

本格的な議論したければ、下記
”03/18 Q&A Q&A Session on Inter-Universal Geometry* Mochizuki”

へ、どぞｗｗｗ
行けるわけないよね、ど素人

www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html
RIMS
Promenade in Inter-Universal Teichm?ller Theory

March
03/18 Q&A Q&A Session on Inter-Universal Geometry* Mochizuki
785 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 10:32:05.78 ID:yw/hH17g.net]: >>734　落ち着けって
>>733では単に質問してるだけだよ

望月はLとMの違いに基づいて　§2.4で
　（γJ＝†β⊂I）∧
786 名前：（γJ=‡α⊂I）　（AOL1） （γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2） だが （γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4） ではないといってる けど、ほんとにそうなの？ （AOL1）と（AOL4）って違うの？ 理解した人　教えて！ []: [ここ壊れてます]
787 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 10:33:39.48 ID:yw/hH17g.net]: >>735　修正

望月はLとMの違いに基づいて　§2.4で
　（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1）
　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2）
だが
　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4）
ではないといってる

けど、ほんとにそうなの？
（AOL1）と（AOL4）って違うの？

理解した人　教えて！
788 名前：１３２人目の素数さん [2021/03/06(土) 12:17:26.86 ID:OcSGJltg.net]: 望月論文が出版されたという事は、もうこの問題についてはこれ以上の進展はないという宣言ですね。
足掛け１０年にわたる「Inter-universal geometry と ABC予想」もこれで終了。
当初から存在した欠陥は一切修正されることなく、大山鳴動して鼠一匹ですね。
望月さんたぶん、３・１２が無理な論法であることは自分でも知っていて、
論文を公開することにより、誰かいきのいい若い人に補ってもらおうとしたんだろうね。
でもだめだったいうことで、結論から言えばＡＢＣ予想を３・１２という、
別に困難な解決の見込みの立たない予想に置き換えたという事でしょう。
残念な結果に終わりました。
789 名前：１３２人目の素数さん [2021/03/06(土) 12:39:32.87 ID:hDSkQe6F.net]: >>735

・落ち着け、>>734のリンクは、>>731であって、>>731ではない！
・望月の新論文>>728に、疑義があるなら直接望月に言えｗ
・ド素人の学会ごっこ、皆さんのご迷惑だよ、維新さんよｗｗ
790 名前：１３２人目の素数さん [2021/03/06(土) 12:42:26.85 ID:hDSkQe6F.net]: >>737
>望月論文が出版されたという事は、もうこの問題についてはこれ以上の進展はないという宣言ですね。

証明がない
「望月論文が出版されたという事は、単に論文が出版された」ということでしかない
後の文は、あなたの解釈にすぎない
791 名前：１３２人目の素数さん [2021/03/06(土) 12:58:02.74 ID:hDSkQe6F.net]: >>738
訂正スマン

・落ち着け、>>734のリンクは、>>731であって、>>731ではない！
　　↓
・落ち着け、>>734のリンクは、>>731であって、>>733ではない！

（＾＾；
792 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 13:17:15.56 ID:7PTZO/x+.net]: なんか、クレームに関して真っ向からの反論を論文というかたちで出したわけだから、更なる反論がなければ一件落着ということだね。woltはちょっと読んで、内容が無礼だって怒ってるだけだし。まあ、最初のほうしか読んでないけど、確かにだいぶバカにしたような感じだが。
793 名前：１３２人目の素数さん [2021/03/06(土) 13:30:23.52 ID:LF8VMfKE.net]: ∧と∨を説明するのにわざわざ向きを持つ境界付き一次元位相多様体を使うのは、まさに燻製ニシンだな……
1-圏と2-圏の違いは幾何的イメージから生じるという発言もあったが、やはり抽象的な思考は苦手なのだろう

もちろん誰しも苦手な部分はあり、プロブレムソルバーとして優秀である著者のことは尊敬している
悪いのは間違っていることを間違っていると指摘できなかった風土だ
794 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 14:27:38.97 ID:qJH4sY3I.net]: 直接指摘すればいいじゃん。ヒーローになれるかもよ？
795 名前：１３２人目の素数さん [2021/03/06(土) 14:33:13.80 ID:hDSkQe6F.net]: 話は飛ぶけど、下記によれば
1）望月論文で、非明示
　”Mochizuki verified various numerically non-effective versions of the Vojta, ABC, and Szpiro Conjectures over number fields.”
　が出る
2）南出論文で、明示の
　”ABC, and Szpiro Conjectures over number fields.”と、“Fermat’s Last Theorem”
　とが出る
3）いま、ある人が”Szpiro Conjecture”を研究していたとする
　そして、例えばなんらかの証明を得たとする
　そのとき、望月論文や望月論文が成立しているならば
　その人の研究は、二番煎じになる
4）あるいは、ある人が何か”ディオファントス方程式”の研究をしてある結果を得たとする
　もし、その結果が、南出 effective ABCの系として簡単に得られるならば
　その人の研究は、
796 名前：殆ど二番煎じに過ぎないことになる 望月論文、南出論文のインパクトは、非常に大きいと思いますね （参考） http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文 Abstract. In the final paper of a series of papers concerning interuniversal Teichm¨uller theory, Mochizuki verified various numerically non-effective versions of the Vojta, ABC, and Szpiro Conjectures over number fields. In the present paper, we obtain various numerically effective versions of Mochizuki’s results. Theorem A. (Effective version of the ABC inequality over monocomplex number fields) Theorem B. (Effective version of a conjecture of Szpiro) Corollary C. (Application to “Fermat’s Last Theorem”) []: [ここ壊れてます]
797 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 16:03:04.29 ID:yw/hH17g.net]: >>738
Ⅰ．僕は維新さんじゃないよ　残念でした
Ⅱ．落ち着くのは君のほうだよ
Ⅲ．理解する気もない人が応援しても意味ないよ　分かった？
798 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 16:05:52.06 ID:yw/hH17g.net]: >>737
別のところで「一旦借りて儲かったら返す」っていってたけど
アクセプトは借りで、儲けは若手による補足だったんだね
799 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 16:07:35.68 ID:yw/hH17g.net]: >>741
早速、3/18のQ&Aで火を噴きそうな予感…
800 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 16:10:28.02 ID:yw/hH17g.net]: >>742
§2.4は「∧と∨を説明する」というより
「LとMでの（∧の扱いの）違いを説明する」もののようですが
で、LとMってやっぱり違うの？
801 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 16:39:18.33 ID:qJH4sY3I.net]: モッチーをトランプ、周囲のファンをQanonって喩えて侮辱してるブラジルの数学者。。。

JoseFelipe Volochはブラジルの数学者で、数論と代数幾何学に取り組み、カンタベリー大学の教授です。
ーーーーーーーー
Felipe Voloch@meu_gato
Mochizuki is the Donald Trump of Mathematics and his followers are its QAnon, fashioning their own reality.
Fortunately, in this case, they can be safely ignored (at least if you're not at RIMS).
午後0:14 ・ 2021年3月6日・Twitter Web App
802 名前：１３２人目の素数さん [2021/03/06(土) 17:54:49.31 ID:4v9kYwu6.net]: その人はアナルズとかインベに載せてるんだね。
これからは高潔な大物のリムス招待リジェクトが少なからぬ頻度で起こるんじゃないかな。
100%問題ないと公共の場で言い切った玉川は、口だけの美辞麗句だけじゃなく
講義などで理解者を増やす責任があるよね。
予算取ってるなら尚更。
ダンマリを突き通すなら批判されて当然だし、死後も残る恥辱となるよ。
803 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 18:06:10.90 ID:CkhRnN7D.net]: >>749
もっちーとトランプの類似性は別にして信者は似てると思う��
根拠があって信じてるんじゃなくて信じたいから信じてるところがね
804 名前：１３２人目の素数さん [2021/03/06(土) 18:20:50.99 ID:hDSkQe6F.net]: >>745
何を言っているの？
IUTは日本数学の金字塔です
日本数学の伝統
高木-小平-伊原-中村-玉川などなどの
系譜につながる望月IUT
日本の誇り
805 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 18:47:29.71 ID:yw/hH17g.net]: >>751
>(トランプと望月の)信者は似てると思う
>根拠があって信じてるんじゃなくて
>信じたいから信じてるところがね

わかります
信じたい理由が自国の自慢、ってところもそっくりですね

>>752
>日本数学の金字塔
>日本数学の伝統
>日本の誇り

これじゃ、Janonって言われちゃいますよね
これから「じゃのん」�
806 名前：ｳんって呼びますか []: [ここ壊れてます]
807 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 18:47:32.26 ID:qJH4sY3I.net]: そういや両者とも「壁」の大切さを訴えてたな。。
808 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 19:12:00.59 ID:yw/hH17g.net]: >>742
>プロブレムソルバーとして優秀である著者(=望月)のことは尊敬している

アイデアが非常識であっても、別に悪いことではない
微分だって十分非常識なわけだから

ただ整合性がなければ数学としては意味がないし
他人の指摘に耳を傾けられないのでは数学者としては失格だろうね
809 名前：１３２人目の素数さん [2021/03/06(土) 20:53:32.86 ID:AgphAyqV.net]: 論文出たのは良いことなんだろうけど、まだ不完全燃焼なとこが強いな
810 名前：１３２人目の素数さん [2021/03/06(土) 20:55:46.04 ID:hDSkQe6F.net]: >>753
>信じたい理由が自国の自慢、ってところもそっくりですね

アナーキズムよりましと思うけどね
もっとも、トランプさん
口ではアメリカファースト
ホントは、自分ファースなので
トランプさん＝アナーキストかも
「おい、おまいら、議会へ突撃だぁ～！」なんてねｗ
811 名前：１３２人目の素数さん [2021/03/06(土) 20:55:51.27 ID:AgphAyqV.net]: 数学界に浸透してる感じはないし、これから浸透するかどうか
812 名前：１３２人目の素数さん [2021/03/06(土) 20:58:22.41 ID:hDSkQe6F.net]: >>756
>論文出たのは良いことなんだろうけど、まだ不完全燃焼なとこが強いな

まあ、だから
今年の4本の国際会議の導火線か、助燃剤か
813 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:01:16.85 ID:yw/hH17g.net]: 自分ファースト＝アナーキズム？　なんか違くね？
814 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:06:55.23 ID:yw/hH17g.net]: じゃのん的な非数学的発言は無意味なので
論点を数学に戻して接着剤で固定するね
絶対動かすなよ　じゃのん君

§2.3で
I を点αから点βへの有向線分とし
L を I/<α~β> と定義する
（α~β　は　点αとβを同一視する、と読む）

一方
Iのコピー、†I,‡Iをつくり
Jを、両者をつなげたものとして
接合点をγJとする、つまり
†I　を　†αからγJへの有向線分
‡I　を　γJから‡βへの有向線分
として、その上で
M　を　J/<†I~‡I>と定義する
（†I~‡I　は　有向線分†Iと‡Iを同一視する、と読む）

で、望月は「MとLは違う」といって、
§2.4で説明しているようですが
そもそもMとLは違うの？

つまり　†I~‡I　とした時点で
†α~‡α＝γJ＝†β~‡β
であると思うが、上記と α~β はどう違うのか？

望月はLとMの違いに基づいて　§2.4で
　（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1）
　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2）
だが
　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4）
ではないといってる

けど、ほんとにそうなの？
（AOL1）と（AOL4）って違うの？

理解した人　教えて！
815 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:18:56.11 ID:TtsFCSBZ.net]: >>757
「おい、おまいら、議会へ突撃だぁ～！」なんて言ってない
フェイクニュースにすっかり洗脳されちゃってて可哀想だなw
CNNのジェイド・サッカーが極左のアンティファメンバーと一緒に議事堂に突入した映像を放送しちゃってる
うかつにも程があるよなw
「やったぜ！」と任務を祝福する声と映像がしっかり入ってる
暴動を扇動したジョン・サリバンはユーバーのCMに出ていた
アンティファメンバーのサリバンはCNNと協力関係にあったことが報道されてる
CNNがアンティファに巨額の資金提供をしていたこともね
フェイクニュースをメジャーメディアが率先して垂れ流してたから騙されても仕方が無いけど、賢くならないとすぐに騙されてしまう時代だよ
816 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 21:33:28.30 ID:yw/hH17g.net]: >>762
>フェイクニュースをメジャーメディアが率先して垂れ流してた
ABC予想解決を喧伝したＡ日新聞のＩ倉氏みたいな感じ？
817 名前：１３２人目の素数さん [2021/03/06(土) 21:54:11.81 ID:hDSkQe6F.net]: >>762-763
>賢くならないとすぐに騙されてしまう時代だよ

同意だな
詳しくは下記の通りだよ
トランプ氏の煽動演説があったればこそだよ
（必要なら英語版をご参照）

https://ja.wikipedia.org/wiki/2021%E5%B9%B4%E3%82%A2%E3%83%A1%E3%83%AA%E3%82%AB%E5%90%88%E8%A1%86%E5%9B%BD%E8%AD%B0%E4%BC%9A%E8%AD%B0%E4%BA%8B%E5%A0%82%E8%A5%B2%E6%92%83%E4%BA%8B%E4%BB%B6
2021年アメリカ合衆国議会議事堂襲撃事件

1 背景
1.1 トランプ支持者の抗議集会と連邦議事堂への行進

1月6日の朝、抗議デモ参加者はホワイトハウスに隣接したエリプス広場（英語版）にてドナルド・トランプ・ジュニアとルドルフ・ジュリアーニ出席のもと「Save America（アメリカを救え）」という集会を開いた[102][103]。その集会でトランプ大統領は午後12時から演説を開始[注釈 8]。「選挙の勝利は極左の民主党の連�
818 名前：�ﾉよって盗まれ、さらにフェイクニュースのメディアによっても盗まれた」と述べ[105]、「この後、議事堂へ歩いて向かおう。俺もいっしょに行く」[106]「強さを見せるんだ。あなたたちは強くならなければらない。なぜなら弱さでは私たちの国を取り戻すことはできないからだ」「我々は戦う。ともかく死ぬ気で戦う（We fight like hell）。もし死ぬ気で戦わなければ国はもはやない」と支持者を鼓舞した[105][107][108][109][110]。ジュリアーニも支持者に「決闘裁判」に参加せよと声を上げて求め[106][111][112]、トランプ・ジュニアもジュリアーニと同じような口調で、バイデン陣営との「総力戦」を主張した[113]。 左中央:集会会場のエリプス　左上から右下への斜めの通り:ペンシルベニア大通り　右下:連邦議事堂 トランプは演説の終盤に「ペンシルベニア大通りを歩いて行こう、私はペンシルベニア大通りが大好きだ、そして議事堂へ行こう」(”So we're going to, we're going to walk down Pennsylvania Avenue — I love Pennsylvania Avenue — and we're going to the Capitol...”)と呼びかけ、トランプの呼び掛けにより抗議集会に参加していた少なくとも数千人のトランプ支持者が連邦議事堂へ向けて行進を開始した[114][注釈 9]。 https://en.wikipedia.org/wiki/2021_storming_of_the_United_States_Capitol 2021 storming of the United States Capitol []: [ここ壊れてます]
819 名前：１３２人目の素数さん [2021/03/06(土) 22:10:51.90 ID:hDSkQe6F.net]: >>759
>今年の4本の国際会議の導火線か、助燃剤か

(余談)
何年か前に「IUTは難しいというが、プロ数学者には”難しい”ことが論文ネタだろ」って趣旨のカキコがあったけど
実にそう思うわ

南出論文で、明示公式を導くのに、
Legendre form “y2 = x(x－1)(x－λ)”
j-invariant of E
Weil height h(j(E))
などを使っているけど、だいたいはこんな程度では

で、この程度しか使ってないなら、もっと簡単にできるかっも（＾＾
「宇宙ガァ～」とか、まあ、個人的には大げさすぎの気もする

ここらをすっきりさせることができれば
「論文一本！！」じゃないですかね？（＾＾

www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
820 名前：１３２人目の素数さん mailto:sage [2021/03/06(土) 22:30:54.99 ID:yw/hH17g.net]: 南出論文をいくら読んでも
Cor3.12を前提として使ってるだけで
Cor3.12を証明してるわけではないから
IUTの正当性に関しては意味ない

望月の新論文読みなって
とくに§2.3から§2.4
ここが最重要点
821 名前：１３２人目の素数さん [2021/03/06(土) 23:18:26.04 ID:hDSkQe6F.net]: >>766
それは、あなたのレベルで発言するのは、不遜というものでしょ
ド素人
822 名前：１３２人目の素数さん [2021/03/06(土) 23:59:04.58 ID:hDSkQe6F.net]: >>660 補足
なるほど、全員RIMSの人ですね

Tomoyuki Arakawa 荒川知幸
Masahito Hasegawa 長谷川真人
Takashi Kumagai 熊谷隆
Kazuhisa Makino 牧野和久
Takuro Mochizuki 望月拓郎
Shigeru Mukai 向井茂
Hiraku Nakajima 中島啓
Kenji Nakanishi 中西賢次
Tomotada Ohstuki 大槻知忠
Kaoru Ono 小野薫
Narutaka Ozawa 小沢登高
Michio Yamada 山田道夫

https://researchmap.jp/read0121940
荒川知幸 researchmap
経歴 2019年5月 - 2019年7月リール大学

https://researchmap.jp/hassei
長谷川真人 researchmap
圏論の歩き方
圏論の歩き方委員会(担当:共著, 範囲:第４章)
日本評論社 2015年9月

https://researchmap.jp/read0014409
熊谷隆 researchmap

www.kurims.kyoto-u.ac.jp/ja/list/makino.html
牧野和久

https://researchmap.jp/7000008400
望月拓郎 researchmap

www.kurims.kyoto-u.ac.jp/ja/list/nakanishi.html
中西賢次

https://researchmap.jp/read0007858
大槻知忠 researchmap

www.kurims.kyoto-u.ac.jp/ja/list/ono.html
小野薫

https://researchmap.jp/read0157397
小沢登高 researchmap

https://researchmap.jp/Shiro-Kuro
山田道夫 researchmap
823 名前：１３２人目の素数さん [2021/03/07(日) 01:29:54.16 ID:+GSW0Dow.net]: >内容に懐疑的な海外の数学者もいるが、編集に携わった同研究所の
>玉川安騎男教授は数学的な議論は歓迎しつつも「（望月氏への）反論
>は出尽くしており、今後も平行線のままではないか」との見方。

つまり、どういうこと？ｗ
824 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 01:33:42.93 ID:ZqKfwnIC.net]: 物理的な書籍としてIUT論文集手に入れたいな
825 名前：１３２人目の素数さん [2021/03/07(日) 02:26:28.77 ID:ZXsbgksA.net]: >>769

望月、玉川、取り巻き)
(∩ﾟдﾟ)ｱｰｱｰきこえなーい
826 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 06:59:50.12 ID:3B2+vBia.net]: 関係者です。数学者ではありませんが。
まず、ショルツの反論は根本から誤りというのはRIMSの数論幾何グループの総意です。望月星山下譚陽南出辻村院生などなど。やや研究範囲の違うIUTに懐疑的なある若手も「3.12は証明なの？の疑問だが炉シックは合ってる。けどショルツの批判は入口から間違えていて論外」と明言してる。

この日本側の空気感と、そこんとこをなんも知らない海外の容赦ないディスりように、なんだかなぁと思ってます。

なぜ反論しないのか？あまりに根本的な誤りのため、本格的に論じるとショルツ側が恥をかくため控えてる。まあ、望月はがっつりSSページや新論文でディスってますが。
827 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 07:14:43.52 ID:3B2+vBia.net]: とにかくSS特にSの罪は大きいね。フィールズ賞ウィナーで彼の言うことなんだから指摘は正しいのだろう、と盲目（もしくは全く論文を看破せずつまみ食いだけで分かったような気になってる状態で）減らず口叩くにっくきジャップめ！という感情論が先行してて、目も当てられない。それが数学の世界だけでなく一般のnon-specialistsまで巻き込んでの愚闘になりつつある。日本側はもう無視するしかやりようがない状況にまで事態が悪化してる。
828 名前：１３２人目の素数さん [2021/03/07(日) 07:44:38.80 ID:nnvFXyr5.net]: math_jinさんがリツイート
‎アヴィラヴェセス‎
@avillavecesn
‎それは、アンティエの望月によるこの新しい書き込み、超興味深い(そして論争の可能性の発電機)です。ショルツェとStixに反応しますが、それははるかに進み、数学と科学の議論を中心に置いているようです。‎‎ ‎‎ ‎‎kurims.kyoto-u.ac.jp/~motizuki/Esse%20Logical%20Structure%20%20インターユニバーサル%20帝国ミュラー%20理論.pdf.‎‎ ‎
‎午前6:16 · 2021年3月6日‎‎·‎‎ ‎‎Twitter Web App‎
829 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:03:06.09 ID:EcMJkuCa.net]: >>772
>関係者です。数学者ではありませんが。

事務の人？
830 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:04:00.31 ID:QOyv6MWp.net]: そかもしれないね。
しかし、元々abcは狭い分野の専門家しか知らないマニュア向けの問題に過ぎなかった。
それが、この10年のごたごたで、メジャーな問題になったとも言える。
MとSがしっかりと自分の役割を演じて、数学のセールスとしては大成功した。

ということで、abcは本当に重要な問題なの？
831 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:05:47.74 ID:EcMJkuCa.net]: >>773
>にっくきジャップめ！という感情論

ニッポンファーストなJアノンの方ですか？
832 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:11:31.62 ID:EcMJkuCa.net]: >>776
ABC予想なんて、昔も今もマニアの問題ですよ
まあ、一般人からみれば現代数学自体がマニアの世界ですけど
数論の問題はステートメントだけなら一般人でも理解できるから食いつける
これが代数幾何だったらそもそも何言ってるのかわからない
小平や広中や森の業績なんて一般人は知りませんから
複素構造の変形？特異点解消？極小モデル？何それ？って感じでしょう
833 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:13:03.30 ID:EcMJkuCa.net]: math_jinはRIMSの事務の方みたいですね
内部事情には詳しいけど数学は分からないみたい
834 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:16:46.37 ID:EcMJkuCa.net]: >炉シック
ロジックですね

昨日、とある方が書かれてましたが
↓これ、あってるんですか？
私も（AOL1)と（AOL4）の違いがわからないので
論理で証明できるならお示しください
ーーーーーーーーーーーーーーーーーーーー
§2.3で
I を点αから点βへの有向線分とし
L を I/<α~β> と定義する
（α~β　は　点αとβを同一視する、と読む）

一方
Iのコピー、†I,‡Iをつくり
Jを、両者をつなげたものとして
接合点をγJとする、つまり
†I　を　†αからγJへの有向線分
‡I　を　γJから‡βへの有向線分
として、その上で
M　を　J/<†I~‡I>と定義する
（†I~‡I　は　有向線分†Iと‡Iを同一視する、と読む）

で、望月は「MとLは違う」といって、
§2.4で説明しているようですが
そもそもMとLは違うの？

つまり　†I~‡I　とした時点で
†α~‡α＝γJ＝†β~‡β
であると思うが、上記と α~β はどう違うのか？

望月はLとMの違いに基づいて　§2.4で
　（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1）
　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2）
だが
　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4）
ではないといってる
835 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:31:54.51 ID:EcMJkuCa.net]: >>774
ファイルの名前が翻訳されて違っちゃってますね
正しくは以下の通り

Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
836 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 08:45:10.90 ID:EcMJkuCa.net]: >>772
>なぜ反論しないのか？
>あまりに根本的な誤りのため、本格的に論じるとショルツ側が恥をかくため控えてる。
その昔（昭和時代）、fjで流行った慣用句でこんなのがありました

「ということにしたいのですね？」

ショルツのみならず多くの数学者が「根本的な誤り」を犯しているなら
大いに示す意義がありますけどね　何を恐れているのでしょう？
837 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 09:00:54.38 ID:EcMJkuCa.net]: >>773
>とにかくSS特にSの罪は大きいね。
そんなことないでしょ
フィールズ・メダリストだから正しい、ってことはないですから

ショルツのいうことがおかしかったら、彼が黙殺されます

望月自慢の「リンク」については、
星・山下・譚陽・南出・辻村の各氏も
公然と支持してはいないようです

彼らもCor3.12の証明の「ストーリー」はもっともらしいけど
望月のリンク機構でそれが正当化できる、とまでは思っておらず
何か別の「ロジック」が必要だろうと思ってる
しかしそれが何なのかまでは見つけられていない、
というところでしょうか？

つまり、IUTはヘヴィサイドの演算子法のようなもので
「うまくいくみたいだけど、なんでそうなるのかはよくわからない」
という「マジック」
838 名前：１３２人目の素数さん [2021/03/07(日) 09:11:54.58 ID:5XF9Uzbd.net]: >>772-773
コメントありがとうございます

１．昨年の４月のRIMS記者会見のとき、海外ではネイチャー誌の記事が出たりで、いろいろコメントがありましたし
　Stix氏はノーコメント（態度保留）、ケドラヤ氏は「いますぐ勢力を注いてIUTを研究する必要があるとは考えない」と（肯定も否定もしない立場）
　ショルツェ氏もwoitブログで論争しました
２．昨年、Promenade in IUTが始まり、仏リール大の方が大勢参加されています
　また、南出論文で明示公式が出ることも示されました
３．さて、今回のPRIMS掲載時（2021年3月）とを比べると、結構静かと思います
　ネイチャー誌などの記事もなく、woitブログも昨年と比べると、静かなものです
４．ところで、ショルツェ氏は、いまどう考えているのか？
　おそらくは、悟りを�
839 名前：Jきつつあるのではないでしょうか？ ネイチャー誌がコメントを取ってくれると面白いのですがｗ 追伸 ＜なぜ反論しないのか？＞ ・反論はしており、（日常語の）望月反論で必要十分だという判断でしょう ・反論に時間をかけるより、IUTの研究を進めることで、周囲の理解が進むという判断もあるでしょうね ＜にっくきジャップめ＞ ・それだけでもないと思います ・（感情論としては）ガリレオ宗教裁判のように、従来の常識を超える新説が出たときによく起きる反応ではないかと ＜SS特にSの罪は大きいね。フィールズ賞ウィナーで彼の言うことなんだから指摘は正しいのだろう＞ ・それは日本的感覚であって、論争することに罪はありません（大論争をしても、感情的しこりはなく、ケロとしている） ・フィールズ賞ウィナーになる前の論争ですし、彼に罪はありません ・周りが引きずられるのは、周りの責任です []: [ここ壊れてます]
840 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:03:01.77 ID:UBXJEmwN.net]: ショルツの誤りってORとANDを間違えたってやつ？
841 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:08:10.74 ID:EcMJkuCa.net]: >>784
>Stix氏はノーコメント

自分の研究の妨げになるから対応しないんでしょう

>ケドラヤ氏は「いますぐ勢力を注いてIUTを研究する必要があるとは考えない」

要するに価値をみとめてないってことですね

>ショルツェ氏もwoitブログで論争しました

あれは論争でもなんでもないな
デュピュイが
「モノドロミーなんてIUTに出てこない！」
といってたけど、実にトンチンカン
モノドロミーがあるというのはIUTとは無関係に生じること
IUTがこの問題をどう解決してるのか全然不明瞭というのがショルツの指摘

望月は∨はみたすが∧は満たさないという
「リンク・マジック」で説明したいようだが
そもそもそこが望月以外の人（弟子も含めて）には
「それ、正しいの？」と言われてる核心

3月のQ&Aではそこに質問が集中するね
望月炎上？
842 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:09:32.96 ID:2jvG7yN8.net]: Essentially the claim Mochizuki is making in these first two sections is that the most accomplished and talented young mathematician in his field is an ignorant incompetent, and that everyone Mochizuki has consulted about this agrees with him. It’s hard to imagine a more effective way to destroy one’s own credibility and to convince people not to bother to try and make sense of the third section.
望月が初めの2節で行っている主張は、実質的に、彼の分野で最も熟練し、最も優れた才能を持つ若き数学者が無知かつ無能であり、さらに望月が相談した誰もがこれに同意するというものだ。
自身の信用をこれ以上失わせ、第3節をわざわざ読もうとする気をこれ以上なくさせる方法を想像するのは難しい。
843 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:12:41.18 ID:EcMJkuCa.net]: >>784
>ショルツェ氏は、いまどう考えているのか？
>おそらくは、悟りを開きつつあるのではないでしょうか？

ショルツはもはや望月にもIUTにも全く興味ないでしょう

望月はここにきて∨と∧に関する「怪文書」を発表しましたね
自分では最終兵器とおもってるようですが、
さて3/18のQ&A　どうなることやら
844 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:15:15.72 ID:EcMJkuCa.net]: >>785
>ショルツの誤りってORとANDを間違えたってやつ？

望月はそういってるが、実際間違ってるのは望月の方かも
845 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:21:01.69 ID:EcMJkuCa.net]: >>787
そんな5chの煽り文句みたいな文章読むひまがあったら
§2.3から§2.4の核心部分読んだほうがいいよ
正直読んだ誰もが望月が本当に有能な数学者であるかと疑わせるに十分
846 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:27:10.43 ID:EtTdghbw.net]: 関係者でたな。
ま、そんなに詳しいなら事務ではなさそう（院生？）

IUTが正しいかどうかはさておき、RIMS数論幾何グループが「ショルツが初�
847 名前：燗Iな誤りをしている」という認識を共通で持ってるということがわかっただけ、一歩前進ですね。 []: [ここ壊れてます]
848 名前：１３２人目の素数さん [2021/03/07(日) 10:35:18.27 ID:5XF9Uzbd.net]: >>784
追加、これ面白かった
＜IUTメモ＞
下記記事で
最新コメント 2020-10-08
最初が 2018-09-23
この中で、Xyan Xcllet氏のコメント（2019-09-03）が面白いと思った

（下記表題は、googleクロームの日本語翻訳から。タブ中国漢字ままだと、この掲示板では文字化けする。内容も日本語翻訳で読んだだけですが）
https://www.zhihu.com/question/295600802
知乎
望月のabc予想の証明が無効であるというシュルツの主張をどのように扱うのか？
849 名前：１３２人目の素数さん [2021/03/07(日) 10:44:14.03 ID:UrORCwc2.net]: ∨と∧なんて「論理結合子」の一言でほとんどの数学者は納得する
それを向きを持つ境界付き一次元位相多様体を具体例に持ち出して説明しているのは違和感しかない

また、Cor 3.12の証明のロジックが合っていると分かってるのであれば、ギャップを埋めることは造作もないのだから、新論文を書く時間でギャップを埋めたペーパーを書けばいいだけ
そうすればフィールズ賞受賞者のお墨付きが貰え、理論の理解も進む
京都だけで理論の理解が進めばいい、と思っているのであればギャップを埋めなくても筋は通るが、査読を依頼したり新論文を読んだりを踏まえるとそうは思っていない

本人は論理的抽象的な考え方が不得手で、分かった(気になってる)のだから証明として成立している、というバイアスがかかっていると考えると辻褄が合う
査読者すら命題論理について知らない、ということはあまり考えたくはない(もしそうなら日本の数学のレベルが低すぎる)が、いずれにしても様々な理由から口を出すことが出来なかったように感じる
850 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 10:56:28.37 ID:EcMJkuCa.net]: >>793
単純に∨と∧の意味というより、
M＝J/<†I~‡I>　（詳細は>>780）
という仕掛けだけで都合よくすり抜けられる
と思ってる点が問題かと思う

査読については「構想の有用性」という観点からアクセプトしたのかもしれん
理由はわからんがどうもうまくいくようだという判断か
ただ、そもそもうまくいってるかどうかも人によって評価が分かれるから
そんな状況ならわざわざアクセプトする意味はないといっていい
何のためのプレプリント公開か分からん
851 名前：１３２人目の素数さん [2021/03/07(日) 11:14:35.60 ID:UrORCwc2.net]: >>794
自分はwoitの最新コメントに完全に同意見で、
それですり抜けられると思っているのは、意図的に燻製ニシンを置いてるのではなく、本当に具体例を介すことが癖になってるように見える

本人は証明できたと確信しているわけだから、査読を通るのは当然で、でも理解できているのは周りしかいないから、周りで通したとも考えられる
いずれにしても重要なのは、もし当人が周りが理解してくれればいいと思っているのであれば、査読を依頼する必要はないということ

直接の理由としては論理的・抽象的な考え方の不得手だが、何もかも得意な人はめったにいないし、数学がそういう人を拒絶するわけでもない
一番の問題はwoitも述べてる通り、周りが誤りを指摘しない、そういう環境がないこと
852 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:15:16.56 ID:S/2/Ok8O.net]: 関係者ですが、私はRIMS内部の人間ではないですよ。

IUTの成否はまだ議論を呼びそうですが、観測によって一定以上の客観性が確保できるのであれば、ガチガチに論理固めしなくてもいいんじゃないとは思います。
853 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:20:31.56 ID:EcMJkuCa.net]: >>796
�
854 名前：шﾏ測によって一定以上の客観性が確保できるのであれば、 「観測」という言葉だけで数学者および数学専攻の学生でないことは分かります 数学では一切使わない言葉ですから たかだか有限個の計算事例で満足するなんてことは 数学では決してあり得ません ＞関係者ですが、 望月の親族なら、わけもわからず支持する愚挙は止めたほうがいいですね 本人のためになりませんよ []: [ここ壊れてます]
855 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:26:58.30 ID:S/2/Ok8O.net]: >>797
観測や観察という言葉はガチガチの数学者が使ってますよ
856 名前：１３２人目の素数さん mailto:sage [2021/03/07(日) 11:46:39.56 ID:UBXJEmwN.net]: まぁちゃんとした証明ではなかったとしても
望月予想としては成立するわけだよね？
それだけでもこの論文は意味があったのでは

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

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