18/10/02 12:25:59.79 MWtK/xkG.net
>>673
本当のことだろ
PRIMSの編集委員で誰が専門家なの？
701:１３２人目の素数さん
18/10/02 12:33:16.05 krSYEFfH.net
3.12の証明を取り巻きが出せば良いだけなのにな
自明ならもっちーのチェック含めて1日で終わるはず
702:１３２人目の素数さん
18/10/02 13:38:49.92 Gr9ymhdJ.net
好意的に解釈すると、自明と思ってる導出がZFCから逸脱してるのかもな。だから形式的に書き下す方法論が分からない。その分からなさも上手く表現できない。あるいはシンプルに間違いかも。ZFCから独立云々じゃなくね。
703:１３２人目の素数さん
18/10/02 14:26:56.79 NMN9MRD2.net
>>636
ここの人ってか世界の数学界がそうじゃん
704:１３２人目の素数さん
18/10/02 14:38:55.34 dqgkljyn.net
>>674
査読者だよバカ
705:１３２人目の素数さん
18/10/02 14:39:56.15 dqgkljyn.net
おい、おまえらの心に響く言葉を与える。心して聞けよ。
「新しい科学の真理というものは、反対者を説き伏せ、光の輝きを見せることによって勝利するのではない。むしろ、彼らはやがて死んでいき、それに代わって精通した新たな世代が成長するからである。」
706:１３２人目の素数さん
18/10/02 14:48:22.24 MWtK/xkG.net
査読中に多数の修正は許されるの？
許されるなら査読ではない
査読者も著者だな
707:１３２人目の素数さん
18/10/02 14:48:47.79 815J3Xnp.net
てにをは
708:１３２人目の素数さん
18/10/02 14:57:36.99 MWtK/xkG.net
真理w
709:１３２人目の素数さん
18/10/02 15:02:36.33 lAQy5LEW.net
まあ5ちゃんの書き込みに意味がないというのはその通りで、
今後は5ちゃんで（というかネットで）なにを書かれようが、
IUTは相手にしないということで数学界は進むだろう。
本人やアカポスゲットまで行った取り巻きは知らんが、
ゲットできてないのは離反すると思うけどね。
710:１３２人目の素数さん
18/10/02 15:06:27.84 8lrMZ8B1.net
>>683
>今後は5ちゃんで（というかネットで）なにを書かれようが、
>IUTは相手にしないということで数学界は進むだろう。
コレまでも、そしてコレからも数学界が5chを相手にすることはないよww
711:１３２人目の素数さん
18/10/02 15:16:55.15 h1ooZ/t3.net
goさんが書いてきたな
712:１３２人目の素数さん
18/10/02 15:23:23.01 CAxjNscO.net
Go は11月にIUTTの集中講義するのか
713:１３２人目の素数さん
18/10/02 15:55:52.99 UKIClH3k.net
脚注でのF批判はもう削除した方がいいと思うけど
714:１３２人目の素数さん
18/10/02 16:33:26.10 CP03g94i.net
査読者が間違い見つけて修正案を出し共著を持ちかけるのはよくある事なのか？
715:１３２人目の素数さん
18/10/02 16:43:34.29 wQgJPoDc.net
SS側はレポートで結局「ボクチンわかりませんでした。ここまでの理解なら3.12は機能しないチャンチャン」しか言えてなくて、わざわざ公にレポートするのにそんなこと主張するもんだからモチは「学部生レベル！」と宣ってる。
これがこの話のまとめね。論文最後までしっかり読んでない者と当でない者の差ありすぎ。はい終了。
716:１３２人目の素数さん
18/10/02 16:55:16.55 wOVSrTQV.net
結論
The ABC conjecture has (still) not been proved.
717:１３２人目の素数さん
18/10/02 16:55:58.86 ReKiomQ+.net
おまえのサル並みの脳内まとめで片付けるな
718:１３２人目の素数さん
18/10/02 17:12:03.85 wSKJ+IiG.net
低レベルなイチャモンつけることしか能のないサルは相手しない方がいいですぜ
719:１３２人目の素数さん
18/10/02 17:12:12.22 D52Kr+42.net
>>670とかはjinかエアプくさいな
720:１３２人目の素数さん
18/10/02 17:20:31.95 D52Kr+42.net
多分少なくとも長期的には正当化されるとは思うが、過渡的な理論になるとも思う
もっと自然な理論に期待する
721:１３２人目の素数さん
18/10/02 18:34:24.36 b77PBQT3.net
>>689
ばかだなあｗ
そういう疑義に耐えて証明文を提示できた数学論文だけが価値をもつってことだよｗ
望月論文は結局敗北したってこと。
722:１３２人目の素数さん
18/10/02 19:01:47.90 D52Kr+42.net
６年でようやくこんな話してんのかよって感じだから、短期的には厳しいな
狭間の理論になるかもしれん
723:１３２人目の素数さん
18/10/02 19:23:26.39 wOVSrTQV.net
役立たずは理論と言わない、
あえていえば 机上の空論
724:１３２人目の素数さん
18/10/02 19:34:37.19 uHlgDPUa.net
６年経ってこれって
事実上終わりだろ
１年目ならまだわかるが
関係者はなにやってんの??????
725:１３２人目の素数さん
18/10/02 19:55:02.84 r1ZALuUK.net
>>686
それ素人が受けられるやつ？ならいきたい
726:１３２人目の素数さん
18/10/02 20:24:11.62 yF2Muh45.net
このスレの嫉妬と妄想と悪意の塊のような書き込みを見ると、
望月先生の理論がいかに画期的かがよくわかる。
ショルツ先生ですら、嫉妬の心にとらわれて、
普段の聡明な判断を見失っているのかもしれない。
あまりにも先見的な理論は、人をおかしくする。その意味では罪だ。
望月先生の罪は人をおかしくするほど画期的で完璧な理論を構想したことだ。
いくら数学史に貢献するとは言え、少しは反省してもらいたいものだ。
727:１３２人目の素数さん
18/10/02 20:29:55.56 ZEmA5gip.net
URLﾘﾝｸ(i.imgur.com)
9番の問題なんだけど
この楕円形が円の半径の中心を通ってるってどこでわかるの？って小3の息子に説明されたんだけどわかる人いる？
説明できなくて困ったわ
728:１３２人目の素数さん
18/10/02 20:37:03.07 DEamU9+r.net
We voiced these concerns in this form
at the end of the fourth day of discussions.
On the fifth and final day,
Mochizuki tried to explain to us why
this is not a problem after all.
In particular, he claimed that up
to the “blurring” given by certain
indeterminacies the diagram does commute;
it seems to us that this statement means
that the blurring must be by a factor of
at least O(l2) rendering the inequality
thus obtained useless.
729:１３２人目の素数さん
18/10/02 20:46:25.94 tF3yOA5C.net
７００みたいなのを見ると流石中○連合が残ってる京大ってすばらしいよね.
730:１３２人目の素数さん
18/10/02 21:12:06.86 WscdGJ+N.net
>>701
問題としては絵の中で示されてるから
方法論としては小学生なら適当な3点とってそのうちの2点を結ぶ線分の垂直二等分線たちの交点が球の中心と一致するか調べる
731:１３２人目の素数さん
18/10/02 21:18:32.89 DtgHbRnZ.net
フィールズの受賞者がなにい嫉妬してるのﾌﾟﾌﾟﾌﾟ
嫉妬じゃなくて向けられてるのは憐れみと嘲笑だろﾌﾟ
使えない取り巻きにかこまれてﾌﾟﾌﾟﾌﾟ
732:１３２人目の素数さん
18/10/02 21:44:42.86 FXsK7DMN.net
嫉妬 妄想 悪意
統失患者が好んで使いそう
733:１３２人目の素数さん
18/10/02 21:46:48.70 QfD+x++C.net
>>698
ほんとこれだな。
なおかつ数学の理解が深いショルツが加わってもこの状況だからな。
734:１３２人目の素数さん
18/10/02 21:59:52.17 m/scMX25.net
周りがバカばっかりで給料貰えて研究予算までつくならそりゃうらやましい
735:１３２人目の素数さん
18/10/02 22:04:10.50 yF2Muh45.net
人間は悲しい。フィールズ賞をとろうが、
アーベル賞をとろうが、ガウス賞をとろうが、
否、そういうものを手にしたからこそ、
それだけのものである筈の自分�
736:ﾌ知性や創造力を遥かに凌駕した、 自分には到底手の届かない偉大なものを見たとき、自分の小ささを思いしり、 どうにもならない嫉妬に心が埋め尽くされてしまうのだ。 天才は嫉妬の塊なのだ。しかし、このスレの書き込みは天才の嫉妬とは異なる。 このスレの書き込みは、ただの落ちこぼれのさもしいルサンチマンだ。
737:１３２人目の素数さん
18/10/02 22:07:36.46 zeMAZsq8.net
IUTがZFCから逸脱してるってのはほぼ間違いない感じ？
738:１３２人目の素数さん
18/10/02 22:19:12.64 b77PBQT3.net
ZFCは普通の数学には大きすぎるほど強力な理論なので、
それはないと思うけどね。
739:１３２人目の素数さん
18/10/02 22:21:25.51 b77PBQT3.net
望月さんを小保方呼ばわりするのは間違いだけど
>>709みたいな信者の書き込みを見ると、考え方が「小保方信者」そっくりで、
こういう人間が騒ぐほど、小保方スキャンダルにダブって見えてしまうという悲劇ｗ
740:１３２人目の素数さん
18/10/02 22:24:39.35 eDG/Xzdx.net
そういえば発表の当日くらいにどっかの基礎論の大学院生が突っ込んでたけど、
あの指摘はどうなったんだろうか。
そのときも註を見ろとかなんとかで収まった気がするが、
あれも反論になってたのかどうか怪しくなってきたような？
741:１３２人目の素数さん
18/10/02 22:26:48.08 d+NYyyrF.net
>>709
人格持ってない対象相手にする理神論者なぐらいがせいぜいの相手に社会力学的な立ち回りで寝言吐きに来るなよバカ人文芸術社会学系
742:１３２人目の素数さん
18/10/02 23:01:53.96 1pAziQ2o.net
>>696
すべてが終わったあとで都合良い解釈で「再発見」されそう
743:１３２人目の素数さん
18/10/02 23:05:39.60 lEIuu5ES.net
望月とショルツのやりとり見る限りどっちかというと嫉妬に狂ってるのは望月にみえるんだが
三十歳のフィールズ賞受賞者に対して学部生呼ばわりはちょっとねえ
744:１３２人目の素数さん
18/10/02 23:12:15.47 1pAziQ2o.net
この業界下村博文みたいな低学歴に詣でる必要ないからいいよね
小保方クラスのやらかししても当人と一派の面子が潰れる程度で済む
745:１３２人目の素数さん
18/10/02 23:25:34.61 FXsK7DMN.net
感情論に走ってんのは望月側だからな。
ショルツ側は冷静に内容を徹底検証し、
救いようがないと断定できる致命的問題点を粛々と指摘しているだけ。
746:１３２人目の素数さん
18/10/02 23:47:18.91 8uqGXLQU.net
そりゃ感情的にもなるよ。新しい数学を生み出したのに、既存の数学の専門家は誰もついてこなくて、わからないから説明せよ、端的に説明できないと批判の嵐、なんだもの
747:１３２人目の素数さん
18/10/02 23:51:41.70 vWJKxryK.net
望月氏とPS・JSの報告書とコメントにはいろいろ思うところがあるんだけど
少なくとも現時点で言えることはPS・JSは数学者であろうとし、望月氏は
文学書、それもマラルメ『イジチュール』やジョイス『フィネガンズ・ウェイク』を書いているように見える
それはもしかしたら正しいのかもしれないけど、それを判定するためには明晰に分かり易く書かれなければならない
748:１３２人目の素数さん
18/10/02 23:52:27.81 p3UfXBrn.net
ここにはcanonicalな馬鹿しかいない
749:１３２人目の素数さん
18/10/02 23:59:04.38 p3UfXBrn.net
>>710
逸脱というか特異なのは論法・計算法
原理的には確かに圏論や集合論と大差ない仕組みで書かれてはいる
何が問題なのかというと、宇宙際の圏論的な射とか関手について考える時に
ある意味でラベル付けとアルゴリズムという情報を「付加」してしまっているということだ
そうすることで上手く非自明な計算を実現するリンクが実現するわけだが
PS-JSはこのような付加的情報を認めるべきではないと主張していることになる
750:１３２人目の素数さん
18/10/03 00:06:39.55 CuPHjm4L.net
望月側の自己弁護としては、そのようなアルゴリズムは絶対ガロア群のような、
別々の世界を往来できる基本構造と論理構造で書かれているわけだから問題ないとなる
圏の絶対遠アーベル幾何学的な現象を単に明示的にして再認識しているだけなので
恣意的ではない、ということ
今のところどっちに転んでもおかしくないという印象だけど、短期決着は無理かなと
751:１３２人目の素数さん
18/10/03 00:11:49.77 L6CyaT+l.net
なるほどわかり易かった
752:１３２人目の素数さん
18/10/03 00:13:45.69 AdhFQD0z.net
>往来できる基本構造と論理構造
ここに膨大な計算が必要とやらで例が出せないんじゃなかったっけ
ないものねだりでは
753:１３２人目の素数さん
18/10/03 00:15:42.40 V4zt1Npm.net
>>722
PS・JSはその導入を必要とされた「付加的情報」が結局矛盾となり意味を成さないと言っているわけだよね
754:１３２人目の素数さん
18/10/03 00:18:15.33 IKocM6ZQ.net
IUTTが複雑怪奇だからといって必ずしも嘘とは言えない
車でいうとプリウスのTHSはエンジンとバッテリーとモーター間の複雑怪奇な
協調制御してるけどちゃんと問題なく動作していて低燃費を実現してる
マツダのスカイアクティブXエンジンも11の変数を制御する約5000万におよぶ
燃焼パターンをリアルタイム制御してSPCCIを実現してる
今まで実現できなかった何かを実現しようとするときに、とんでもなく複雑怪奇
な制御が必要になることは工学の世界では実際にある
755:１３２人目の素数さん
18/10/03 00:18:46.20 lxPXaWJA.net
もっちーが3.12問題について説明しない理由
1. 望月はやや偏屈者なので、わざわざ説明したがらない
2. ショルツらの理解が明らかに不十分なので相手にしていない
3. この問題について望月は説明できず、証明を思いつくまで時間稼ぎをしている
どれだと思う？
756:１３２人目の素数さん
18/10/03 00:31:48.85 CuPHjm4L.net
>>726
そうだね。区別しようとしても結局潰れてナンセンスになるはずだ、と言っている
その辺の理屈は多分、可換図式ではないこととかが関係しているだろうね
757:１３２人目の素数さん
18/10/03 00:32:38.71 tJMPfan9.net
絶対ガロア群に対しては星さんの論文がそれなのか？
758:１３２人目の素数さん
18/10/03 00:34:07.35 bt9vub2B.net
7279別に車の制御は不思議でもなんでもないでしょ
現にプログラムできてるわけだし
ダフィーがプログラム的に検証しようとして続報がないのもあれかなあ
759:１３２人目の素数さん
18/10/03 00:52:33.71 w0Z18xbO.net
車の制御がIUTTを基礎にしてるわけでもないのに…ﾔﾚﾔﾚ
760:１３２人目の素数さん
18/10/03 00:58:18.42 CuPHjm4L.net
>>730
星さんは確か輸送がどうとか胡散臭い言い方しているけど、あれはそういう話をしている
ホッジ劇場の正則な数論的環構造の情報を、単解的な別世界に遠アーベル幾何学的に変換して
表現しなければならないから
そもそも何故単解的な世界に行く必要があるのかというのは、文字通り「宇宙際の」ある種の変形射の
一般化を行うから。だから一旦解体し、環構造の成立しない空間で計算する必要がある
望月はその計算を遠アーベル的なそうした情報変換で実現できることに拘りと誇りがあるみたいね
761:１３２人目の素数さん
18/10/03 01:16:10.77 V4zt1Npm.net
>>729
その辺だよね、どういう理屈で動いているのか分からないのは。
面白いことに、PS・JSは脚注でこう書いている
“the critical [IUTT-3, Theorem 3.11] does not become false, but trivial.”
つまり、Multiradialアルゴリズムは認めるが、その
762:計算結果はバカげていると言っているわけだ（笑）
763:１３２人目の素数さん
18/10/03 01:32:09.73 Jd8hXTRX.net
>>729
単なる推測で言ってるわけじゃないだろうから、
検証されたらどちらかが間違ってるって事だね。
研究所じゃ検証は無理なのかね。
764:１３２人目の素数さん
18/10/03 01:55:01.37 i/vljcP+.net
何人かの第三者による検証が必要な流れになってる
今のところMinhyong Kimが検証してるようだから報告ペーパー待とうず
あとはkedlayaとかconradあたりの人間が加われば終止符打たれるやろ
765:１３２人目の素数さん
18/10/03 01:57:39.50 dQ8JHVH6.net
フィールズ賞受賞者すらも手玉にとる理論の検証か
あと10年はゴタゴタやってそう
766:１３２人目の素数さん
18/10/03 02:33:12.04 CqE9rkLr.net
大数学者様がなるだけ一階述語論理計算すらおぼつかないのかなwなるだけ形式的に書き下せば白黒つくだろうよ。
767:１３２人目の素数さん
18/10/03 02:55:03.24 V4zt1Npm.net
今回の双方の報告書とコメントなんだが、どちらかが6日間に及ぶ討議の内容を誤魔化して報告していると俺は思っている
おそらくは片方がかなり追い込まれたはずだ。詳細は参加した4人にしか分からない。決裂したことだけがはっきりしている
768:１３２人目の素数さん
18/10/03 03:02:29.79 V4zt1Npm.net
ABC予想証明の件はワイルズによるFLT証明とは対照的だ
証明を陰から支えてくれたニック・カッツは査読者としては厳しかった
リベットがフライ・セール予想の証明に難航していた時、メイザーのアドバイスがあった
極めつけはテイラーの存在だね
孤高の天才というのは夢物語だよ
769:１３２人目の素数さん
18/10/03 03:21:42.70 VzBgATJR.net
ノイマンやニコラ・テスラは？
アインシュタインは何か参考文献があったわけじゃないと思うけど
しかし解けたというなら自然な流れってのはあると思うけどね
770:１３２人目の素数さん
18/10/03 03:40:15.89 V4zt1Npm.net
>>736
俺はIUTTに好意的な人物ではMinhyong Kimに一番期待している
>>549でリンクしたMathOverflowの206はKimによる望月氏のモチベーションを探るものであり、
それにコメントしたDavid Robertsに対してKimはこう答えている
---------------------
Dear Minyong, it has been stated by experts, here on MO and elsewhere, that universes are not necessary for the uses to which EGA/SGA are put.
Indeed Colin McLarty has shown that ZFC is far stronger than is necessary, with the results provable in some higher order version of arithmetic.
As far as the interuniversal aspect of IUTT goes, I expect it to have a topos-theoretic interpretation.
This to my mind makes switching between models of set theory cleaner i.e. functorial. - David Roberts Sep 9 '12 at 1:27
Thanks David. I'll think about it. (略) - Minhyong Kim Sep 9 '12 at 4:50
---------------------
以上はIUTT論文発表直後の会話。あれから6年も経っている
771:742
18/10/03 03:46:39.13 V4zt1Npm.net
失礼！レス先間違えた（笑）
(誤)549→（正）>>590
何でこんな間違いをしたんだろう？（笑）
549は俺のレスではないからね
772:１３２人目の素数さん
18/10/03 03:52:21.98 5WJVf+Za.net
『証明』が既存の数学に依存するならそれは他の物で代用できるっしよ、てな具合で。
773:１３２人目の素数さん
18/10/03 06:30:07.18 HJYqcEj7.net
昨日、ノーベル数学賞に望月教授が選ばれたね
774:１３２人目の素数さん
18/10/03 11:27:09.81 9VLuF17N.net
>monodromy, on the left part of the diagram
alone, which arguably can be overcome
by using averages
所で 9.28も論文修正
査読はどうなっているんだろ(苦笑)
775:１３２人目の素数さん
18/10/03 13:37:44.55 EIkmWhCG.net
修正多数でもかまわないちゅー前例作ったよね
776:１３２人目の素数さん
18/10/03 15:40:12.23 FC5oaXsc.net
何言ってんだ。査読で修正多数なんてよくある話だろ。
777:１３２人目の素数さん
18/10/03 15:44:33.38 FC5oaXsc.net
新たな燃料投下。
ABOUT CERTAIN ASPECTS OF THE STUDY AND DISSEMINATION OF SHINICHI MOCHIZUKI’S IUT THEORY
IVAN FESENKO
The aim if this text is to communicate in a compact form some factual information
related to the study of Shinichi Mochizuki’s IUT theory, first made public in 2012,
and its dissemination, as well as various aspects of the situation around IUT.
IUT is the most important and unexpected development in mathematics of the 21st century.
A more comprehensive presentation of various issues is contained in my papers1.
Without repeating the content of those papers,
here I include some smaller details and facts not included in them.
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
778:１３２人目の素数さん
18/10/03 16:30:21.21 gxSacHyE.net
なんで遠アーベルじゃなきゃだめなの
779:１３２人目の素数さん
18/10/03 16:35:21.79 7E9ozZ7p.net
>>748
arxivへ投稿しろよ
780:１３２人目の素数さん
18/10/03 16:38:11.00 fwt7WI4z.net
IUTの一般論自体はZFCから逸脱している可能性はあるのかもしれないが、
少なくともABC予想の証明だけに特化すれば、
原理的には今までどおりの具体的な数学の羅列なんだから、
ZFCの中に翻訳できるんじゃないかなあ
もしそれもだめなら、だめな部分が
ZFCから本当に逸脱している箇所だと判明するから、
数学者が懸念しているモヤモヤ感がはっきりするのでは
781:１３２人目の素数さん
18/10/03 16:44:27.88 xRO0ubj7.net
Kimはディオファントス界隈では結構有名だからな
Kedlaya、Kim、玉川らが束になって理解できないなどありえん
でも6年経っちゃったw
782:１３２人目の素数さん
18/10/03 17:16:13.18 iimDjRNA.net
>>749
>IUT is the most important and unexpected development in mathematics of the 21st century.
ひょへー
783:１３２人目の素数さん
18/10/03 17:20:20.19 EyPuq2iZ.net
フェセンコはIUT勝利宣言したのに、文さんはなんで最後日和った？
784:１３２人目の素数さん
18/10/03 17:24:26.91 iimDjRNA.net
>>749
3.3. The study of IUT by two German mathematicians.
の最後にScholze、Stixの経緯がちょろっと書いてある
もっちーは少し腹を立ててたんだね
785:１３２人目の素数さん
18/10/03 17:31:55.76
786:fjfXXcxy.net
787:１３２人目の素数さん
18/10/03 17:34:35.79 HecCCd5s.net
>>739 ショルツ側が「追い込まれる」なんて状況は根本的にありえないんだけどな。
納得のいく説明があれば、確かにできてる！すごい！で済む話。
この種の非対称性もほとんどの人がショルツ側に真実味を感じている理由だ。
788:１３２人目の素数さん
18/10/03 17:38:05.02 WlcAyvCo.net
望月とかぶるわ。
本庶さんのSTAP騒動時のコメント。
質問８
そもそも科学的に論文の評価をするということは、どのように行われるのでしょうか。
答え８
通常、科学的論文は世界中の研究者に見て評価してもらうために雑誌に投稿し出版します。
雑誌には色々な種類がありますが、ネイチャーのような商業誌では研究者が雑誌社の中におりませんので、出版に値するかどうかの評価を外部の研究者に無料奉仕で委託しております。
通常２～３名に頼み、そのコメントは著者に匿名で伝えられます。
一方で学会が主体となって出版している雑誌では雑誌の編集委員と外部の評価者との両方の意見によって論文を出版するかどうかが決められます。
(中略)
数年ぐらいはいろいろ議論がされ、まともに話題になりますが、やがてこの論文が先と同様に様々な観点から問題があり、やはり消えていくものが 30％ぐらいはあるでしょう。
論文が出版されてから 20 年以上も生き残る論文というのはいわゆる古典的な論文として多くの人が事実と信じるようになる論文で、まず 20％以下だと考えております。
中には最初誰も注目しなかったのに５～１０年と次第に評価が上がる論文もあります。
重要なことは雑誌に公表された論文をそのまま信じてはいけないと言うことです。
789:１３２人目の素数さん
18/10/03 18:10:48.89 AdhFQD0z.net
数理研の連中の全問正解率は3割以下だろうな
URLﾘﾝｸ(www.youtube.com)
790:１３２人目の素数さん
18/10/03 18:16:52.41 xRO0ubj7.net
今回のノーベル賞とか関係無く、京大理学部のブランド力ってもう無くなったな
天才を輩出するイメージが消えた
791:１３２人目の素数さん
18/10/03 18:33:46.31 iimDjRNA.net
>>757
程度は知らんけど気分を害したことはよくわかりました
792:742
18/10/03 18:37:13.32 V4zt1Npm.net
>>752
宇宙際においてはZFCG(or ZFCU、GやUはグロタンディーク宇宙)が前提として使われているようだから
その辺の操作の仕組みがどうなってるのかなという素朴な疑問がある
トポスや遺伝的有限集合の話になってくるのだけどね（この辺は詳しい人に聞いて）
Ⅳ・§3を読み返してからⅠから読み返せばスッキリするかもしれないと感じている
ただ、Cor3.12に関しては単純に技術的問題だと思う（IUTTの根幹に関わるが）
793:742
18/10/03 18:53:27.78 V4zt1Npm.net
あと、フェセンコは面白すぎるね。クオンタマガジンにまでケチつけてる（笑）
IUTTの8割は遠アーベルで構成されていて、IUTTについては専門家だけが語ればよい？
フェセンコは？山下氏は？ケドラヤらはどうなる？クオンタにはスティックスやKimのような専門家もコメントしているのだが・・・
面白すぎるよ、この人は。IUTT騒動の狂言回しだね
794:１３２人目の素数さん
18/10/03 18:57:34.08 0SoSmUkX.net
高階モデル＋ツリー構造的な感じかもね
795:１３２人目の素数さん
18/10/03 19:08:19.38 /+des3cj.net
>>74
796:0 そのとおり。 もっとも懐疑的な立場で論評してくれる人がもっとも眞實への力強い援軍となる。 「信者」は全く役に立たない。ここの書き込みみてもわかるｗ 今回の騒動では信者の布教活動ばかりが先行したので、いまになって最悪の事態となっている。
797:１３２人目の素数さん
18/10/03 19:13:10.67 V4zt1Npm.net
フェセンコのNew Scientistでのコメントやペーパーを読むと、IUTT騒動がまるでIUTT宇宙（！）で起きているように見える
望月氏とコンラッド（発端・悪党の元締め）の喧嘩の決着を付けるために（不等式）
インターネットを使って（Θリンク）、両陣営が代理戦争（フェセンコやPS・JSらpilot object）をし、
最後に望月氏とコンラッドを評価する・・・
Θリンクのダイアグラムをモノドロミーへ導くj2はフェセンコ、あんたじゃないっかっていう（笑）
798:１３２人目の素数さん
18/10/03 19:26:03.00 gGvK8ZAo.net
フェセンコによると、2020年度はRIMSでIUTTのプロジェクト研究をするらしいね。
こんなグダグダで欠陥の指摘にまともに答えられない状況で、RIMSを代表する事業として大金をつぎ込むなんてありえないよ。
小保方の嫌疑に対して、手間と大金をかけて不毛な再現実験をしたことを思い出すよ。
まじでRIMSを潰すつもりかよ。
799:１３２人目の素数さん
18/10/03 19:35:53.15 jHqIe+ns.net
>>767
俺のTo-hokuネタの方が兇悪だわ。
800:１３２人目の素数さん
18/10/03 19:45:43.79 CY9Ejq2R.net
望月級の後継者が現れない限り掘っても何も出ないよな
その為の布教活動だったわけだが溝は埋まらないというw
801:１３２人目の素数さん
18/10/03 19:52:05.91 dPWkGRVj.net
まず3.12が根幹というのは間違いだと思う
べつにabc予想が解けないから欠陥なんてことはない
問題はそこに至る過程まででタオが言っているようになにも成果が出て来ないこと
802:１３２人目の素数さん
18/10/03 19:52:13.27 V4zt1Npm.net
>>766
大げさな話だけど方法的懐疑というのは大事だよね、反証可能性とかもね（科学哲学はあまり好きではないが）
反証で連想したんだが、かつて京都には永田雅宜先生がいたんだよね、Mr. Counter-example！
>>769
スレチですが、マジネタなら教えてください
803:１３２人目の素数さん
18/10/03 19:58:34.85 EckEOlYL.net
てか、やっぱり内部の人間だったな10月のこれだろ？
804:１３２人目の素数さん
18/10/03 20:05:34.90 xyy0nV/V.net
このままだと真偽の検証を試みる人がいなくなってコミュニティから無視されてしまうのでは
805:１３２人目の素数さん
18/10/03 20:06:42.69 4PbR5+I9.net
次世代幾何学準備センターだっけか？
単なる布教活動の為だけとは思えないから、
IUTTの更なる発展に何らかの具体的な展望が見えたのかもしれん。
806:１３２人目の素数さん
18/10/03 20:11:16.25 X5e90cZ/.net
望月さんって、ひょっとして童貞なんですか？
807:１３２人目の素数さん
18/10/03 20:17:32.63 V4zt1Npm.net
えっ？
Multiradialアルゴリズムと評価(Cor3.12)ってABC予想を証明するためだけの“道具”だったの？俺、アホの子だったの？
Cor3.12までの過程で何の成果が出てないとしても、IUTTそれ自体に間違いがなければいつか役に立つ日が来るかもしれないと思っているんだが
今すぐ役に立たないからといってツマランと思うのはどうかな、と俺は思う。その点は望月氏に同意する
808:１３２人目の素数さん
18/10/03 20:21:50.52 VOXV2i6A.net
理研の小保方晴子による捏造事件のほうが
1年程度で収束したからまだマシ
809:に感じてきた…
810:１３２人目の素数さん
18/10/03 20:23:23.18 xyy0nV/V.net
いや別にIUTは捏造じゃないでしょ
811:１３２人目の素数さん
18/10/03 20:49:42.77 j0AJ35Xo.net
ある部分を故意に隠してたらそうなるけどね
812:１３２人目の素数さん
18/10/03 20:50:01.38 JGY7e9kX.net
本庶佑「科学は多数決ではない」
813:１３２人目の素数さん
18/10/03 20:51:01.45 tIod93pw.net
>>777
タオが言ってるのは役に立たないんじゃなくて、
ここまで成果が出ないってことはどこかおかしいんじゃないの、
って話だと思うんだが
例えばまったくなんの工具も作れない物理法則（しかも誰も理解できない）
というのに説得力があるのか、という話
814:１３２人目の素数さん
18/10/03 20:56:12.84 xdzGC5qA.net
やっぱりここの人アホやは
815:１３２人目の素数さん
18/10/03 20:56:35.07 xdzGC5qA.net
全員な
816:１３２人目の素数さん
18/10/03 21:02:46.94 HecCCd5s.net
オマエモナ
817:１３２人目の素数さん
18/10/03 21:03:57.81 bkLFIr3R.net
というか逆にこれだけダメ出しされてIUTは役に立つかもって
望月がRIMSの所員っていう権威づけ以外に根拠あるの？って思うんだが
818:１３２人目の素数さん
18/10/03 21:15:31.24 E7jiWGh8.net
超準解析とどっちが使えるの？
819:１３２人目の素数さん
18/10/03 21:16:06.39 OEwtuE/g.net
フェセンコのレポートめっちゃ海外の数論研究者に喧嘩売りまくってるな
今に始まったことじゃないけど
いろいろ理屈付けてるけど劣勢だから逆ギレして誤魔化してるようにしか見えないわ
820:１３２人目の素数さん
18/10/03 21:26:38.06 41UVbUWs.net
ロシアの国家エージェントで各国の研究機関にウイルスを埋め込む役目だったりして
821:１３２人目の素数さん
18/10/03 21:29:05.94 xyy0nV/V.net
abc予想証明できるのは大いに役立ってるのでは
822:学術 クーロンで 遭いましょう。
18/10/03 21:38:13.95 avh6uVCA.net
雅楽。
823:１３２人目の素数さん
18/10/03 21:38:42.48 N5gSAYAy.net
フェセンコ先生がついに動いたか。
さあ、次に続く数学者は誰だろう。
嫉妬と偏見にとらわれず、
真理の大道を歩む真の天才は誰だろう。
824:１３２人目の素数さん
18/10/03 21:42:26.35 IUKVGcnk.net
バカjin帰れ
825:１３２人目の素数さん
18/10/03 22:01:23.70 gGvK8ZAo.net
今日、フェセンコが京都の談話会で講演したはずだけど、IUTTの話もしていた？
アブストラクトだとIUTTは明示的には出てきていないけど。
826:１３２人目の素数さん
18/10/03 22:07:12.76 4hL5jlv3.net
何かにつけて遠アーベル幾何の専門家じゃないと分からないってもっちーもフェセンコも言ってるけど、専門家でも分かってない現状をどう捉えてるんだろ
827:学術 クーロンで 遭いましょう。
18/10/03 22:11:03.60 avh6uVCA.net
吸う学者 プルームテック美味しいよね。
828:１３２人目の素数さん
18/10/03 23:33:58.46 jeAjtGOE.net
遠アーベル幾何の学生を増やしたいだけだろ
829:１３２人目の素数さん
18/10/03 23:39:54.87 SY2Yw4un.net
珍しく仁美がいいことつぶやいてる
しばしば秀才が陥る罠ですが論文に書いてあることがすべて正しいと思い一生懸命知識の吸収に励む
あまり、真の科学的批判精神を失うという若者が少なくありません。
とりまきのことかw
830:１３２人目の素数さん
18/10/03 23:50:41.17 eyhXvh6E.net
数学と科学は違うだろ
後者は現時点での仮説の総体で反証可能性がある
前者は論理的瑕疵がなければ未来永劫正しい
831:１３２人目の素数さん
18/10/04 00:16:17.67 hvMVNx8m.net
実際には不完全性定理があるからそうならないけどね
ZFCだって矛盾が見つかるかもしれない
832:１３２人目の素数さん
18/10/04 00:24:19.54 o8OQ4Osr.net
は？
833:１３２人目の素数さん
18/10/04 00:35:06.50 a+8Fkkon.net
>>782
申し訳ないが、タオの成果云々という話は個人的にはどうでもよくて、このことは望月氏自身も自覚している
2014年報告書の(H4),(T4)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
タオについて言うならば、俺はむしろIUTT論文発表直後にエレンバーグのブログに寄せた多くのコメントに興味がある
URLﾘﾝｸ(quomodocumque.wordpress.com)
ここでタオはモデル理論的な観点から望月氏の方法を考察している
834:１３２人目の素数さん
18/10/04 00:35:31.09 AH8G/dCx.net
>>749
あほくさ
罵倒の怪文書を貼るなよ
835:１３２人目の素数さん
18/10/04 01:08:41.26 tXq/RwIk.net
具体的な結果を求めるなら関数体の楕円曲線の結果を数体に翻訳できるか、という点に尽きる
優しく捉えるならば、多くの表現論的な結果を解釈するのに時間がかかるのかなあということだけども
836:１３２人目の素数さん
18/10/04 01:35:56.46 TvJmURK5.net
論文連ねてジャーゴンの山をきずく才に長けてるからこうなってるわけで
837:１３２人目の素数さん
18/10/04 01:55:18.48 vacnKqyf.net
お前ジャーゴン言いたいだけやろ
838:１３２人目の素数さん
18/10/04 01:58:22.72 tXq/RwIk.net
正直一回ざっと読んでから読む気全く無かったんだが、やはり「非可換図式」が問題だね
最初の直感が大体合ってたのですんなり読めた。てか、やっぱりショルツが引っかかったのは一番重要な
ポイントだったし、望月もそれを完全に自覚していたみたいね
それも、やはり「絶対ガロア群」とラベルに基づく区別が問題だ。ある意味基本群のほうは二の次
鍵は「coricな立場でnon-coricな情報を記述する」という話の通り
歴史とアルゴリズムによって特徴づけるということは、同時に相互理解を実現するものでもある
いわゆる「LTL」では高さ関数に対応する対数殻を場合分けして計算するように図式が構成されている
ショルツがもし誤解をしているというか理解できなかったならば、その非可換図式の意味
同型構造を区別するために望月はラベルを付けてるのに、ショルツはそれを単純化したようだ
集合論的な側面で言ったら、これは「集合に対する選択関数」のように関手を扱うということではないかなと
選択関数も圏の関手も、基本的にはトポス理論的な観点だとすっきりする現象なんで
そういう意味ではトポスによって整理できているのではないかなと
他にも思うことはあるけど、正直あんま語りたくないのでこの辺で
まあここでは肩身が狭いだろうけど、やはり俺は「長期的には成立する」派に立つね
※LTLはlog theta latticeの略
839:１３２人目の素数さん
18/10/04 02:11:17.13 tXq/RwIk.net
あと、>>316の内容は正直いまいちよくわからないんだよねえ
具体的なものって何を指しているんだろうか？
ちゃんと読んだら何か感じるかもしれないが、よくわからないわ。誤解なのか鋭い指摘なのか
840:１３２人目の素数さん
18/10/04 02:47:00.74 zqwRViIm.net
ラベル付けが整数論で彼の分野と整合しないからかな
マックスブランクに問い合わせればいいじゃないの
841:１３２人目の素数さん
18/10/04 02:59:19.62 vOGVOEvL.net
双方がそうしている理由があるんだろうね(謎
842:１３２人目の素数さん
18/10/04 03:33:24.70 tXq/RwIk.net
PS-JSの方を見てみたがｗ、流し読みってレベルではないね。読み込んでるのは確か
ラベルの区別が何のためにあるのか、不等式の条件とか、さすがに認識していないわけでもない
第三者がこの議論をフォローするのはかなりきつい（ある意味両者の立場を理解しなきゃならない）
抽象的なものと具象的なものの区別って議論の意味は何となくわかったんだが
どうもこれ、やはり非可換図式の構造を
843:誤解しているのではないかという感じがするんだけどなあ 例えば環とモノイド、乗法群と加法群の圏の区別も含めて、むしろ彼らのが何か釈然としない印象がある このレベルになると確信を持ってどうこう言うのは難しいけど、何かPS-JSは望月を実際以上に 下げて報告しているような感じがする。特に感情的には望月の肩を持つ気はないんだが、違和感がある 自分が数論代数幾何の人間じゃないのもあるけど、関わる人は大変だなあ
844:１３２人目の素数さん
18/10/04 03:52:52.43 k4q9gWJL.net
それだけならなんで進行形であたふたしてるの？
845:１３２人目の素数さん
18/10/04 04:12:17.33 tXq/RwIk.net
あたふたはしてないと思うけど。強いて言えばちゃんと他人に伝わってるのか不安はあるだろうね
はっきり言って望月氏の論文はわかり辛い。ちゃんと書いてあるのだが、螺旋みたいな読みにくさがある
更に明確に表現するために第三者の意見を取り入れたいんでしょう
相手が相手だし。そこらの院生とかじゃない。要点が伝わってないのではと、不安が出てきたのはあるでしょう
まあ我々は知りませんからね、頑張って下さいって感じでしょう
846:１３２人目の素数さん
18/10/04 04:13:43.76 tXq/RwIk.net
我々ってのは、ここにいる人間含めた第三者のことね
847:１３２人目の素数さん
18/10/04 04:41:54.35 k4q9gWJL.net
うーむ、それだけでフェセンコ氏が雑誌で語った決裂みたいな表現になるのかしら
848:１３２人目の素数さん
18/10/04 05:31:07.48 WPZq7lee.net
もっちーの論文が読みにくいとか発表当初からFaltingsにも言われてたし第三者の意見を云々っても今更感があるな
やたら高圧的な態度だし
数学的な議論が重要だと言ってる側が数学の内容以外の理由で他人を罵倒しまくってるっていう
849:１３２人目の素数さん
18/10/04 05:39:42.44 pN7/ZRkW.net
まあタオが疑問を呈示した通り、アレな状況になったな
850:１３２人目の素数さん
18/10/04 06:24:46.83 iulkvuV5.net
カスペに引っかかる pdf
851:１３２人目の素数さん
18/10/04 06:41:05.40 BLVOa1bQ.net
予想されてた10月の宇宙際イベントは、フェセンコレポートに書いてた「2020宇宙際プロジェクト研究」のことかな？
852:１３２人目の素数さん
18/10/04 09:18:22.88 QLvyCtY3.net
>>798
自分が数学の勉強をしないことの言い訳にしか思えない。
数学を勉強してないから、私は数学科の学生より優れているという歪んだ優越感。
853:１３２人目の素数さん
18/10/04 10:05:52.26 okJRtpeu.net
学部生にもわかるように
説明してくれませんか?
854:１３２人目の素数さん
18/10/04 11:05:06.55 QLvyCtY3.net
説明しているうちにあなたは学部生ではなくなる
855:１３２人目の素数さん
18/10/04 11:48:38.57 rNCvVvgc.net
こんなとこで時間をつぶしてないで勉強せいよ
856:１３２人目の素数さん
18/10/04 13:21:35.61 Ljn/Z6u4.net
フェセンコ、、
こころにひびくことわざがある
いわしのあたまもしんじんから
857:１３２人目の素数さん
18/10/04 13:27:08.77 dIh5sjXL.net
>>811 ショルツさんはマジモンの天才だから議論が正しければ必ず理解するよ。
これだけ彼が徹底検証して内容なし、証明なし、と結論付けたんだからそうなんでしょう。
取り巻きは雰囲気に飲み込まれて肝心なところで甘えや見落としがあり、
フォローできたと勘違いしてるんでしょう。
これもプロの世界でもよくあること。
うっかり一行の曖昧さやごまかしで全てが破綻しうるのが数学の恐ろしさよ。
矛盾からABCは自明に従うからな。
858:１３２人目の素数さん
18/10/04 13:33:16.16 dIh5sjXL.net
>>807 それをself-evidenceというには無理があるし、
学部生レベル。。。？
内容以前に整合性が取れなくなってきてますね。
間違えちゃった、は研究不正じゃないが、
それをひた隠すのは立派な捏造ですよ。
>>811 結局誰よりも正しく内容を理解しているのはショルツさんだよなあ。
取り巻きは彼の言っている問題点すら何が問題なのか理解してないんじゃないか？
だから誰も彼の疑問に答えられず、誹謗中傷とどうでもいい物語でお茶を濁すw
859:１３２人目の素数さん
18/10/04 13:48:05.40 CkYfYtga.net
鰯の頭もself-evident
860:１３２人目の素数さん
18/10/04 14:06:19.04 CnZo/ZlR.net
どうでもいいけどショルツが言ってるからショルツが正しいって
流石に頭悪すぎないか
わざわざレスする価値もないだろ馬鹿馬鹿しい
861:１３２人目の素数さん
18/10/04 14:10:19.09 HuosRx8c.net
多くの数学者は創造力は低いからなw
862:１３２人目の素数さん
18/10/04 14:18:39.36 QLvyCtY3.net
>>827
そこは新-jinで
863:１３２人目の素数さん
18/10/04 14:22:00.91 dIh5sjXL.net
>>828 プロフェッショナルの意見っていうのはそういうもんだから。
それを軽視、無視する方がよっぽど頭が悪いね。
おかしな民間療法にハマるアホと同じよ。
それに彼奴等が有効な反論を何一つできていないのは客観的事実だ。
ワイルズの原証明に問題があることを真に理解している者はどれだけいる？
現行の証明を理解しているのは世界でも数十人もいないだろう。
それでもこれらは真実として広く受け入れられている。
なぜなら問題があれば一人の専門家の意見でそれを叩き潰すことができるからだ。
人の口に戸は立てられぬと昔から言うだろ。
当然批判、反証についても同じことが言える。ショルツの指摘に問題があれば、
有効な反論でそれを封殺することができるはずだが、それに完全に失敗しているのが現実。
864:１３２人目の素数さん
18/10/04 14:37:56.36 fobpgqS4.net
>>826
見る人が見ればわかるってのが嬉しいなあ。それは覆せない。
865:１３２人目の素数さん
18/10/04 14:42:54.06 Wc7vw5ug.net
IUTは妄想が混じっているからな
大物理学者のドイツ人プランクを
付け焼き刃で引用するとは呆れたー
尤も
プランクは古典的なボルツマンのエネルギー
等分配と熱力学から黒体輻射の実験式を
導いた。
元々「離散的」はボルツマンの原子論の
アイデアだ。
アインシュタインはプランクを研究 批判し
マックスウェルの電磁方程式の綻びを
指摘し 真に革命的な量子仮説を唱えた。
離散的な光量子は実在する。
光電効果が示されながらプランクは
量子仮説をなかなか認めなかった。
866:１３２人目の素数さん
18/10/04 16:10:34.08 r4eTfzQe.net
むしろself-evident発言の真意は理解できる
明らかに両者の認識にギャップがあるね。どっちが正しいかはともかく
867:１３２人目の素数さん
18/10/04 16:22:41.41 Y1KqWJjE.net
しかしどうするんだろうね、これ。
国内誌で学者間の政治が通用するところはともかく、
まともな査読誌で今後IUTをベースにしたものは通らないだろう。
ポストでもIUTを専門にしてるのを採用しようとしたら他の教授から問題視されると思うが。
868:１３２人目の素数さん
18/10/04 16:42:14.66 LSadfE6H.net
知識の量と質が異なる2人が数学的に自明となる領域が異なるのは当然
その場合知識の量と質が低い方に合わせて証明を書き下す事が可能であるのがこれまでの数学の在り方だったんだけど今回の望月さんの行為はやはり数学の在り方自体に問題提起をするものだと思ってる
望月さんとショルツなんてどっちも天才なんで実はお互いに主張している事は理解しつつも敢えてイデオロギーを闘わせてるのかもな
869:１３２人目の素数さん
18/10/04 17:20:26.87 5okoGlFx.net
そんな高尚なもんではないとおもう
ショルツは望月の証明には大きな穴があるし論理についていけないといってるが
870:望月曰くself-evident(ｷﾘｯ でお仲間も一切納得のいく説明をできないわけだからねえ 「ABC予想はまだ開かれている。誰にだって証明するチャンスはある」 文字通りこんなもんに付き合ってられんと匙を投げて切って捨ててる展開でしょ
871:１３２人目の素数さん
18/10/04 17:20:44.20 rNCvVvgc.net
前にも出たが、これ、ちゃんと読めよ
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
分かりやすい英語やんか
872:１３２人目の素数さん
18/10/04 17:43:47.46 D7wm/DW4.net
ショルツも基本p進芸人だけどな
とはいえ、フェセンコじゃ不安だなw
873:１３２人目の素数さん
18/10/04 17:54:32.48 qIHjoZox.net
>>837
>>84じゃん
874:１３２人目の素数さん
18/10/04 18:00:32.36 qIHjoZox.net
>>838
>>749の説教は、わかりやすいなあ
875:１３２人目の素数さん
18/10/04 18:09:20.38 Wc7vw5ug.net
JAKOB STIXはおもしろいね～
876:１３２人目の素数さん
18/10/04 18:38:47.74 rNCvVvgc.net
math-jinがどんだけアホかようわかった
877:１３２人目の素数さん
18/10/04 19:12:28.52 WPZq7lee.net
>>837
フェセンコが
Initially, Scholze and Stix were keen to put their report about the meeting online.
However, after reading Mochizuki’s reports, see especially its sect. 17-18 and these comments,
they completely changed their mind already in July and stopped to be interested to post their own report.
って書いてるから決裂したんだろな。
SS側からすれば頑張って疑問点を明確にして説明したのに返答は
物凄い剣幕で指摘は完全に間違っている、論文読めば分かるって言うだけで疑問点を解決する具体的な説明もなかったわけで匙を投げて放置したってことだろう。
ここまでやったら当然海外では怪しい論文扱いだろうし、さすがに近々国内でも問題になってくるだろ。
878:１３２人目の素数さん
18/10/04 19:28:14.75 rNCvVvgc.net
>>844
読めてへんがな。頭大丈夫か？
879:１３２人目の素数さん
18/10/04 19:30:51.97 nXhwHOf+.net
Inter-universal geometry undergraduate-level scholze theory
880:１３２人目の素数さん
18/10/04 19:44:30.50 ggsHBKK6.net
否定側は必要以上のエビデンスを集めなくていいので大人の対応
対して信者は教祖様を守るのに必死でやぶれかぶれｗ
881:１３２人目の素数さん
18/10/04 21:13:35.37 M30SrY3M.net
>>825
>うっかり一行の曖昧さやごまかしで全てが破綻しうるのが数学の恐ろしさよ
ほんとこれ。
いま一松信『四色問題』を読み返してるけど、
その中で、日系人シマモトが１９７０年代初めに問題を解決したと発表した「シマモトの勇み足」事件に触れて、
「数学というものは、大体よさそうだでは全く意味がない」
「シマモトの言うちょっとしたミスは、論旨全体に及ぶ致命的な欠陥だったのである」
と書いている。
IUTにしたって発表から６年余り、RIMSの内部では最初から信じるのが前提で、
批判的な検討など事実上全くされなかったらしい。
やはり日本社会は、自分の師匠や目上の人間の仕事を批判的に見るということは、なかなかできないのだろう。
RIMS内部で唯一ショルツたちと同じ指摘をした越川が
大学院教育をシカゴ大学で受けたのは偶然ではないのかもしれない。
882:１３２人目の素数さん
18/10/04 21:26:14.37 7PJcZXj1.net
ABC予想と４色問題が同値命題であることに気付いたんだけど、詳細聞きたい人いる？
883:１３２人目の素数さん
18/10/04 21:44:12.14 rNCvVvgc.net
>>847
あんた、本気でいうてんの？
884:１３２人目の素数さん
18/10/04 21:48:46.52 rNCvVvgc.net
>>848
よく言うね。すべて伝聞、妄想に生きてるね。
頭大丈夫か？
社会生活できてるか？
885:１３２人目の素数さん
18/10/04 21:49:56.19 rNCvVvgc.net
>>847
そうは読めないけど
886:１３２人目の素数さん
18/10/04 21:58:28.35 rNCvVvgc.net
少ない情報から妄想して頭大丈夫？
ほんまに英語読めんようだが大丈夫？
なんか、これからの人生やっていけるか心配になってくる。
887:１３２人目の素数さん
18/10/04 22:07:46.25 6GKpfxUe.net
自己紹介ご苦労
講演前に騒ぎたてて質問させない雰囲気にするのが奴らの姑息な常套手段
888:１３２人目の素数さん
18/10/04 22:10:08.48 waiwmeuM.net
おいらは 847, 848 が言っていることのほうがまともだと思うよ。
ID:rNCvVvgc は必死すぎ。
889:１３２人目の素数さん
18/10/04 22:10:32.35 fobpgqS4.net
５ーさん、ホントに証明ができてるんですか、とか聞かれたらこまるもんね
890:１３２人目の素数さん
18/10/04 22:29:02.81 z8j5vK2B.net
>>853
決まり文句の罵倒ばかりでなく、
たまには「北白河では証明されています」
と冗談を言って、
冗談ではないね
アメリカでは京都の定理と言われているし
891:１３２人目の素数さん
18/10/04 23:00:57.98 XKwWXWgZ.net
ネット弁慶卒業できない人が集まるスレはここですか？
初等整数論ドヤｗ
892:１３２人目の素数さん
18/10/04 23:09:23.42 ie5BRqze.net
モッチーは自らこさえた大伽藍と添い遂げりゃいいんだろうけど関係者はもうちょっと世間との溝埋める努力くらいせんとまずいだろ
893:１３２人目の素数さん
18/10/04 23:17:07.09 VmTW+2yt.net
>>849
きかせてたもれ
894:１３２人目の素数さん
18/10/05 00:26:39.84 648RCmRh.net
ところで君たち
すこしも数学勉強してないのによくコメントできるね
コメントが公開講座に来るキチガイに似てるよ
895:１３２人目の素数さん
18/10/05 00:44:30.09 Na3p+Yzf.net
オマエガナー
896:１３２人目の素数さん
18/10/05 00:57:21.65 aU7HW6VO.net
「公開講座に来るキチガイ」って言ってるけど、言った本人がRIMSのスタッフだったら辞職ものだと思うわ。
897:１３２人目の素数さん
18/10/05 01:08:40.22 6F3/fbzq.net
論文の一連の処遇と同じく取り巻き連中はズレてる
898:１３２人目の素数さん
18/10/05 01:24:24.32 WYU6Fl6w.net
擁護とか否定とか関係なく、>>858や>>861みたいな言い方してるのはまともな研究者とかではないだろ
ってか、ここもショルツというフィールズ賞受賞者の権威を借る狐みたいな人間が多過ぎない？
エリートが失敗するのを見て喜びたいとかそういう感情もあるのかもしれないけど、何だかなあと
勿論、ショルツがかなり強くIUTTを批判している（アイデアの価値にすら疑義）のは事実だけども
899:１３２人目の素数さん
18/10/05 01:30:05.99 q7/NMpwu.net
失敗をみたいわけではないだろう
おかしいものをおかしいと思わないからおかしいと言ってるだけで
900:１３２人目の素数さん
18/10/05 01:32:21.95 FhRzu20l.net
>>866 ほんと、信者は自分の勝手な思い込みですぐにレッテル貼りをしたがるよねえ。。。w
901:１３２人目の素数さん
18/10/05 01:36:18.13 WYU6Fl6w.net
とはいうものの、俺も今や文元のダブスタもあながち理解できなくはない。彼も本気でわからんのでは？
普通の圏論的な観点では確かにリンクが潰れる、と考えるのが妥当のようにも見える
ある種の直観主義的な細かい区別を導入した証明と理解するしかないのだろうか？
まさに、この論争にショルツに全く劣らないVoevodskyが加わって欲しかったものだ
数学の思想からして最も相応しかったのに
902:１３２人目の素数さん
18/10/05 01:39:12.99 WYU6Fl6w.net
だから、そのおかしさを実感している感じがしないからショルツの威を借りてる、と言ってるわけよ
あと、俺は全く信者ではないから。君らと同様に、非常にせこいポジで見物しているだけ
前から書いてるように、少なくとも短期的には受容されない可能性が高いかなと思っている
903:１３２人目の素数さん
18/10/05 01:47:12.18 h1Z8UHfi.net
では擁護派はもっちーの威を借りてると見ていいのかな？
904:１３２人目の素数さん
18/10/05 01:49:42.36 q7/NMpwu.net
全ては自己責任
905:１３２人目の素数さん
18/10/05 01:55:07.06 FhRzu20l.net
>>869 取り巻き以外理解できないと言うのがそもそも異常だからな。
威を借る、というのも随分違和感のある言い方。
906:１３２人目の素数さん
18/10/05 02:08:46.34 KffBOlUP.net
☆は何て言ってるの？
☆が望月の変わりに反論するしかない？
907:１３２人目の素数さん
18/10/05 02:18:13.55 WYU6Fl6w.net
どうでもいいが、肝心の論点に関して興味深いのはむしろStixの存在だと思うんだよな
勿論最初に指摘して目立つのはショルツなんだけど、元々あそこは著者が一番気にしている箇所だった
「何故非線形性の狙いが実質的に死ぬのか」、それを遠アーベル幾何学者のStixが主張しているのが
実は数学的に凄く面白い。俺も視点を変えて二転三転しているけどw、結局は厳しいだろうと
でも今は望月の「self-evident」も、ショルツが「アイデアすらない」と言っている意味もわかる
結局、復元「アルゴリズム」というよりは、「復元」という操作自体が怪しかったのではないかと
まさに全か無か、に近い危機だ。今度こそ「やばいぞ」という意見は当面変わらんだろう
本来は称賛したかったであろうStixが叩くのも無理はない欠陥だ
ここ数日、全く関係ない分野の作業に追われながら夢物語について考えるのは楽しかった
批判側の主張は完全にわかったので、今度は個人的に擁護できないかどうか考えてみるけどね
908:１３２人目の素数さん
18/10/05 02:24:17.11 aIt9dlbb.net
絵に描いた餅ということでいいの？
909:１３２人目の素数さん
18/10/05 02:24:38.81 WYU6Fl6w.net
論争を簡単にかいつまみたい卑怯な人wのために一言で言えば、PS-JSは結局理論自体が壮大な
トートロジーだと言っているのよ
本当だったら「悪夢」なんだけど、確かに尤もらしい議論だから俺も困っている
910:１３２人目の素数さん
18/10/05 02:27:28.01 Oy7lGDCH.net
URLﾘﾝｸ(lh4.ggpht.com)
911:１３２人目の素数さん
18/10/05 02:37:47.74 WYU6Fl6w.net
まあ理論自体は言い過ぎにしても、「理論を用いた証明の戦略」が、だな
「何言ってんだこいつ」と言いたい気持ちはわかるがw、非常に脆弱な論理構造の砂上の楼閣だと
それくらい深刻な欠陥じゃなかったらショルツもあんな言い方はしないだろうし、本意じゃないだろう
あまりに単純な欠陥なので、理論関係者の人がいたら弁護して解説してほしいくらいだよ
912:１３２人目の素数さん
18/10/05 02:39:54.31 aSuxaQWS.net
>>874
同意。（ちょっと昨日はかなり荒れていたので様子見をしていた）
スティックスはたしかオックスフォードのワークショップで講演もしていたと思う
クオンタマガジンで、それぞれの環構造での測定が全体的に見ればエッシャーの階段になってしまうと言っていたのも彼
IUTTに関しては、これができたら面白いな、とは思っている
PS・JSだけど結構脚注のほうが面白い。同型写像を巡る望月氏との認識の違いとかね
酷い言い方をすれば、ゲテモノ数論幾何学者VSパーフェクトイド空間の王子様ってとこかな（ヒドイね）
913:１３２人目の素数さん
18/10/05 02:46:52.44 h1Z8UHfi.net
「ある部分」については正しそうだった、でいいのかな？
だから欠陥がわかり�
914:ﾉくかったと？
915:１３２人目の素数さん
18/10/05 02:51:05.68 WYU6Fl6w.net
今になると、第三論文になってから問題が生じたのも非常に納得がいく
致命的な欠陥はあくまでも「証明の戦略」にあって、構造をいじくってる分には別に平和なんだけどね
控えめに言って宇宙ロケットの発射時の爆発を思い出すような欠陥だよこれは
皆は「はなからショルツを信じてた」から、数日で二転三転するのがアホに見えるだろうけど、
これだけ複雑な理論で証明の体で話が進んでいると、行ったり来たりしないとなかなか腑に落ちない
916:１３２人目の素数さん
18/10/05 02:58:14.25 aSuxaQWS.net
>>876
PS・JSの主張に従えば、トートロジーというより自己矛盾だよね
j~2の件なんてまさにそう
評価をするためにj~2を導入せざるをえないのに、そのj~2がΘpilot object側を潰し、果てはΘリンクそのものを潰す
ポスト構造主義哲学の本を読んでいる人なら分かると思うけど、これってデリダの脱構築だよ（笑）
917:１３２人目の素数さん
18/10/05 03:07:26.88 aSuxaQWS.net
j^2だね（誤変換だった）
俺は望月氏と同世代だから感じるんだけど、この人、かなり70年代後期～90年代初期のポスト構造主義哲学の風潮の影響を受けている気がする
特にドゥルーズ-ガタリの『差異と反復』と『ミル・プラトー』辺りのね
もちろん、数学と現代哲学は違うけど、望月氏の発想と文体は彼らによく似ている
これは笑い話ではなくて、数学ではないがイリヤ・プリゴジンなどのノーベル賞化学者も影響を受けて分厚い本も書いていたよ
918:１３２人目の素数さん
18/10/05 03:26:01.46 M7csmF0B.net
とは言ってもアクセプトだけどな
919:883
18/10/05 03:34:18.50 aSuxaQWS.net
俺が前にこのままでいけば「ソーカル事件」や「東大駒場騒動」みたいになってしまうと書いたのはまさしくこれが念頭にあったから
数学ならば理解してもらえるように論証しなければならない
ファルティングスでも匙を投げているようだし、タオもエレンバーグのブログのコメントでさらっと証明は疑わしいと書いていたよ
俺達に理解できなくても、ラングランズ・プログラム側の第一級の数学者たちに理解してもらえるように書かないとね・・・
920:１３２人目の素数さん
18/10/05 04:27:00.60 n4890E0e.net
復元がナンセンスだったとなるとマジで関係者のしてきたことはなんだったのか
非常にまずいことになる
921:１３２人目の素数さん
18/10/05 07:02:23.69 CfGG3ZCU.net
証明が正しければ、PS-JSの指摘問題は後から振り返ればいいエピソード
922:１３２人目の素数さん
18/10/05 07:44:23.53 TUs06IGP.net
上にも誰か書いてたけどRIMS内部でもっちー以外の誰かがレポート書くだろうからそれでどうなるかじゃね
ここまで引っ張ってるところをみると上手く行ってなさそうだけど
923:１３２人目の素数さん
18/10/05 08:22:33.20 otG/QBv6.net
>>868
これ毎回なんか単語だけ並べて尤もらしく書こうとしてるみたいだけど、
直観主義とかも完全に誤用だし何がしたいのだろうか。
924:１３２人目の素数さん
18/10/05 08:27:35.24 hc2fcyAD.net
>>876
そう
読んでみて思うんだが、望月氏は循環論法に陥ってるんじゃね？て模様なんよ
本人も薄々気付いてるから、あんだけ罵倒しておいて助けてほしいとか言ってるんじゃないかな
ただ、循環論法の理論枠組みって修正は事実上不可能な場合が多いからまあ……
925:１３２人目の素数さん
18/10/05 09:57:56.86 TUs06IGP.net
>>889
そっとしておこう
926:１３２人目の素数さん
18/10/05 10:36:09.22 648RCmRh.net
君たちはまさに公開講座にやってくる知ったかぶりのキチガイ
エッシャー、直感主義、循環論法？ ブルーバックス読んでなさい
927:１３２人目の素数さん
18/10/05 1
928:0:57:17.30 ID:h1Z8UHfi.net
929:１３２人目の素数さん
18/10/05 11:37:50.61 8nSAPQOQ.net
クズレの欠陥
厳密な単語主義なので全体の流れが読めない
従って要約もできない
論理矛盾にも気がつかないので具体的な反論はできない
数学の前に国語や人格を勉強しなさい
どうせ数学は聴講生レベルなんだから
930:１３２人目の素数さん
18/10/05 11:49:03.90 PpDfdfCu.net
英語も読めるようになれよな。
なんか痛ましいわ。
931:１３２人目の素数さん
18/10/05 11:55:39.88 PpDfdfCu.net
>>857
出たアメリカ。で、何なの？
932:１３２人目の素数さん
18/10/05 12:08:32.19 cOin4KDM.net
英語を読めるようになれよ
933:学術
18/10/05 12:35:35.86 EJopf/7a.net
カリキュラム上に数学がない人を成功させるためなら自負に酔ってるべきかな。
数字も自分の分量位を、待遇される側に伝えたり調整したりすればいいわけじゃ。
当たり前のことを言うとな。僕は数学・理系は選択していないから、
いい思い出、口惜しさ、とか刺激のある事感動すること。ばっかりだよ。カリキュラム上は習ったけど。
934:１３２人目の素数さん
18/10/05 12:57:36.66 /+goIwNr.net
まぁ望月新一は超のつく天才だけど、超のつく偏屈人間で幼稚で人嫌いで小心者ってことだね。
どれだけ素晴らしい理論創始しても、人間とまともに交流できないんじゃ、こうなるのも仕方ないわ。
935:１３２人目の素数さん
18/10/05 13:22:27.90 CG7S03pa.net
人は一見、仕事とは無関係と思われる他人と交流して脳が活性化される
抽象化の能力も孤独な勉強のみよりもどうでもいいと思ってたカンファどころか、会話、はたまたパーティで遊んでると
ふと出てきたりする
936:１３２人目の素数さん
18/10/05 14:28:39.01 VPYhzSpX.net
今ちょっと故あって
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
というのを読んでいるんですが、それでフッと思ったんですが、代数体上の楕円曲線の変形の理論って、このレクチャーノートの小平ネロンモデルに該当するものが代数体上の楕円曲線でも構成できるという意味なんですか？
937:学術
18/10/05 15:18:39.51 EJopf/7a.net
プレライベートを詰めてるのか。良いこと聞いたよ。
938:学術
18/10/05 15:19:02.87 EJopf/7a.net
プライベート。
939:１３２人目の素数さん
18/10/05 15:30:30.16 qvff0tWr.net
ちゃんと貼れ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
940:１３２人目の素数さん
18/10/05 15:42:05.29 VPYhzSpX.net
>>904
アザッス
941:１３２人目の素数さん
18/10/05 15:45:57.68 vUo/2ef4.net
>>899 数学者としての実績は既に認められてるのに、人間関係で躓いてしまうのは惜しまれる。
ただ、若い人は教訓にしないとね。
942:１３２人目の素数さん
18/10/05 15:52:23.05 Job6jxBr.net
>>889
いや、間違ってない。あんたの言ってるのは狭い意味の直観主義論理だろ
単語の羅列に見えるのは単にあなたの理解のブーメランかと
943:１３２人目の素数さん
18/10/05 15:59:29.38 Job6jxBr.net
よりよい言い方を提案する場合を除き、この手の非難はブーメランなんだよな
羅列でしかないならお前が本質を言い直せよと
944:１３２人目の素数さん
18/10/05 15:59:29.41 Job6jxBr.net
よりよい言い方を提案する場合を除き、この手の非難はブーメランなんだよな
羅列でしかないならお前が本質を言い直せよと
945:１３２人目の素数さん
18/10/05 16:03:11.01 BYmsl30I.net
超天才が人間関係に不得意だったりするのはむしろ普通のことだ
何も惜しむことではない
大事なのは周りにいるフォロワーがいかにサポートするかなんであってね
人類史上最高の科学者の一人、ニュートンだって引きこもりの奇人変人だったからね
錬金術師で有名だったしオカルティストだし
聖書研究に血道を�
946:繧ｰてキリストの秘密を追っていた 最高級の科学者がこうなんだから何をか言わんやだよ ニュートンだって業績を徹底して否定するのがいた。しかも学会の中心人物 彼が死ぬまで辛い立場に置かれていた そんなもんだよ 望月氏が辛い立場にいるのはむしろ本物の証だろ ないものねだりをするバカは何も分かって無いよ
947:学術
18/10/05 16:06:01.45 EJopf/7a.net
聖書については研究も大事だけど、何か書いているものを受け売りするより、
人の話を聞いたり交霊するなり自分の人生で検証するなりしないと。
948:１３２人目の素数さん
18/10/05 16:06:25.53 Job6jxBr.net
>>890
循環というかナンセンスに近い
多分abcは忘れ、切り離して理論を研究する感じになるんじゃないか
949:１３２人目の素数さん
18/10/05 16:06:25.78 Job6jxBr.net
>>890
循環というかナンセンスに近い
多分abcは忘れ、切り離して理論を研究する感じになるんじゃないか
950:１３２人目の素数さん
18/10/05 16:24:01.30 e6QkLZEm.net
>>912
現状、他の使い道がない以上、発展は厳しいだろう
951:１３２人目の素数さん
18/10/05 16:38:11.27 SVxOr3qb.net
>>910 しかし仁美をはじめとするバカ連のような連中が取り巻きにいた事例は知らない
952:１３２人目の素数さん
18/10/05 16:40:58.27 n4890E0e.net
落とし所はどうなるだろう
京大もこのまま見て見ぬ振りをするのか
無意味な理論なら金だすのはやめて
他の研究に金使って欲しいんだけど
953:１３２人目の素数さん
18/10/05 16:41:39.76 iW73isIl.net
IUTeichの発展は星さんや山下さんがやってるんじゃないの？
954:１３２人目の素数さん
18/10/05 16:43:00.87 TUs06IGP.net
不等式の部分を削って掲載できるならそれで載せればいいのかもね
abc予想が証明されないことになるけどRIMSとしてはこのまま引っ張るよりよほどいいでしょ
955:１３２人目の素数さん
18/10/05 16:54:19.25 DJKizKBR.net
バカどもは、英語が面倒でも翻訳サイトに突っ込めば大枠はわかるだろうに、
どんなことがあっても絶対に>>749を読まず、バカ丸出しの思い込みを永遠に語ります
その主要部の抄訳
4/5ﾍﾟｰｼﾞ目
残念なことだが、2014年からScholzeは様々な文を公開して、IUTをダウングレードし始めた。私は彼に、IUTの「不具合」が何であるかを正確に伝えるように何度か尋ね、否定的なことを公に言う前に、IUTの作者とコミュニケーションをとったらどうかと提案した。
Scholzeは2015年のOxford IUTワークショップに参加することを拒否した。このワークショップでは、多くの関連事項を学ぶことができたのだが。
Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。 IUTの著者は長い電子メールで彼に答えた。また、電子メールで議論を行うよう親切に提案した。
Scholzeは、非常に忙しいと答え、電子メールのやり取りを停止した。
（これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。）
ScholzeはIUTの何かが間違っていると、公に話し続けた。
長い時の後、彼はStixと共に2018年3月に5日間だけ京都に来たが、不具合を示すための証拠の準備が明らかに出来ていなかった。
彼らの短い訪問の終わりまでに、Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化に対する専門家の反応は、報告書の第18章で読むことができる。
この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
Scholze-Stixの立場では、IUTにおける遠アーベル幾何学の使用を�
956:�妙にも否定している。 IUTの少なくとも80％は、高度な遠アーベル幾何学である。それをよく噛み砕かずにIUTの研究をうまく進める方法はない。 複雑な理論を理解する際に間違いを犯すことは問題ではない。 しかし、IUTの「不具合」の有効な証拠を持たずに、このように長い間「不具合」について話すことは、非常に不適切であり、IUTの著者のコメントに答えるための目に見える努力と知識が欠如している。
957:１３２人目の素数さん
18/10/05 16:55:22.48 DJKizKBR.net
Fesenko意見書続き
当初、ScholzeとStixは会議についてのレポートを熱望していた。
しかし、望月の報告書を読んだ後、7月に彼らは完全に心を変え、自分のレポートを投稿する興味を失った。
彼らのレポートをIUTの著者のページに含めることに彼らは最終的に同意したが、2番目のバージョンのレポートは、
最初のレポートでのMochizukiのコメントのほとんどを扱っていず、古典的な高さの理論の失敗などの新しい誤った記述も含まれている。
彼らが自分の間違いを認めないのは謎のままだ。
冒頭
まず重要な事実を要約して挙げる
事実1. IUTの重大な欠陥の具体的な数学的証拠は、これまで誰にも与えられていない。 IUTは非常に頑丈で、さまざまな強力な拡張が可能。
事実2. IUTの専門家になるためには、2年間の連続的な投資をしなければならない。
事実3. IUTの専門家はそれについて否定的な発言をしていない。専門家はIUTに関するインターネット上の議論に参加していない。
IUTに関するほぼすべての否定的な発言は、遠アーベル幾何はおろか数論幾何の実績がない人々、そこから離れた場所で働く非常に少数のグループから来ている。
それらの意見の著者は、彼らが知らない数学について話し、専門家と非専門家を区別できない他の人々を誤解させて無責任に行動している。
IUTに関するインターネットのテキストの中には、非常に不適切なものがある。 彼らは真実と対立する意見を誘導している。
事実4. IUTに関するほとんどすべてのマスメディアの記事は、遠アーベル幾何やIUTの専門家と、研究実績のない人々の意見とをミックスしており、記事は引用した人間の知識の専門性について示していない。
958:１３２人目の素数さん
18/10/05 16:55:46.36 DJKizKBR.net
Fesenko意見書続き
少数の人々によって運営されるインターネットでのキャンペーンは、ネット情報を信じがちな人々に非常に影響を与えることができる。
特定の数学の質問と回答を含むインターネットサイトには、間違った回答が多すぎる。
数学者のための教訓は、適切なピアレビューや専門家の意見としてサポートされていないインターネット上の数学情報を信じてはいけないということである。
2018ウルフ賞受賞者のA. Beilinsonは次のように書いている。
「私たちには時間がないので、証拠や理論のいくつかの部分を理解できれば、何かが正しいと信じがちです。（しかし、とはいえ）私が何かを理解できなければ、私は判断を控えるようにしています。 」
この態度は多くの数学者によって共有されており、大多数の数学者は、研究していない遠アーベル幾何やIUTについては何も述べていない。
コンラッド、大笑いのとばっちり
ここに、自己任命の「専門家」の1つのケースがある。
2015年のオックスフォードIUTワークショップの前に、B..コンラッドは準備をしておらず、かなり簡単な話題で話をしようとした。
ワークショップの間、彼はワークショップのペースを遅くする無思慮で無関係な質問をしばしばした。
彼の質問の多くは、その古典的な部分を除いて、ワークショップの準備ができていないことを示していた。
いくつかの講演者は彼の行動に不満を持ち、ある講演者は話の始めに妨害しないよう警告した。
彼はワークショップの後、ワークショップの主催者と話し合うことなく、エキスパートのフィードバックを求めることもなく、数十の無知なミスをさまざまに含むテキストを公にした。
この無責任で無礼な行動の起源は何だろう�
959:H なぜこれらの少数の数学者は、自分が何の研究業績も持たない分野について彼らの意見を公表することが適切だと思えるのだろう？
960:１３２人目の素数さん
18/10/05 16:56:07.20 DJKizKBR.net
Fesenko意見書続き
IUTを含む数学的理論についての真のコンセンサスは、その分野の専門家からのみ得られる。
すべての数学者は、遠アーベルの幾何学とIUTを真剣に研究し始めることが出来、数学的な新しい問いは歓迎される。
対象分野の研究者になるための真剣な努力をしない人々の漠然とした意見には、価値がない。
中長期的な状況は、より多くの研究者が、私たちの数の理解に素晴らしいブレイクスルーをもたらしたIUTのさらなる発展を担う遠アーベル幾何に精通していけば、より良くなるはずだ。
IUTの専門家の数は増え、IUTの周りには新しく興味深い開拓地がたくさん存在しているだろう。
961:１３２人目の素数さん
18/10/05 17:05:42.42 rxayxnq/.net
更に要約すれば
俺は「宇宙際理論」の専門家だぞ
偉いだろ
962:１３２人目の素数さん
18/10/05 17:09:14.25 69Tv5iVT.net
想像以上にカルト臭くなってきたな
963:１３２人目の素数さん
18/10/05 17:15:01.48 SCkmhGzT.net
フェセンコがおかしいのは今に始まったことじゃないし
GOにも嫌われてるのは笑うけど
964:１３２人目の素数さん
18/10/05 17:28:14.89 otG/QBv6.net
>>925
カルト化した集団だと教祖様のご機嫌を自分が一番取ってるという競争が始まるから、
仲が悪いのはやっぱそういう背景がある気がする。
965:１３２人目の素数さん
18/10/05 17:31:01.92 69Tv5iVT.net
実は、PS-JSは遠アーベル幾何学の使用を否定し、という上の文がポイント
そしてPS-JSは本旨とし「abcの証明「を否定しているのに、
Fは「理論」を擁護しているのもポイント
966:１３２人目の素数さん
18/10/05 17:31:37.72 otG/QBv6.net
それにしてもペレルマンみたいに学術誌に掲載すらしなくても、
有益な情報がある場合は勝手に周囲が理解してギャップも埋めてくれるという状況があるのに、
IUTの専門家でなければIUTについて語れないとかありえないことを言ってしまうのはカルトだよね。
967:１３２人目の素数さん
18/10/05 17:39:01.42 UQUgAuo+.net
だから遠アーベル幾何の専門家がそもそも少ないってのがフェセンコが書いていることだろう
低次元トポロジーの研究と一緒にはできんだろう
968:１３２人目の素数さん
18/10/05 17:40:57.24 otG/QBv6.net
>>929
ペレルマンはトポロジーじゃないが？
969:１３２人目の素数さん
18/10/05 17:42:19.71 otG/QBv6.net
あとフェセンコの主張で正当化できるなら、世界で１人しか研究していない理論（つまり俺にしか分からない理論）
をでっち上げたら無敵くんになっちゃうけど。
970:１３２人目の素数さん
18/10/05 17:48:01.82 aSuxaQWS.net
フェセンコの今回のレポートを読んでそのいくつかが彼自身へのブーメランになっている、ということが何故分からないのかな？
俺がIUTT支持者だったらフェセンコに腹を立てるだろうね
そして望月氏、ワークショップ等を行う組織力がないのかもしれないが、こんな人に頼ってしまうのがなんともね・・・
あとペレルマン、この人は真正のひきこもり数学者。振る舞いも潔い。半端なひきこもりとは比較にならんよ
971:１３２人目の素数さん
18/10/05 17:48:37.88 qvff0tWr.net
>>930
？
972:１３２人目の素数さん
18/10/05 17:51:11.43 otG/QBv6.net
>>930
ポワンカレ予想は問題の提起がトポロジーの文脈で行われたからトポロジーの問題だと思われてたけど、
じっさいにはトポロジーじゃなくても解ける、というのがペレルマンの貢献だって理解してる？
ちなみにこれに気付いた時点ではこの手法を適用したのはペレルマンしかいなかったわけだが、
数学界は受け入れたでしょ。
973:１３２人目の素数さん
18/10/05 17:51:30.17 otG/QBv6.net
すまん>>933だ。
974:１３２人目の素数さん
18/10/05 18:01:04.89 aSuxaQWS.net
ペレルマンはソウル予想とかも解いた微分幾何学者
あとはもうwikiでも読んでて・・・
975:１３２人目の素数さん
18/10/05 18:01:53.81 SCkmhGzT.net
数論幾何のお偉いさんもこう言ってる
abc予想を証明したと認められたいのならせめてSSにはもう少しまともな対応すべきだったな
And that, says Faltings, is a problem. “It's not enough if you have a good idea: you also have to be able to explain it to others.”
Faltings says that if Mochizuki wants his work to be accepted, then he should reach out more.
“People have the right to be eccentric as much as they want to,” he says.
“If he doesn't want to travel, he has no obligation. If he wants recognition, he has to compromise.”
URLﾘﾝｸ(www.scientificamerican.com)
976:１３２人目の素数さん
18/10/05 18:04:31.68 QZP2XSOG.net
フェセンコは事実を隠している
>Shigefumi Mori, Mochizuki’s colleague
at Kyoto University and a winner
of the Fields Medal, wrote to Scholze offering to facilitate a meeting between him and Mochizuki.
→ 森重文がショルツへ来京都を提案した。
ショルツがサービスで京都へきた。
>Though only 30, Scholze has risen
quickly to the top of his field.
He was awarded the Fields Medal, mathematics’ highest honor, in August. Stix, meanwhile, is an expert in Mochizuki’s particular area of research, a field known as anabelian geometry.
→Stixは遠アーベル幾何学のエキスパート
URLﾘﾝｸ(www.quantamagazine.org)
977:１３２人目の素数さん
18/10/05 18:04:49.52 gJpnnR9m.net
ペケルマンは元サッカーコロンビア代表監督だって理解してる？
978:１３２人目の素数さん
18/10/05 18:07:13.32 69Tv5iVT.net
だから、ショルツは大枠に穴があると言ってるんだって
そこで細かい話をしても噛み合うわけがない
979:１３２人目の素数さん
18/10/05 18:14:41.27 69Tv5iVT.net
変形して本人曰くおつりを頂く、はずが実際は借金の返済で帳消しという話
980:１３２人目の素数さん
18/10/05 18:17:24.77 E/GBBprv.net
>>922
やべー、ここまで内容すっからかんで
反論も何もない文ってのを
アカデミアでくっそ久々に見たかも
981:１３２人目の素数さん
18/10/05 18:19:43.25 qvff0tWr.net
>>936
あなたは微分トポロジーと言う分野を知らない人だったのか。
982:１３２人目の素数さん
18/10/05 18:25:08.71 aSuxaQWS.net
>>943
ああ、そういうことね
失礼な書き方をしてすみません
983:１３２人目の素数さん
18/10/05 18:52:26.41 aSuxaQWS.net
閑話休題
昨夜、「復元」に問題が生じているのではないかという意見があったけど、これってIUTTでの「復元」の問題だよね
つまり、遠アーベル幾何ということではなくて、ホッジ・アラケロフ理論と遠アーベル幾何を組み合わせて
望月氏が築き上げたIUTTにおける「復元」の問題
ひとつの大きな環構造の中で復元するのではなく、複数の異質な環構造をΘリンクを使いつつ行う「復元」の問題だと思っているんだけど・・・
984:１３２人目の素数さん
18/10/05 19:08:31.80 69Tv5iVT.net
埋め込みができないとか抽象具象パイロットが区別できてないとか
全て単純で本質的な理由からくる批判だよ
poly-isomorphismの魔法がかからないってことだ
985:１３２人目の素数さん
18/10/05 19:17:20.41 aSuxaQWS.net
>>946
そうなんだけど（＋>>882�
986:ﾋ）、これって遠アーベル幾何に限定しても言えることなのかな 遠アーベルの専門家ではないもんで（笑）、よく分からないんだよね IUTTの問題なんじゃないかと思ってね
987:１３２人目の素数さん
18/10/05 19:21:33.32 aSuxaQWS.net
要するに、スティックスは遠アーベル幾何学をIUTTから救おうとしているのではないか、と失礼なことを俺は思っているんだよね
988:１３２人目の素数さん
18/10/05 19:22:40.44 69Tv5iVT.net
電池死亡w
989:１３２人目の素数さん
18/10/05 19:38:02.42 BYmsl30I.net
ニュートンを徹底的に否定して排斥したやつはこんなやつ
友達が異常に多い
話が上手い
人当たりが良い
サロンの花形
パーティではいつも中心
一方、ニュートンは変態変人奇人偏屈オカルト大好き引きこもり
異常な集中力 異常な没入感 別世界の住人
どっちが歴史に耐えたのかな？
これは決して結果論ではない
サロンの花形なんかに歴史に耐える仕事ができた試しはないからな
990:１３２人目の素数さん
18/10/05 19:54:50.55 aSuxaQWS.net
（ひとりごと）
このスレ、最近jinらしき人が複数IDを使って対立煽りしているような気がするんだが
支持にしろ批判にしろ、あまりに稚拙なレスが目立つ
991:１３２人目の素数さん
18/10/05 19:58:12.80 rPmS+By9.net
あえて言わない区分だが、なんで近世の人を持ってくるんだろうか？
それにニュートンて権力あったし、当時としてはかなりいろんな人とやり合い・やり取りしてる人だったはずだが
あと彼は明確でわかりやすい説明を行って、すぐにアイデアの正しさは受け入れられたと記憶してるが
キャベンディッシュのほうがよっぽど引きこもりにふさわしいよ
しかも彼らは現実の事象による確認というのが非常に大きいから
やっぱり今回の件には当てはまらないような
992:１３２人目の素数さん
18/10/05 19:59:18.58 DGJQsLEK.net
>>951
支持しているの？w
993:１３２人目の素数さん
18/10/05 20:29:08.20 BUc20iqD.net
>>950
フックだったっけバーローだったっけ？。
小松未歩だったっけ江戸川酔歩だったっけ？
994:１３２人目の素数さん
18/10/05 20:46:23.39 l99hKdMV.net
>>940 >>942
俺はぜんぜん分からないけど
>>919の報告書の第18章ってずれた事書いてあるんですか？
995:１３２人目の素数さん
18/10/05 20:46:41.19 0wKRPilq.net
どうでもいいけど、ペレルマンは微分トポロジーの専門家じゃなくてリーマン幾何の専門家だろ。
996:１３２人目の素数さん
18/10/05 21:18:03.62 aSuxaQWS.net
>>955
横レスで失礼するけど、第18節は読まないことをオススメする。個人的には最も読みたくなかった望月氏の文章 orz
数学的なことは書かれていないから簡単に読めるよ
997:１３２人目の素数さん
18/10/05 21:18:36.45 SVxOr3qb.net
>>955
「過度」の単純化が間違ってるというなら数式で指摘しないとねえ
998:１３２人目の素数さん
18/10/05 21:25:36.32 l99hKdMV.net
>>957 >>958
数式で指摘してたら誰も文句言わないよね
学部レベルだったら出来ないはずはないと思うな
999:１３２人目の素数さん
18/10/05 21:28:00.33 plPqnDCJ.net
／ ￣｀Y ￣ ヽ ／ ￣｀Y ￣ ヽ .／ ￣｀Y ￣ ヽ ／ ￣｀Y ￣ ヽ .／ ￣｀Y ￣ ヽ
/ / ヽ/ ./ ヽ/ / ヽ/ ./ ヽ/ / ヽ
,i / // / i i l ヽ/ // / i i l ヽ/ // / i i l ヽ/ // / i i l ヽ/ // / i i l ヽ
| // / l | | | | ﾄ､ | // / l | | | | ﾄ､ | // / l | | | | ﾄ､ | // / l | | | | ﾄ､ | // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | ||| i／ .⌒ ⌒ | .|| i／ .⌒ ⌒ | ||| i／ .⌒ ⌒ | || i／ ヽ､ ノ | |
（Ｓ|| | （●） （●） ||| | （●） （●） ||| | （＞） （●） ||| | （＞） （●） ||| | （＞） （●） |
| || | .ﾉ ）||| | .ﾉ ）||| | .ﾉ ）||| | .ﾉ ）||| | .ﾉ ）|
| || |ヽ､＿ ▽ _／| ||| |ヽ､＿ ～'_／| ||| |ヽ､＿ ▽ _／| ||| |ヽ､＿ ～'_／| ||| |ヽ､＿ ▽ _／| |
| || ／￣ 丶 丶 ／￣ 丶 丶 ／￣ 丶 丶 ／￣ 丶 丶 ／￣ 丶 丶 |ﾉ
/ ＼ﾉ / ＼ ﾉ / ＼ ﾉ / ＼ ﾉ / ＼ ﾉ ｎ
│ ＼ ーーー ＼ ーーー ＼ ーーー ＼ ーーー ＼ ーーー┘ヽ
ﾉ ＼＿＿＿＿＿ ＼＿＿＿＿＿ ＼＿＿＿＿＿ ＼＿＿＿＿＿ ＼＿＿＿＿＿
1000: ｝ ／ ／ ／ ／ ／ ／ ／ ／ ／ ／ / / / / ./ / / / ./ / {∴ Ｖ {∴ Ｖ {∴ Ｖ {∴ Ｖ {∴ Ｖ ヽ ヽ二 ヽ ヽ二 ヽ ヽ二 ヽ ヽ二ヽ ヽ ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 ＼ ｝ ＼ ｝ ＼ ｝ ＼ ｝ ＼ ｝
1001:１３２人目の素数さん
18/10/05 21:32:00.93 aSuxaQWS.net
ちなみに>>844氏が引用している文中の第17章は、PS・JSがIUTTをどれだけ誤解しているかという目録であり、
フェセンコは彼らがこれを読んで逃げたと言うけど、立場によって見方が全く異なると思う
IUTT支持者からすればフェセンコの言う通りになりがちだろうし、
懐疑的・批判的な人たちからすれば、PS・JSは「もうこんな人に付き合ってられない」という感じで望月氏を避けたように思われる
1002:１３２人目の素数さん
18/10/05 21:32:22.12 8nSAPQOQ.net
北方領土占領の正当性の主張みたい
中国や韓国とかわらんな
1003:１３２人目の素数さん
18/10/05 21:34:33.92 SVxOr3qb.net
>>959
専門家がそう言ったから、Ｍ氏がそう言ったから・・アレ？
1004:１３２人目の素数さん
18/10/05 22:01:35.27 aSuxaQWS.net
まあ、「宇宙際幾何学者VSパーフェクトイド空間の達人」という対決は、ある意味で最も両極端な数学者の対決ではないかな？
山下氏も「パーフェクトイド空間を遠アーベル幾何に応用できないか」であり、IUTTに応用とはまだ考えていないようだから、
意外と（？）慎重なのかもしれない
（今日はアホみたいにレスしてしまった・・・orz）
1005:１３２人目の素数さん
18/10/05 22:10:35.97 jj3ihe5e.net
否定派であれ擁護派であれ望月の態度が子供じみていて非生産的だということは同意できるんじゃないかな
SSの人となりは全く知らんが、公開されたコメントだけみてるとそういう感想にならざるをえないかなあ
1006:１３２人目の素数さん
18/10/05 22:17:46.08 P6l2TJWB.net
>>878-879
URLﾘﾝｸ(www.math.uni-bonn.de)
1007:１３２人目の素数さん
18/10/05 22:33:51.94 BYmsl30I.net
>>965
そうだね。そういう人物だから希望を持てるわけだけどね
1008:１３２人目の素数さん
18/10/05 22:41:36.03 BYmsl30I.net
大枠に穴があるとおまえらも考えてるわけ？
穴に見えているかもしれないが実は穴では無いってことは無いの？
1009:１３２人目の素数さん
18/10/05 22:49:18.25 JCNeDK0T.net
実数で簡単に例を出せば済むんだよ
1010:１３２人目の素数さん
18/10/05 23:01:13.05 eMV/W0LZ.net
フェセンコのレポート読んで真に受けるって相当頭悪いんだな。
1011:１３２人目の素数さん
18/10/05 23:17:59.70 eMV/W0LZ.net
ショルツたちの指摘は意味のないものをさも意味があるように取り扱うことで破綻している、と言うものだね。
簡単な例で言えば∞を自然数に含まれていると仮定して、
∞+1=∞、よって1=0、と帰結しているようなものだ。
指摘が正しければ全てが瓦解するものだし、
安易に学部生レベル、 self-evidenceと流すのは慎重さと誠意に欠けるよなあ。
1012:１３２人目の素数さん
18/10/05 23:18:22.68 uPSZdt4d.net
>>955
Yes! Yes! Of course, I completely agree that the theory that you are discussing is completely absurd and meaningless, but that theory is completely different from IUTch!
こんなん
1013:１３２人目の素数さん
18/10/05 23:18:39.35 DGJQsLEK.net
スティックスの指摘は鋭いしドイツらしい、
フェセンコがブランクを引用した捨て台詞は
敗北宣言としか思えない。
1014:１３２人目の素数さん
18/10/05 23:26:58.59 xOACp2vR.net
噂はほんまやったわ
2020年度RIMSプロジェクト研究
「宇宙際タイヒミューラー理論の拡がり」
1015:１３２人目の素数さん
18/10/05 23:32:40.89 rj7PhCNh.net
関係ないね
複素と微分でなんでも説明できますってのとおなじ
1016:１３２人目の素数さん
18/10/05 23:4
1017:4:38.67 ID:bGi7mTo4.net
1018:１３２人目の素数さん
18/10/05 23:49:56.92 sddNmRRg.net
明確なポシャるの基準なんてないから
モチーの心構えひとつでいくらでも引っ張れる
1019:１３２人目の素数さん
18/10/05 23:56:48.57 l99hKdMV.net
>>972
それじゃ、何も判定できないね
＞Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。
＞IUTの著者は長い電子メールで彼に答えた。
こっちの内容って公開されてんのかな
1020:１３２人目の素数さん
18/10/06 00:07:14.40 88+xKMI2.net
もう数理解析の研究所ではないかもね。
1021:１３２人目の素数さん
18/10/06 00:15:16.25 t+2EGh0M.net
んー、やっぱ予算対策だったわけでしょ、これ。本人の思惑はともかく。
RIMSはこの状況を放置し続けて予算突っ込んだら、将来的に組織自体が危ういのでは。
1022:１３２人目の素数さん
18/10/06 00:20:39.09 YEE21whM.net
禿藁事件以来の衝撃
数理研存続の危機
トラブルはいつも尊大で居丈高な数論幾何
1023:978
18/10/06 00:22:25.18 pw4C4UQ0.net
訂正
一部は公開されてるんだよね
バカだがドンマイ
＞（これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。）
で、その注目に値する内容とは？
1024:１３２人目の素数さん
18/10/06 00:23:02.77 0j72//8p.net
役人の掌返しウシシ
1025:１３２人目の素数さん
18/10/06 00:23:22.11 YEE21whM.net
Yes! Yes! Of course, I completely agree that the theory that
you are discussing is completely absurd and meaningless,
but that theory is completely different from IUTch!
1026:１３２人目の素数さん
18/10/06 00:41:34.02 j19DUsDv.net
>>937
これに関しては禿げドー
早く謝って修正しないと世界で相手にされない
1027:１３２人目の素数さん
18/10/06 00:46:53.11 pw4C4UQ0.net
その全てが注目に値する内容の最大のものは、
>>811の
＞どうもこれ、やはり非可換図式の構造を誤解しているのではないかという感じがするんだけどなあ
＞例えば環とモノイド、乗法群と加法群の圏の区別も含めて、むしろ彼らのが何か釈然としない印象がある
辺りのことが書かれてるんですかね？
1028:１３２人目の素数さん
18/10/06 00:58:26.27 pw4C4UQ0.net
何回も書いてワルイ
>>807で書いてる内容もそうなんでしょうが、その辺どうなんでしょ？
1029:１３２人目の素数さん
18/10/06 01:04:16.99 ry4RhoZR.net
>>951
訳のわからない言いがかりの他人sageについてはjinだけじゃないとは思う
一名か数名かこのスレでよくあるのは、自分からは何も言わずただただ他人のレスをsageて撤退みたいな
手法だけど、自己目的的な煽りであって、攪乱とか深い意味はないと思う
1030:１３２人目の素数さん
18/10/06 01:11:38.27 ry4RhoZR.net
>>986
視点を切り替えると印象が大分変わってしまうからね。そのレスは望月の論文後半を読んだ直後なので
望月寄りの感覚で書いてしまったけど
前に貼られているように、圏論のRobertsも、極限として対象を変えて計算することには納得しているけど
その上でそれらのセットをまとめて考える方法については悩んでいるような書き方をしている
勿論、IUTTが正しいならば何か巧妙な方法で構造的な矛盾を回避しているのだろうけど
この件で一番厄介なのはまさにここで、「自分が理解できないのは何か深遠な真理があって、それは
膨大な時間をかけなければわからない何かであって、従って理解できるまでは批判できない」
という心理が働いてしまうこと。Fesenkoもまるでその洗脳を狙っているような書き方をしている
だが、普通に考えて「圏論やスキーム論を知っている数学者が二年間フルで当たらなければアイデアすら
できない深遠な理論」などというものは、いくら数学でも存在しないと俺は思っているのだが
1031:１３２人目の素数さん
18/10/06 01:18:13.00 e
1032:rgDF3Bf.net
1033:１３２人目の素数さん
18/10/06 01:22:35.18 pw4C4UQ0.net
>>989
その辺はちょっとやそっとじゃ答えられないところなんでしょうな
でも、
＞Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
＞この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化…
と書いてあるなら、そこは明確にきっちりと数式で説明できるってことだよね
それは彼らに書いてもらいたいね