18/10/01 00:44:21.79 wrBlUiaB.net
天才ショルツが仲間と共に徹底的に検証した結果、中身スッカラカン、と結論。
これが数学界の最終結論になる日ももうそれほど遠くないだろうな。
俺が昔ここに書いた、「ナンセンスなジャーゴンの山にABCを導く不等式をシレッと混ぜ込み、証明したと結論する」といのが結局当たらずとも遠からずだったな。
6年かかって誰も読めないなんてどう考えてもおかしいもんな。
取り巻き勢は雁首そろえて肝心要のステップを見落としていたんだね。
M側はレッテル貼と暴言と論点逸らしの小噺ばかりで有効な反論は皆無。
どうでもいい罵倒や閑話をこねくり回す暇があったらさっさと解説すればいいのに、
揃いも揃って誰も解説できましぇんwあれ、学部レベルなんですよね。。。？w
もうだめぽ。
610:１３２人目の素数さん
18/10/01 00:46:53.46 Inb9p0Fk.net
モッチーが20年かけて練り上げてきたものを、取るに足らないものだと切り捨てたらそらモッチーも怒るわな。
しかもちゃんと理解せずに、学部レベルの初歩的な勘違いの指摘で
611:１３２人目の素数さん
18/10/01 00:52:50.89 sG89PoUc.net
まあ、ポアンカレ予想のときだって
ちゃんとした証明ではなかっただろうに
外部の人が懸命に穴埋めして、それが正しいと認められたんだろうしね。
やっぱり、身内しか擁護派がいないってのも理論の信ぴょう性に
かけるように見えてしまうよね。
612:１３２人目の素数さん
18/10/01 01:08:27.26 rOXPD540.net
>>348のDavid Robertsだが、実はIUTT論文発表直後にMathOverflowでこんなことを書いている
URLﾘﾝｸ(mathoverflow.net)
206のコメント欄
-----------------------
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. functoria
613:l. ? David Roberts Sep 9 '12 at 1:27 ----------------------- やっぱりトポス理論と基礎論の検討が必要になって来るだろうね
614:１３２人目の素数さん
18/10/01 01:11:20.86 Oa7DXVb9.net
前から疑問なんだけどどうしてもっちーは情報を整理したペーパーを書かないのかな
質問毎に論文にひたすらコメント足していくぐらいならプロ向けに１から説明する文章を自分で書いた方がマシだとどっかで気付いたと思うんだけど
GOがサーベイ書くって言ってたからあるからそれで良いと思ってたのか
それとも薄々意味が通らないところがあると気付いてるけど引くに引けないのか
615:１３２人目の素数さん
18/10/01 01:12:57.93 D4zwnz6i.net
>>588
ほれ
>>359
査読は終了したんだよな？
616:１３２人目の素数さん
18/10/01 01:20:19.02 Fjls/myp.net
代わりに星さんか山下さんが引き継いでやるしかない
617:１３２人目の素数さん
18/10/01 01:20:53.02 D4zwnz6i.net
ペレルマンはarxivへ投稿し
統計力学を背景にしたアイデアは
高く評価された。
IUT論文もarxivへ投稿が良いね、
興味のある人や暇人が見るだろう
618:β
18/10/01 02:30:52.22 0V2IVAe2.net
簡単だろ
なんでこんなことも理解できないやつがたくさんいるんだ？
くもん式からやり直してこいよw
619:１３２人目の素数さん
18/10/01 02:47:26.78 D4zwnz6i.net
鰯の頭も信心から
620:１３２人目の素数さん
18/10/01 03:44:57.94 s67EXbBd.net
結局これどうなったの？
３行で頼む
621:１３２人目の素数さん
18/10/01 05:04:34.65 EKxL7cXV.net
Where there’s smoke, there’s fire.
622:１３２人目の素数さん
18/10/01 07:02:45.37 otICCxxY.net
ポストモダン 知の欺瞞 裸の王様
623:１３２人目の素数さん
18/10/01 09:35:49.79 fkIh67ay.net
査読者を信じろ
624:１３２人目の素数さん
18/10/01 09:56:11.84 RjL0qngb.net
>>600
査読は終わったの？
査読中に修正だらけは許可されるの？
625:１３２人目の素数さん
18/10/01 11:23:27.27 ZOAHP8M9.net
ショルツ「3.12が成り立つならabcは証明される」
あれだけわからないだのなんだの6年間言ってたIUTが
ここまで絞り込まれたのだから大進歩じゃないの？
どう転ぶにせよ
>・宇宙際形式主義でなければabc予想が証明できないことをメタ証明せよ
が肯定的にせよ否定的にせよ証明できれば望月先生の
論文は無駄ではなかったことになるわけだし
626:１３２人目の素数さん
18/10/01 11:28:00.39 5pM05zpA.net
安否確認が9/4で止まってるだが
627:１３２人目の素数さん
18/10/01 11:51:02.09 NkTqo2mZ.net
>>602
比喩は直観論理でもトポスでも量子論理でも
ありません、
数学より文学です。
628:１３２人目の素数さん
18/10/01 12:57:58.37 WDRdg0Dx.net
ショルツは3.12さえナリタテバなんこと言ってなくね？
他にも突っ込みどころあるけど、取り合えずまず目立つやつ、誰でも引っ掛かるやつはこれていう代物だと思うが
629:１３２人目の素数さん
18/10/01 13:09:30.27 n5ZAhzOF.net
学部レベルどころか成績の悪い中学生が擁護してる可能性もあるな
630:１３２人目の素数さん
18/10/01 13:16:13.66 RtbYu76V.net
>>597外部「証明わからん」
もっちー「学部生でもわかる」
もっちー取り巻き「沈黙」
もっと外部の人間にはさっぱりだが現状で信じろと言われてもな
仮に正しかったとしても完全に孤立した理論で終わる
間違っていたら極めて高度な欺瞞として科学史に名が残ってしまう
・学部生でなくていいから専門家が信じられる説明をする
・IUT使ってもっちー以外の誰かが何か大きな定理を示す
この2点、どちらかでも良いから望まれる。もっちー取り巻きがあまりに弱い、甘い
おそらく現状では外部（特に外国）では現時点でIUTが信
631:用されてない 今の状態で雑誌掲載は極めて危険
632:１３２人目の素数さん
18/10/01 14:52:51.39 TDGuUQHq.net
ショルツはそれが理論の致命的な欠陥だと言っている
何度言えば
633:１３２人目の素数さん
18/10/01 16:45:18.72 /HU3lvxT.net
望月は圏論の専門家ではないのに、IUTTは圏論と関係ないって
どうして断定できるんですかね？
634:１３２人目の素数さん
18/10/01 18:16:37.56 TDGuUQHq.net
有限なある種のhigherな選択(ラベル)アルゴリズムを関手のように扱いたいんだろうね
そういうのを許すのか否か
635:１３２人目の素数さん
18/10/01 18:27:06.93 TDGuUQHq.net
構成的な観点では別にいいんじゃねえのって気もするわよな
圏論を拡張しちゃってる感はあるが
636:１３２人目の素数さん
18/10/01 18:27:43.74 M4g0m/Qn.net
圏で一意性が成り立たないとか
定式化にも議論があるんでしょ、
637:１３２人目の素数さん
18/10/01 18:30:08.96 M4g0m/Qn.net
>>612
追加
D加群の本に書いてあった
638:１３２人目の素数さん
18/10/01 18:41:31.64 TDGuUQHq.net
書いてあったってIUTTについて？それとも一般論？
639:１３２人目の素数さん
18/10/01 18:45:53.26 M5f1qN16.net
京大からノーベル賞！
640:１３２人目の素数さん
18/10/01 18:54:43.15 mFtjzCye.net
>>614
導来圏についてだが、一意性も大切
641:１３２人目の素数さん
18/10/01 18:57:47.21 mFtjzCye.net
あ、
D加群は京都賞 チャーン賞 受賞！
642:１３２人目の素数さん
18/10/01 19:04:52.88 AlNTnmv7.net
まあな、だが問題は一意性というかidentificationというのが望月の理屈だろ
643:１３２人目の素数さん
18/10/01 19:09:11.56 M4g0m/Qn.net
比喩は数学ではないな
644:１３２人目の素数さん
18/10/01 19:17:16.92 rnTwcK4i.net
もはや普通にアクセプトというシナリオは無さそうだから肯定的に解決出来るように議論していくしかないと思ってるけど望月さんが自らの態度を改めるような事ってあり得るのだろうか。。
自明で突き通すならそれこそ周囲が頑張るしかないな数学者生命を賭けて
645:１３２人目の素数さん
18/10/01 19:29:17.63 RtbYu76V.net
>>620
もっちーはダメでも人生安泰だが
周囲はIUTに人生賭けるかさっさと今損切りするか
646:１３２人目の素数さん
18/10/01 19:47:15.49 fRBpB/qG.net
安泰か？
このままRIMSにいてもつらいと思うぞ。
F藁は名古屋に居座っているが、本人もまわりもhappyじゃないでしょ。
彼も結局論文を修正できていない。
647:１３２人目の素数さん
18/10/01 19:52:39.10 5pM05zpA.net
まあ本当に正しいなら周りが証明を書くしかないな
もっちーは書かないよ
648:１３２人目の素数さん
18/10/01 19:53:50.51 xVsihcOU.net
京都のノーベル医学生理学賞凄いやん
一方数学は３０才の数学者に指摘されて涙目
649:１３２人目の素数さん
18/10/01 20:01:01.80 ynnLNIPw.net
物理はまだしも、医学はあんま比較してもな
650:１３２人目の素数さん
18/10/01 20:01:08.33 2Y20yfKS.net
>>619
比喩は重要だろ
数学における発見はいかになされるか〈第1〉帰納と類比 (1959年)
ポリア
固定リンク:�URLﾘﾝｸ(amzn.asia)
651:１３２人目の素数さん
18/10/01 20:02:12.59 rOXPD540.net
IUTT側にとっては笑えない状況なんだけど、PS・JSや部外者にとっては笑える状況なんだよね
さっき議論の流れを５ｃｈ風に書いて破棄したけど（ｗを多用して気持ち悪くなった）、
PS・JSはIUTTを全否定、望月氏は誤解に基づく議論を全否定している
望月氏の罵倒が話題になりがちだけど、PS・JSの書きっぷりも相当なもんだよ
652:１３２人目の素数さん
18/10/01 20:02:13.77 M4g0m/Qn.net
→ >>617
653:１３２人目の素数さん
18/10/01 20:04:06.20 M4g0m/Qn.net
>>626
査読は必要なし
arxivへ投稿したら
654:１３２人目の素数さん
18/10/01 20:40:13.61 rnTwcK4i.net
今更やっぱショルツの言う通りでしたとは望月さんは絶対言えないよなw
俺は自明で通すから後の人ヨ�
655:鴻Vク状態に突入だなw 比喩表現のところを数学言語に書き直すのは大変だけどそんなに面白くもなさそうだしな こういう終わり方で良かったんじゃね
656:１３２人目の素数さん
18/10/01 20:52:51.97 cQlIIXCW.net
う゛
657:１３２人目の素数さん
18/10/01 21:05:51.01 y+NvMJZj.net
仁が山下の更新ｷﾀ─￣─_─￣─(ﾟ∀ﾟ)─￣─_─￣─!!!!って呟いてるぞ
658:１３２人目の素数さん
18/10/01 21:13:24.70 fRBpB/qG.net
>>630
こういう終わり方でいいわけないだろ。
RIMSも放置となると名声に関わるし、下手したら取り潰しの方向となる。
佐藤スクールはRIMSの栄光であったが過去のものだし。
代数幾何については、大成した人物を集めただけでRIMSで挙げられた業績はたいしたことない。
ABCについては一旦引いたほうが良いでしょ。
きちんと穴が埋められたら、復活できるわけだし。
659:１３２人目の素数さん
18/10/01 21:14:38.86 rOXPD540.net
今の状況というのは望月氏のとって不本意、不愉快であるだろうけど、
「知の欺瞞」（ソーカル事件）や中沢新一事件（東大駒場騒動）とよく似ている（若い人たちは知らんだろうね）
ただ決定的に違うのは、人文科学と違って数学は厳密な論証によって相手に理解させることができるということ
数学者ならこれをやらなければならない
PS・JS側が匙を投げるのなら分かるが、フェセンコが匙を投げるのは如何なものか？
望月スクールでやっていけば良いとフェセンコは思っているんだろうな
660:１３２人目の素数さん
18/10/01 21:38:30.55 M4g0m/Qn.net
>>633
>佐藤スクールはRIMSの栄光であったが
過去のものだし。
勘違いなんだよね、
661:１３２人目の素数さん
18/10/01 21:41:38.77 cQlIIXCW.net
RIMSはゴミだめの戯れ言なぞ相手にせず、アクセプトに向けて粛々と前に進んでる
ここの人って何とか望月一派を貶めようと必死すぎて涙でそう
662:１３２人目の素数さん
18/10/01 21:48:41.46 0gU2YK84.net
モッチーはべつに哲学めいたことをやろうとしたわけでもないから、欺瞞は言い過ぎだろ。
単純に証明に失敗しただけのこと。フェルマー以来数学に証明失敗はつきもの。
今回の事件に特殊性があるとするなら、
発表されるや否や周りの人間が正しいと信じ込み、世界各国で積極的に布教にいそしんだこと。
IUT理論には「理解者」が１０～２０人もいるという触れ込みだった。
ところが、今回の朝日の報道の前から「理解者」と呼ばれる人が、
実のところ証明の詳細を説明できないことにいぶかしむ人は多かった。
663:１３２人目の素数さん
18/10/01 21:48:51.58 A1yfBddV.net
後々本当に泣いてもだれも同情せんよ
664:１３２人目の素数さん
18/10/01 21:51:08.12 S+2AiVln.net
>>636
関係者？
年内にはアクセプトされそう？
自明を支持するならアクセプトだよね
それもアリだと思う
665:１３２人目の素数さん
18/10/01 22:06:19.22 M4g0m/Qn.net
関係者が望月一派 というかな？
事実なら、
関係者は、多分 怒鳴り合いだろう
666:１３２人目の素数さん
18/10/01 22:06:50.81 RHlin2UX.net
一年ぐらい粛々とやって一年ぐらいシクシクやればそれもアリだと思う。
667:１３２人目の素数さん
18/10/01 22:11:47.90 JuhYsuRJ.net
>>632
どこが変わったのかわからぬ
668:１３２人目の素数さん
18/10/01 22:16:10.49 rOXPD540.net
今回の件を社会学的問題やABC予想の証明失敗に還元したい人が一定数いるようだね
その程度の話なら大して問題にならないし取り上げる必要もない
IUTTそのものの構築に問題があるのではないか、ということ。PS・JSはまさしくその点を厳しく突いている
彼らの今回の主張はピンポイントに的を絞ったものではあったが、�
669:ｼにもいくつか疑問点・矛盾点はあるだろう 例えば、圏論、トポス理論、基礎論からアプローチしたらどうなるか？ その辺を明確に分かり易く提示・解明されない限り曖昧なままだ
670:１３２人目の素数さん
18/10/01 22:40:42.91 A1yfBddV.net
引き延ばし工作乙。
671:１３２人目の素数さん
18/10/01 23:55:15.70 P5cxcN+h.net
決めるのは世間や世界だからねえ
672:１３２人目の素数さん
18/10/01 23:55:53.01 zFZvltlq.net
いよいよ最後の審判のときが来た。
誹謗中傷の輩は、地獄のかまどに投げ込まれる。
実りのない稲は刈り取られ、焼き捨てられる。
いかなる権威も名声も意味を持たない。
真理のみが祝福される。
673:１３２人目の素数さん
18/10/02 00:09:52.82 kxUsxORE.net
>>643
本来は抽象的・不定で確かな対象になっていないものを、アルゴリズムを用いて対象を特徴づけ組み込む、
などということは基礎論でも特に論じられたことがない
「宇宙際対象」と「絶対ガロア群によるアルゴリズム」のセットに対応するような事例は過去にない
わざわざ最終セクションを書いた理由は何か。望月が過去にトポスのエレファントを参考文献に入れてる
にも関わらずそれをそんなに使ってないってことは、自覚があったんでしょう
本人的には「圏論的な構造と集合論的な識別の原理に基づき少し拡張しただけ」という意識があると思う
今のところ、当面は通常の数学ではやはり受け入れられないが、最終的には理解される気はしている
Bが言っていたような感じで
674:１３２人目の素数さん
18/10/02 00:16:42.62 kxUsxORE.net
どちらかといえば肯定的だった人間はむしろ怒るどころか、PS-JSの論争に感心するんじゃないか
「言われてみれば確かに常識的に変だな」と
擁護・関係者の一部は馬鹿というよりも新しい考え方に素直過ぎるのかもしれない
圏論的な構造や選択関数の拡張にそういったアルゴリズムを取り入れるということは、Kedlayaが言う
「より繊細な何か」にあたるだろうね
とはいえ、当面これが受け入れられるとはあまり思えない
675:１３２人目の素数さん
18/10/02 00:20:44.34 iHulexLa.net
>>648 わからなくてもいいからとにかく暗記、という受験勉強のノリから抜け出せなかった人たちの末路だね。
Cor. 3.12に何の違和感も感じず素通りw
676:１３２人目の素数さん
18/10/02 00:25:17.39 5i9GJCmk.net
IUTが最終的に理解されるかどうかよりもなにに使えるか、という話で、
タオが言ってるように仮に合ってても使い道がないならそれまでだと思うけどね。
677:１３２人目の素数さん
18/10/02 00:36:32.90 RY1yG+Z5.net
>>637
>実のところ証明の詳細を説明できないことにいぶかしむ人は多かった。
ほんとこれ。
佐藤の周辺は優秀だったな
>>643
曖昧なままなら論文を一旦取り下げるしかない
678:１３２人目の素数さん
18/10/02 00:40:58.77 iHulexLa.net
“数百件に渡る技術的指摘”
もいい加減公開したら？
タイポや文章上の指摘ばっかだったら笑えるw
679:１３２人目の素数さん
18/10/02 00:46:55.51 kxUsxORE.net
>>650
正しいなら色々な問題に使えるはずってのはその通りだね
特に関数体の楕円曲線の結果を色々代数体に翻訳できるはずだし
表現論に適用できないってことも無いはず
680:１３２人目の素数さん
18/10/02 00:49:11.92 C2qwuO+x.net
お前らって少年の頃勉強してる最中にプレッシャーを感じてた？
681:１３２人目の素数さん
18/10/02 00:56:52.52 NP8ucSTv.net
>>648
望月の報告書読め。
SSは完全に誤解しているという意見で一致。
失笑する者もいたほど。
逆に望月が擁護してみせるほど辛辣な意見もあったほど。
682:１３２人目の素数さん
18/10/02 01:29:54.43 FYe24hUD.net
まあがんばれよー
683:１３２人目の素数さん
18/10/02 01:54:23.39 w6a/dFMB.net
>>655
数学的に何の意味もない感情論だよね
684:１３２人目の素数さん
18/10/02 02:40:35.53 kxUsxORE.net
>>655
論争を望月側が自信満々でオープンにした理由に納得した
確かに詳細に見ると恐らく望月側に分があるだろう。ショルツはΘリンクの性質を誤解している
だが、これは既成の数学を確かに拡張しているな。それは記述上の話ではあるが
なるほど、わかったが、合意形成にはまだ1年はかかるかもしれんな。ショルツが納得すればすぐに終わるだろう
685:１３２人目の素数さん
18/10/02 03:58:43.64 Gr9ymhdJ.net
その拡張を形式的に書き下せばいいだろ。
それが数学的証明なんだから。zfcからはみ出ることを無自覚にやってるなら、論理性のない馬鹿だろ。
686:１３２人目の素数さん
18/10/02 05:27:12.94 8uqGXLQU.net
で、加藤Aの弟子のK川は3.12理解できたのか？理解できたのならアクセプトだな
きっと彼がAやSSにレクチャーすることで、時間はかかるだろうが事態は好転するはずだしな
そうなったらようやく「大御所」らの理解が進んで、IUTの置かれてる状況もじわじわ好転するだろう
687:１３２人目の素数さん
18/10/02 05:46:08.43 iHulexLa.net
信者どもはキモい一方的な妄想ばっかだな。現実見ろよ。
688:１３２人目の素数さん
18/10/02 06:06:40.11 dqgkljyn.net
嫉妬心を抑えられない情弱は引っ込んでよーね
689:１３２人目の素数さん
18/10/02 07:00:47.51 YUeHsWVN.net
うんまあ罵倒してる本人がヘルプ読んでる時点で
滅茶苦茶なのは分かるけどな
結局初期から言われてた数理論理の疑問が
そのまま解決しなかったて話
690:１３２人目の素数さん
18/10/02 07:51:55.32 rYCrsE4d.net
スレ伸びてるな
みんな積極的に関わろうとは思わずとも経過や態度はおかしいと思ってたんだね
691:１３２人目の素数さん
18/10/02 08:29:11.72 TtCNhxh6.net
関係者の意見としてはこのままアクセプトという意見で一致してるんやね
ならはよ
692:１３２人目の素数さん
18/10/02 08:57:09.55 lAQy5LEW.net
ZFCと言えばアティヤのほうも同じ間違いをしている（ZFCから逸脱しているのにその正当化がない）
という指摘がされてるね。
自然数に関する予測なのにZFCで記述できないというのは尤もらしくない、
というのはabc予想にも言える。
693:１３２人目の素数さん
18/10/02 09:07:20.28 TFCUkIW9.net
世界はこれだろ→ >>84
694:１３２人目の素数さん
18/10/02 09:50:45.76 TFCUkIW9.net
アティヤはペーパーを提出していなさそう
だからRHへの個人的な見解だろ。
abc予想は IUT論文がPRIMSでアクセプト
されたら、北白河と大岡山の一部と特異点
の限定定理になるだろう
RIMSも終わる、、
695:１３２人目の素数さん
18/10/02 10:01:04.49 TFCUkIW9.net
>>660
曖昧は魔法の箱、
自明から非自明が生まれるらしい
696:１３２人目の素数さん
18/10/02 10:15:30.36 dqgkljyn.net
RIMSはここの素人や崩れの戯れ言は無視して、「専門家」の意見のみに従い、粛々と対応してるので心配すんな。遠吠えは5ch限定で、届いてないからな。
697:１３２人目の素数さん
18/10/02 10:20:24.34 rYCrsE4d.net
ZFCでもKFCでもいいからRIMSには頑張ってほしいわ
698:１３２人目の素数さん
18/10/02 10:31:55.72 TFCUkIW9.net
曖昧は魔法の箱
批判され皆んなで検討後、後付けで
始めからそう言ってゐる！
といえば良いらしいw
699:１３２人目の素数さん
18/10/02 12:22:11.59 dqgkljyn.net
>>672
おい粘着素人
お前ずっとこのスレ常駐して戯れ言垂れ流してるな
悲しい人生だな
700:１３２人目の素数さん
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の周りには新しく興味深い開拓地がたくさん存在しているだろう。