727:１３２人目の素数さん
19/06/25 08:21:26.33 kyIqTovk.net
証明がポシャるのは数学の世界ではよくあること
728:１３２人目の素数さん
19/06/25 08:44:05.59 AX+rAVnR.net
>>679
そんなもん理解してるやつが外から来るのかよ…
729:１３２人目の素数さん
19/06/25 10:27:56.85 9NSN3fmi.net
>>681
論文査読中に概説より解決=証明された
と公式発表するのは数学の世界で前代未聞
では？
730:１３２人目の素数さん
19/06/25 11:54:49.72 fy9YxVi/.net
面白いのは、IUTそのものの記事が英語版しかないこと。日本語版すらない
望月新一は結構翻訳されてるのに
731:１３２人目の素数さん
19/06/25 12:25:04.83 IF0RIKWf.net
>>682
外からは無理。つまり中から。
擁護者や弟子の院生や研究員らが次々と常勤ポストをゲットするという未来予想図。
732:１３２人目の素数さん
19/06/25 12:40:19.88 1+vBKUfZ.net
>>683
RIMSがそんなこと公式発表したの？
ソースは？
733:１３２人目の素数さん
19/06/25 13:19:54.77 W+0GnpwA.net
>>686
>>11です
734:１３２人目の素数さん
19/06/25 13:25:57.88 8bFbmesL.net
URLﾘﾝｸ(www.kyoto-u.ac.jp)
事例４ -28-10-
735:１３２人目の素数さん
19/06/25 15:47:16.30 tY1Y2MYU.net
>>687-688
なんだ、研究成果を述べてるだけじゃないか
解決宣言してるわけではない
736:１３２人目の素数さん
19/06/25 16:07:23.24 d7Hj8sM+.net
望月新一に よる「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想の
解決は、特筆 すべき出来事である。
当該論文は現在査読中であるが、望月新一
が同理論の概要を解説し た業績番号1―
(2)(2014)が、講究録別冊として刊行されて
いる。
737:１３２人目の素数さん
19/06/25 16:55:46.11 8J6SPwZ6.net
特定研究員募集は東山氏のためか。
738:１３２人目の素数さん
19/06/25 20:37:55.28 sleb0th9.net
南出か陽か東山か辻村あたりのポストなんだろうなー宇宙際助教＆研究員
739:１３２人目の素数さん
19/06/25 20:40:40.22 +ELee/FE.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ソルボンヌのルパージュやエクセターのサイディがRIMSに滞在中
740:１３２人目の素数さん
19/06/25 21:09:00.30 VfD2770D.net
何一つ進展がないなかで、椅子取りゲームだけが着々と進む。。。w
741:１３２人目の素数さん
19/06/25 21:20:02.82 giTdJf5x.net
昼行灯の査読のおっさん
742:１３２人目の素数さん
19/06/25 21:23:35.02 fy9YxVi/.net
フェルマーを導出してAnnals辺りにアクセプトされたらそれだけで一生安泰だよ
できるならの話だけどね
743:１３２人目の素数さん
19/06/25 21:26:04.69 KV0tH237.net
ルパージュとサイディが査読者でT先生がエディター？これで論文掲載が決定か。
744:１３２人目の素数さん
19/06/25 21:35:58.42 +ELee/FE.net
論文査読完了→掲載→Nスペ
745:１３２人目の素数さん
19/06/25 21:38:56.94 fy9YxVi/.net
殆ど身内じゃんw
746:１３２人目の素数さん
19/06/25 22:11:57.97 VGxNee+3.net
I have no idea.
747:１３２人目の素数さん
19/06/26 04:36:20.43 7+Y1zJP0.net
>>690
結果として解決することは言及しているが結果が出ているとは言ってないw
748:１３２人目の素数さん
19/06/26 05:18:36.82 exiucvhN.net
>>701
RIMSの評価書類のことうるさく指摘するやつは若干1名の粘着くんなので無視推奨
749:１３２人目の素数さん
19/06/26 06:46:51.33 /u73OQHo.net
その調子でrejectもはねのけて
750:１３２人目の素数さん
19/06/26 07:09:59.65 CAja6CBU.net
>>702
必死だねw
751:１３２人目の素数さん
19/06/26 07:39:31.93 hS9jMq+M.net
>>704
物事の本質を捉えて議論できる大人になろうな
752:１３２人目の素数さん
19/06/26 07:54:05.33 CAja6CBU.net
>>705
RIMSの現況調査表も文科省関連の公式文書
ですよ
753:１３２人目の素数さん
19/06/26 07:54:07.56 rbXxSANP.net
もういい加減、今年中にacceptするのよ！
お母さんとの約束よ！
754:１３２人目の素数さん
19/06/26 07:58:27.61 XL5NU4l3.net
IUTを取り巻く状況を改善するには普及活動(またはギャップ埋め)とその他応用例の提示の2つだと思うけどどっちもうまくいってるようには見えないね
それでも(逆にそうだから)魅力を感じてこの分野に身を投げる優秀な若手がいれば良いけどね
755:１３２人目の素数さん
19/06/26 08:14:45.53 slOJpwOR.net
揚げ足取りガイジ
756:１３２人目の素数さん
19/06/26 09:31:56.63 aCMpAJAX.net
身内評価による永久機関を作れそうな印象はある
757:１３２人目の素数さん
19/06/26 12:36:03.45 5IxK7eXI.net
>>706
物事の本質を捉えて議論できる大人になろうな
758:１３２人目の素数さん
19/06/26 13:36:08.04 Gg1GDvq+.net
大人の都合でしょ
759:１３２人目の素数さん
19/06/26 16:00:21.58 vbxvFeQX.net
なんで10年近くも進展ないの？
760:１３２人目の素数さん
19/06/26 17:15:40.45 UPL5aU74.net
着々と理解者が増えているというスタンスなら、まあどんなに遅くとも今年度までには通すはずなのだが、
少なくともサーベイの咀嚼を含めて内輪より更に外には広がってないよね
761:１３２人目の素数さん
19/06/26 19:44:07.97 3EeXKrv1.net
> 遅くとも今年度までに
時代を越えて語り継がれる確かな想い
762:１３２人目の素数さん
19/06/26 20:11:17.17 FyrbndSh.net
望月氏本人が2020年までを目処と言っているのだから、acceptされるとしたら今年中だろう
もし何もアクションがなければ「致命的な誤りを修正中」だと見てよい
763:１３２人目の素数さん
19/06/26 20:55:20.73 cKuJk5nf.net
致命的なギャップを指摘されているのに
acceptするかもね。
PRIMSの編集部はRIMSの教授たちだから
764:１３２人目の素数さん
19/06/26 20:56:45.80 KAX1qa41.net
しないしない。彼らもこれだけ波紋を呼んでる論文をアクセプトしたら、どれだけバッシングかれるかよくわかってる。
765:１３２人目の素数さん
19/06/26 20:57:48.83 KAX1qa41.net
わかってるからこそ、査読者OKのIUT論文を放置するという荒業にでてるんだよ。
766:１３２人目の素数さん
19/06/26 20:58:46.85 KAX1qa41.net
複数の査読者がOKしたんなら、さっさと掲載するのがフツーでしょ？これは異常事態なんだよ。
767:１３２人目の素数さん
19/06/26 21:14:45.34 UPL5aU74.net
客観的に言ったらこの状況で通したらPRIMSの信用が間違いなく落ちるよね。願望とかでは全くなくて
客観的にそうとしか言えない
こういう場合に最低限の試金石になるのは、アイデアがちゃんとそれなりに受容されそうかなんだよ
しかも遠アーベル幾何学ではなくて、もっと広い数論幾何学者に。今のところ、それも怪しい
それこそT川さんクラスがサーベイを書いたりするとまた全然違うんだけど
768:１３２人目の素数さん
19/06/26 23:33:39.38 7+Y1zJP0.net
なんかもっちーは「たし算とかけ算の世界の関係」とか言ってたような気がするけど
なんでこれを使った応用がガンガン出てこないの？
証明が正しいかどうかは置いておいて、もしIUTが成り立つならこれが言える、みたいな成果は出てきても良いのでは
769:１３２人目の素数さん
19/06/27 00:23:47.76 Mlu8zFqS.net
群馬の担任教師事件
またもや、数学科卒か・・・
770:１３２人目の素数さん
19/06/27 02:40:27.05 TgOGSUiG.net
>>718 いい加減な連投するな。１から４まで査読OKだったわけではない
771:１３２人目の素数さん
19/06/27 05:03:59.05 dNLHf5It.net
＞「今回、論文を検証するための4人の研究者チームが作られ、3年
＞掛かりで確認作業をしてきましたが、望月さんは、“4人の貴重な
＞時間を使ってしまい申し訳なかった。もう十分だから、ご自分の
＞研究をさせてあげてください”と語ったそうです」（飯高名誉教授）
>>693 >>697
4人の査読チームのうち2人はLepageとSaidiだろうな
772:１３２人目の素数さん
19/06/27 05:04:07.54 /aXdDduh.net
>>721
>T川さんクラス
誰？数論の人？
773:１３２人目の素数さん
19/06/27 05:26:01.07 nnwZBtuz.net
>>724
1から4まで査読OKだよ！
774:１３２人目の素数さん
19/06/27 05:43:54.51 ASbXOaU9.net
>>726
横から失礼。ヒント：T＝玉
775:１３２人目の素数さん
19/06/27 07:59:56.40 0ed1tV94.net
2017年12月1日
>>11のIUT評価結果に基づき、RIMSが
IUT中心の次世代幾何学研究準備センター
を設立。
2017年 12月 16日 朝日 石倉記事
早ければ来月1月にも(IUT論文が受理され)
PRIMSへ掲載が決まると報道した。
海外の数学コミュニティの反発より受理が
延期された。
776:１３２人目の素数さん
19/06/27 08:36:26.37 F3y5rWBI.net
>>722
>なんかもっちーは「たし算とかけ算の世界の関係」とか言ってたような気がするけど
>なんでこれを使った応用がガンガン出てこないの？
>証明が正しいかどうかは置いておいて、もしIUTが成り立つならこれが言える、みたいな成果は出てきても良いのでは
裏を返せばそれがないから興味を持たれない。
同様の事は過去「5次方程式に解の公式が存在しない」の証明の時もあったらしい。
アーベルやガロアよりも前に、 ルフィニという人がこれを証明したが
500ページ以上の長い論文でかつ分かりにくく、何より
「解の公式が存在しない」という事だけのためにこの難解複雑な論文を
読み解こうとする人など殆どいなかったそうな。
なので「(マイナーな部分的欠陥はあるものの)証明の大筋はほぼ正しいだろう」
と認めらるも、一握りの賛同者以外からその功績は無視された。
一方で後のガロアの論文(ガロアはルフィニの論文の存在を知らなかった)が
絶大な評価を得ているのは単に「解の公式が存在しない」を証明したからではなく
ガロア群という強力かつ普遍的な深い汎用性のある概念の萌芽を含んでいたから
777:１３２人目の素数さん
19/06/27 09:29:03.03 Yzy4SNrl.net
今回の件が違うのは矛盾点を指摘されてる件
778:１３２人目の素数さん
19/06/27 09:48:22.76 F3y5rWBI.net
>>731
細かい誤りのあるなし(予想が完全解決したかどうか)とIUTに価値があるかないかは
別の話だと言ってるんですが
779:１３２人目の素数さん
19/06/27 10:10:36.96 PGHt5RK7.net
>>730
なるほど…
780:１３２人目の素数さん
19/06/27 12:14:58.21 HMDmXm9t.net
現時点でIUTをガロア理論に例える�
781:ﾌは適切ではないな。 細かいミスはあるかもしれないが、大筋正しいという評価なんかとてもされてるとは言えない。
782:１３２人目の素数さん
19/06/27 12:18:43.28 oa3Xh6bg.net
>>734
ルフィ二に例えてるんだが？
おまえの読解力の無さは異常だな
783:１３２人目の素数さん
19/06/27 12:57:04.22 HMDmXm9t.net
どっちでも同じ。
現時点で
大筋正しいという評価はできんだろ？
784:１３２人目の素数さん
19/06/27 13:04:14.55 jSjUaawY.net
>>730
そういう導出力がありそうにない事はかなり早い段階から認識されている
類体論のオルタナティブという割にはフェルマーの導出もできない
IUTがeffectiveで本物なら、多分フェルマーは30ページくらいで証明できないと不自然だろうね
ワイルズの理論よりは�
785:ｦいはずだから
786:１３２人目の素数さん
19/06/27 13:16:17.77 PGHt5RK7.net
もっちーはガロアにはなれないんだね…
本人が知ったら鬱になりそうw
787:１３２人目の素数さん
19/06/27 13:17:31.57 PGHt5RK7.net
群論を導入して様々な性質を導くのは30ページあればそこそこのことは出来るからなぁ
788:１３２人目の素数さん
19/06/27 13:23:08.43 2SgCbIm9.net
>>736
同じではない。頭大丈夫か？
789:１３２人目の素数さん
19/06/27 14:31:31.29 BUt9yJ/H.net
フェセンコが数ダースもの重要な証明がただちに出来るみたいなこと言ってなかったっけ
790:１３２人目の素数さん
19/06/27 15:01:48.43 8AUMtbIc.net
spiro予想が証明されたら重要な予想が証明
されるだろ。
IUT論文の場合はSSレポートより瀕死の状態
だろう
791:１３２人目の素数さん
19/06/27 16:53:34.92 mS8SdX1x.net
なんで公の場でSSに反論しないの？
792:１３２人目の素数さん
19/06/27 17:17:49.47 tkL6dm6k.net
フェルマー程度を解くには単解的なアプローチであるIUTは不要なんでしょw
IUTによるアプローチを更に発展させてリーマン予想解くしかないw
793:１３２人目の素数さん
19/06/27 17:57:01.43 PGHt5RK7.net
IUT→ルフィニの証明
？？？→ガロア理論
だと考えたときに？？？に相当する理論が既に存在する惑星が宇宙のどこかにあると想像すると、ワクワクして寝れねえな
誰か作ってくれれば歴史に名が残るぞ
794:１３２人目の素数さん
19/06/27 18:11:53.71 b28SIH/j.net
擁護連ってすごい思い込みが激しいのなｗｗｗ
795:１３２人目の素数さん
19/06/27 18:23:12.54 UTBHYOdi.net
抽象的なイメージを語ってるような良く分からない話だなぁと思っていたら
本当にイメージだけの話で実体は無かったというオチ
796:１３２人目の素数さん
19/06/27 18:23:58.46 v1HcxeFW.net
>>745
オラワクワクすっぞ
797:１３２人目の素数さん
19/06/27 18:59:19.84 jSjUaawY.net
>>744
整数環の群による微分を使って楕円曲線の高さを計算するのがIUTなので
実は全くそのようなスキップは通用しないと見るべきだね
テレンスタオも含め、数論研究者が懐疑的な理由の一つはABCより弱いが重要な結果がないってことだ
798:１３２人目の素数さん
19/06/27 19:01:21.26 jSjUaawY.net
元々はこれ線形の理論ではないんだけど、何らかの上手い操作を使えば何らかのモチーフも
計算できるはずだしね。Voevodskyとは違うような形で
正しければそれくらいの理論のはずなんだよ
799:１３２人目の素数さん
19/06/27 19:01:25.99 8AUMtbIc.net
>>745
? ??= オカルト マニア
800:１３２人目の素数さん
19/06/27 19:02:24.05 5WPYEq6g.net
（写真はイメージです）
801:１３２人目の素数さん
19/06/27 19:26:09.74 4gC4iWFr.net
定数ピエロが撹乱してくれるでしょ
802:１３２人目の素数さん
19/06/27 20:28:45.64 jSjUaawY.net
>>633
今更ですが、IUTがこのポストの観点から見ても厄介なのは、やはり抽象化による曖昧さを利用しようと
していることですね
「ちゃんと同型の意味について見る必要がある」という問題自体は認識してやってるから厄介なんですよ
自然同型というよりもっと抽象的でhigherな話なんだというスタンスですね
一部の学派よりの数学者がはっきり否定できないのも、そういう圏論と群論の微妙な差異が難しいからに尽きる
実際、望月寄りに見てお人好しに考えたらSSの批判は単純過ぎるように見えるわけです
これは論理学的には非常に古典的で、ポストモダンや西田を必ずしも持ち出すまでの話ではないとも言える
つまり、外延ですね。位相群に緩めることで単スキーム論的な外延が増えるのだ、という話に過ぎない
その増えた情報量がちょうと変形の微分になっているという理屈です
しかし、これはやはり遠アーベル幾何学と外延、内包の、トポスでの悪用だと思うんですけどね
更にすっ飛ばした言い方をすると、エタール基本群・モノイド・位相群の組で整数環の微分と積分を語るのは
虫が良すぎるとも思いますね
だからラベルとかリンクみたいな飛び道具が出てきちゃうんですよ
803:１３２人目の素数さん
19/06/27 20:32:55.35 jSjUaawY.net
まあ少なくとも、何か通常の圏論を超えた話をしてるのは間違いないね
それでも正しいというならそれはそれでいいと思う。やめろ、とは思わない
804:１３２人目の素数さん
19/06/27 21:04:03.98 zdbOvFEt.net
ここで言う宇宙てグロたんの宇宙のことなの？
805:１３２人目の素数さん
19/06/27 21:33:24.56 vpuAPXh8.net
はじめて論文じたいみたが。
本人もわかってない、証明完了できてない気がするが
合ってたとしてもラマヌジャンとかフェルマーみたいに証明は知らないみたいなことでは?
806:１３２人目の素数さん
19/06/27 22:36:11.78 ZnJBcKCX.net
GalOis
807:１３２人目の素数さん
19/06/27 22:41:40.67 jSjUaawY.net
やっぱりテータ写像が結局自明なことを強調して示したSSはさすがだな
一番論点としてクリティカル、ピンポイントだわ
808:１３２人目の素数さん
19/06/27 23:07:26.65 2Jivr8o5.net
IUTを使わずにabcが証明された時が本当に終わる時だ
809:１３２人目の素数さん
19/06/27 23:53:31.79 tZ9RSB67.net
そらある数において最大の(１+k)を出す方法がわかれば終わるだろうな
810:１３２人目の素数さん
19/06/27 23:55:05.59 2SgCbIm9.net
IUTを使わないABC証明が近々に上がってくるとは思わない
811:１３２人目の素数さん
19/06/28 00:07:53.99 vc4Z3KuJ.net
>>756
それは微妙なとこだ。別の方がたまに言及されてたが、一応圏論やトポスと矛盾しないように意図された
IUTの宇宙、望月宇宙と見たほうが妥当だろうな。宇宙という概念の構成の一つであり、
グロタンディーク宇宙がトポスにフィットするように、トポス+IU形式主義にフィットする宇宙
812:１３２人目の素数さん
19/06/28 00:08:06.32 GO3fP15O.net
ＩＵＴを使った証明が近々に上がってくるとは思わない
813:１３２人目の素数さん
19/06/28 00:08:19.07 1eECP03m.net
そろそろ査読完了でPRIMSに掲載決定ですかね。
814:１３２人目の素数さん
19/06/28 06:34:52.36 vsFx/mid.net
私の宇宙 あなたの宇宙
証明ごとに圏論の単語を濫用し別の宇宙
815:１３２人目の素数さん
19/06/28 07:30:46.40 G/u4YIu2.net
際どい宇宙対比無理論
816:１３２人目の素数さん
19/06/28 13:21:13.50 7HlpKb8r.net
朝日使って文科省向けに花火あげといて、海外から批判きたけど予算要求にはいいアドバルーンだったわな。
おかげで今年からIUT予算がガッツリついて、特定助教や特定研究員も雇いまくり、来年にはプロジェクトも開催とな。
817:１３２人目の素数さん
19/06/28 13:38:39.67 qPsiohAg.net
>>768
>おかげで今年からIUT予算がガッツリついて
「IUTが特別に革新的だ」という理由で特別についた予算て合計いくらなの？
森重文は「補助や援助は広く薄く」がモットーの人だったし
そもそも実験科学とか比べたら数学なんて額自体が小さいでしょ
818:１３２人目の素数さん
19/06/28 13:54:42.34 7HlpKb8r.net
>>769
一億
819:１３２人目の素数さん
19/06/28 14:09:16.46 ysLTLx0F.net
オボちゃんみたいに高級家具買うのかな
820:１３２人目の素数さん
19/06/28 15:16:13.98 YEpK8pYS.net
高級家具は同じ理研だけれど違う人でしょ
ｽﾚﾘﾝｸ(life板)
821:１３２人目の素数さん
19/06/28 15:30:53.24 /rK0FO3M.net
招いた方らの滞在費に高級焼肉代は含まれるの？
宿泊費だけならだれも来たがらないだろうし
メールで済むもんね
822:１３２人目の素数さん
19/06/28 15:43:53.87 OJiCqD4T.net
数学なんだから旅費と滞在費だけじゃない�
823:ﾌ？雇用されるならパソコンとか備品も買えるだろうけど
824:１３２人目の素数さん
19/06/28 16:15:10.33 RcW6La14.net
アメリカではNSAから莫大な金が数学者に流れている。
825:１３２人目の素数さん
19/06/28 18:32:38.91 qNLeVPFj.net
政治的な比較云々よりもアメリカ勢（ph.Dを含め）が殆ど反応してないのが重要だな
アメリカ勢が乗ったら潮目は変わるし
826:１３２人目の素数さん
19/06/28 19:03:29.88 aX8MM604.net
abc予想の解決に不定性のラベル管理といった操作が本質的に必須かどうかという事なのだろうね
必須なのであれば証明に多少ギャップがあってもIUTスゲー、望月スゲーにはなる
827:１３２人目の素数さん
19/06/28 19:07:38.10 66w6LDYR.net
証明で パーツを張り合わせギャップがOKなら
何でも証明できるじゃん
828:１３２人目の素数さん
19/06/28 20:21:53.17 hx88+DmN.net
サイディさんが査読チームに入ってるなら安心だろ。彼は遠アーベル幾何の専門家だ。
829:１３２人目の素数さん
19/06/28 20:30:52.83 R22PGxJP.net
>>776-777
終わってるものとの認識だから今さら感いっぱい
>>779
その理解者たる准教授は他の人に説明できて理解者を増やしたのですかな
830:１３２人目の素数さん
19/06/28 20:33:21.79 in54GNFZ.net
擁護派のスローガン
専門家
あってるかどうかは重要じゃない
831:１３２人目の素数さん
19/06/28 20:52:23.37 HxccK+Oa.net
サイディ曰わく
「なぜIUT論文が認められ、掲載されないのか。いつまで放置するのか？」
と。相当おかんむりらしい。
832:１３２人目の素数さん
19/06/28 21:10:26.62 qNLeVPFj.net
サイディってフェセンコとあまり変わらない印象あるけどね。しかも更に内輪寄り
833:１３２人目の素数さん
19/06/28 22:25:23.13 OwPK4iXH.net
別に掲載されなくても勝手にIUT使った成果出せば良いしプレプリントを引用して新たな成果を出せば良い
834:１３２人目の素数さん
19/06/28 22:56:06.76 CvatCi0r.net
サイディは星、山下と共に2014年時点で、望月曰く「通常の査読より厳しいチェック」をした検証チームの一人だから、
苛立ちはあるだろうね。ただそれは誰に、何に対する苛立ちなのか？編集者やジャーナルに対するものだったら分かる
SSや数学界に対するものだったらお門違いだけどね
あと、SSの指摘は（単）遠アーベル的復元/構成は必要ない、充満多重同型などは納得できないという根本的なものなので、
仮に現状でジャーナル掲載されても、査読者の誰かが納得できる説明をしないとそのジャーナルの権威は地に堕ちる
サイディにはその覚悟があるのかな？
835:１３２人目の素数さん
19/06/28 23:00:03.18 OwPK4iXH.net
さっさと載せてComment on:でやれ
836:１３２人目の素数さん
19/06/28 23:20:31.14 JBSyL59b.net
Ｎスペ強行突破
837:１３２人目の素数さん
19/06/28 23:27:36.68 0jmyGwAY.net
>>786
SSレポートも掲載だな
838:１３２人目の素数さん
19/06/28 23:59:24.64 CvatCi0r.net
>>754
＞位相群に緩めることで単スキーム論的な外延が増えるのだ、という話に過ぎない
この辺を正確に言えば、点付き位相空間ではない、古典的な位相空間、つまり基点をもたない位相空間を扱いたいわけです
これはアナベリオイドの幾何学からの発想で、基点に依らない、基点を動かすことによって、
ループ状入れ子式宇宙を作りたいということです
そこでslimアナベリオイドや、圏の圏といっても二次圏ではないslimカテゴリーを考えている
それからスタックを利用しそれらの貼り合わせを考えている
何で私が望月擁護みたいなことを書かなければならないのか？！（笑） orz
839:１３２人目の素数さん
19/06/29 01:03:37.81 37tMvLCf.net
分離したのは複素数の和と複素数の積だろ？
840:１３２人目の素数さん
19/06/29 02:10:09.19 j+Y5oNXS.net
SSは18年5月と8月レポートでの望月のコメントに対して、
回�
841:嘯ｵてないままなのかな？ 例えば8月SSレポートに対する望月のコメントでは、ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-08.pdf コメント(C1)～(C14)で色々な質問や指摘をしているけど、 コメント(C14)で、下記のように"completely false"とまで記載されて、 FALSEでないなら反論すると思うのたが。 Here, it should be stated clearly that this assertion (Lin), which underlies the argument of §2.2, is completely false.
842:１３２人目の素数さん
19/06/29 02:18:03.26 R/cYJTO8.net
身内以外が認めりゃそうだろよ
843:１３２人目の素数さん
19/06/29 02:46:46.07 zcWog+My.net
SSは何十回も" completely false " と言われても何も言い返せないで沈黙してる。
実質的に数学者を廃業したに等しい。
844:１３２人目の素数さん
19/06/29 02:49:45.61 c1PzCwfK.net
つ糖質ブーメラン
845:１３２人目の素数さん
19/06/29 03:04:40.87 gHgpPgFT.net
ほとんどだれも見てないﾎﾑﾍﾟでｺｿｰﾘ吠えただけで恥ずかしい
出るとこ出てやればいいじゃないか
846:１３２人目の素数さん
19/06/29 03:57:21.29 tyLb/VDh.net
>>791
なんで自分の研究が忙しいフィールズ賞授業者が、一銭にもならない他人の研究（しかも彼の解釈では失敗作）にそこまでして付き合わなければならないんだ？
言ってることがjinレベル。IUT中心に世界が回っているとでも勘違いしているんじゃないのか。
847:１３２人目の素数さん
19/06/29 04:01:21.34 eM2nthZQ.net
望月の反論はSSへの反論になっていないんだよ
SSは脚注8（5月版では脚注5）で、全てのホッジ劇場にある基本群は自然同型となる。これはクンマー理論だけでよいという意味
クンマー理論+単遠アーベル的復元/構成による充満多重同型など必要ないし、説得力もないということ
つまり、ここで単遠アーベルを用いるのは不自然極まりないという指摘なんだよ
それに対し望月は、単遠アーベルを用いるのは自然な論理であり、必然的で不可避であるということを説明せず（できず？）、
クンマー理論+単遠アーベルによる充満多重同型を前提にして、SSに対して「君たちは全く分かっていない」と言っているに過ぎない
完全にズレており、指摘から逃げているのは望月の方だよ
望月がすべきなのは単遠アーベルを用いることの必然性、自然さを「証明」することなんだよ
SSからすれば「この人、この期に及んで何言ってんだ？」という感じで、反論する価値すらないだろう
IUTに少しでも関心を持った者は、SSレポートだけでなく、当然望月反論レポート、反論コメントは全て読んでいる（筈だｗ）
多くの数学者がSSの指摘に納得し、IUT終了と見做したのは、望月が真正面から反論せず（できず？）、
ただIUTの論理を垂れ流した反論しかできていないからだよ
要するに、SSの指摘を理解できないのか、話を逸らしてイチャモンつけているようにしか見えないワケだ
こんな鬱陶しい絡み屋には二度と関わりたくないと思うのは当然だよ
848:１３２人目の素数さん
19/06/29 04:21:45.75 eM2nthZQ.net
まあ、傍から見れば望月のブログのコメントやBL本寄稿文もほとんどブーメラン、
愛友亭のツイッターもブーメランが多く、フェセンコはブーメランの名手。jin-pilot objectたちは言わずもがな
IUT関係者やパパラッチ、フーリガンらはブーメランが好きなのか（笑）
849:１３２人目の素数さん
19/06/29 04:37:49.80 eM2nthZQ.net
前から散々書いているのだけど、IUT擁護、望月擁護したいのならもっとマシなこと書いてくれよ、と思う
IUT読んでりゃいくらでも書けるだろうに・・・
私がそれをやらないのは単にレトリックにしかならないからだけど。
850: つまり、IUTは悪しきポストモダン風数学にしか見えないからだ
851:１３２人目の素数さん
19/06/29 04:44:26.83 zcWog+My.net
SSはもっちーに早く反論を出せと催促していたのだが、もっちーの反論が出来上がると、その公開は待ってくれ、と言ったんだよな。なんで？
852:１３２人目の素数さん
19/06/29 05:23:08.36 eM2nthZQ.net
それは愛友亭やフェセンコが言っていることだろう？ SS側からのコメントがないから確証はつかめない
大体想像はつくけどね。フィールズ賞受賞前にショルツからすれば「しょーもない」こと（IUTのこと）で他の数学者からの問い合わせや
マスコミ等に煩わされたくないというところか。ショルツだって聖人君子とは限らないだろう。これも確証はないけどね
SSレポートが内容的にまずいと思うなら、そもそも公開を拒否していただろう。結局、彼らは公開に同意した（時期を遅らせただけ）
それより逆に訊きたいが、なぜ愛友亭（Bのこと）は朝日の報道の直後には何も言わず、半年以上たって朝日を批判したのかね？
私には望月-SS討論とSSレポートの内容を彼は事前に知っており、公開時期を見据えてそれのもたらす数学界への影響を考え、
朝日を罵ることによって彼自身を含むIUT関係者及び京大、RIMSを守ろうとしたとしか思えないのだけどね
はっきり言って、M、愛友亭、フェセンコは大学人、社会人としての彼らの言動は全く信用できない
むしろ、Gは不器用だが真面目なヤツだと思う自分がいる（笑）
さっき書いたばかりだけど、もっとましな問い掛けができないもんかね？ 出来の悪い小学生を相手にしているみたいだ orz
853:１３２人目の素数さん
19/06/29 05:31:41.51 dAGZa0B0.net
IUT擁護者からするとSSの私的など分かった上でIUTが数学の新たな知見をもたらすものではないかと考えているわけだ。
要は認めるか認めないかの話だけど、望月の論理に瑕疵がなければ認めていいじゃんと言っている。
IUTに応用性があれば認める数学者も多かっただろう。
854:１３２人目の素数さん
19/06/29 05:45:00.52 zcWog+My.net
SSはもっちーから「出鱈目な内容の残念な雑音」とまで言われているのに何も言い返せないで沈黙している。SSがもっちー論文の中に重大な瑕疵を発見したという意見に賛成する数学者は一人もいない。
855:１３２人目の素数さん
19/06/29 06:18:21.16 37tMvLCf.net
数理科学全般が終わっていたなら終っていたと
言うべきだった。こんな長期に引きずる話じゃないだろ。
856:１３２人目の素数さん
19/06/29 06:52:26.38 AeYn3Wll.net
>>803 精神病患者
857:１３２人目の素数さん
19/06/29 07:01:40.58 37tMvLCf.net
そうそう俺は精神病でさ時々書き込んでいるんだよ。
痛いところ突かれて、アンカも違うけど反応して焦っちゃうよ
858:１３２人目の素数さん
19/06/29 07:08:25.57 Z2KDXkY1.net
>出鱈目な内容の残念な雑音
重大で不都合な事実を指摘され激怒した。
それだけだ
859:１３２人目の素数さん
19/06/29 07:48:36.95 j3LRAJOP.net
>>807
”重大で不都合な事実を指摘され”の”事実”だけど、
８月のSS報告書と望月コメントの後、Fesenkoのコメントに、
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
SSはevidence of the ’faults’を示すべきだと書かれては、
SSが示さないと。
Of course, it is still possible to contribute useful questions/comments/remarks in relation to more conventional parts of the theory, e.g. those which came in 2012 from Dimitrov and Venkatesh.
To make a mistake in one’s mathematical study is forgivable
860:, especially when one tries to understand a complex theory. However, publicly talking about ’faults’ in another theory for several years without ever having any valid evidence of the ’faults’ is not what we can support. SSの8月のレポートは誤りと誤解があると書かれているから、先のevidence of the ’faults’を示して、これにSSは回答があるのかなと思っている。 The second version of their report does not address most of comments of Mochizuki on their first report. The second version of their report also included new incorrect statements such as a blunder in classical height theory and a fundamental misunderstanding of the famous work of the German mathematician G. Faltings それと改めて読んで気づいたけど、加藤のIUT本は英訳されのかな。 one can watch F. Kato’s talk and hopefully his bestselling book will soon be translated into English.
861:１３２人目の素数さん
19/06/29 08:14:17.31 Z2KDXkY1.net
フェセンコも2017年12月の 数学コミュニティ
で罵倒していた。
回答してもまた罵倒されるだけだろう。
望月星とSSが直接議論したのに、その後
星だけが公に沈黙している。
星は 自らのレクチャーノート サーベイを含め
数学として明確にコメントするべきと思う。
摩訶不思議なIUTランドですね
862:１３２人目の素数さん
19/06/29 08:24:51.55 uSdUwGpS.net
いい加減キャラ変えていかないと、これからどうするんだよ。
数学というかもともと一番の関心は結局他人との接し方だろ？
863:１３２人目の素数さん
19/06/29 08:27:19.11 JpXiWWm1.net
幾人もの数学者から循環論法と不定性を指摘されてるのだから擁護派はやればやるだけ窮地に追い込まれると見て良いだろう
793や803みたいな主語と述語も理解できないようなフーリガンは研究室周辺の子息妻子が丸々の嘘を教え込まれて妄信的に書き込んでるだけ
864:１３２人目の素数さん
19/06/29 08:39:22.47 uSdUwGpS.net
どっかの不良の兄ちゃんが、身体に刺青入れてこれは俺の鎧だから、
って言っていたのと同じじゃん。言わないままにしておくから
還暦過ぎても消化できないんじゃない？
曖昧にしておくから締まりのない暴走族の解散騒動みたいに見えるぞ
865:１３２人目の素数さん
19/06/29 08:49:41.63 uSdUwGpS.net
現代数学とは複素関数論のことです、しかもその先はありませんってもう言おうぜ
866:１３２人目の素数さん
19/06/29 09:38:46.46 RnEmeIG1.net
おこぼれ狙いのバカボン周辺が新しい数学を免罪符にして新興宗教にしてる
ジャーゴンの山と見るべきアイデアはないとの指摘を理解できないから
867:１３２人目の素数さん
19/06/29 09:52:55.44 uSdUwGpS.net
単にわざと怪しくやって自分とこの院生の進路変更促してんだろ
研究室ではああ言ってるけど先無いよって
868:１３２人目の素数さん
19/06/29 10:39:35.25 OVgM1/wi.net
>>808
英訳版文元本の一番面白いところ、
Unfortunatly, my favorite stakehouse closed
869:１３２人目の素数さん
19/06/29 12:04:39.40 YrlHWWmV.net
忙しいとか罵倒されるからとかは、レポートの質問に回答しない理由とは思わない。
そのレポート�
870:曹｢た時点で負うべき文責だよね。 Fesencoの前述レポートに「SSの５月レポートは望月指摘で心変わりして投稿を見送っ」たとあるけど、投稿の文責をもない非公式レポートで、文書での指摘に回答もしないならば、 それは手続きとして「レポートには文責がない」扱いだと思う。 加藤本を読んで興味を持ってみたが、 擁護派だか何だか知らないが、 SSも、G. Faltingsの有名な業績を間違えてるとか、議論がFALSEとまで書かれたら、 質問や指摘に対して、間違ってない事を根拠を示して回答するのみだ、とシンプルに思うが。
871:１３２人目の素数さん
19/06/29 12:13:05.16 jtcUPIcD.net
>>817
そこまでの責任は無いよ
というのは、議論の根幹である「実テータ写像は自明ではないのか」との問いについては、
仮に望月らの反論である、環を相対化した群の同型射の取り方の明示化を受け入れても、数学的に揺らがない
可能性が高いから
「SSレポートが十分ではない」のと「批判の骨子が間違いである」のとは混同できないのは明白
強いて言えば、アクセプトしたらまた別の誰かもSSに加担する可能性とかはある
872:１３２人目の素数さん
19/06/29 12:28:55.34 U4KcrQTE.net
警告としてはもう充分でしょう
自滅するまでわかんない人たちばっかりみたいだからやらせてあげれば
数学の微分はやれても情勢の微分はやれないカスばっかりなんだから
死人がでても気の毒とは思わないね
873:１３２人目の素数さん
19/06/29 12:40:54.48 aWnDfeSo.net
>>818
本を読んで興味を持った外野ですからねｗ
レポートは、それを読んだ者が技術的に質問して回答ない「手続き」をしたら、
その「SSレポートは文責がない」と言っただけです。
ただ「そこまでの責任は無いよ」と言ったら、もし回答するならSSに失礼で、
そこまで言ってませんが。
874:１３２人目の素数さん
19/06/29 12:50:40.50 Vto9cG74.net
こいつ本スレとか前スレ全然読んでないな
875:１３２人目の素数さん
19/06/29 12:55:15.21 RGVxekou.net
明後日の方向にミスリードして撹乱するのはライター系の常套手段
本論で都合が悪いから
876:１３２人目の素数さん
19/06/29 13:20:23.76 jtcUPIcD.net
>>820
SSに文責自体はありますよ。何故なら、informalでも関心ある数学者は皆この件を認知しているから
ただ、更に反論する責任まではあまりないってこと
まあ論争の件のリンクが無くなってるように見えるのは疑問だけど
877:１３２人目の素数さん
19/06/29 15:53:19.78 zcWog+My.net
SS分裂後、シュティックスとショルツェのIUTに対する見解はどう違うのか？
知りたいね。
878:１３２人目の素数さん
19/06/29 16:12:53.38 jCoTZ8sT.net
>>824
過去スレを読んだらいかがですかね
879:１３２人目の素数さん
19/06/29 16:16:52.12 DHiuKlHq.net
Inter-universal geometry と ABC予想 39
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
880:１３２人目の素数さん
19/06/29 16:22:25.40 zcWog+My.net
ショルツェは遠アーベルの知識、理解に関してシュティックスに依存していたが、シュティックスが日和ったので梯子を外されてまったく動けなくなった。だから沈黙するしかないのだろう。
881:１３２人目の素数さん
19/06/29 17:21:45.23 XHR4+ste.net
こんな状況でショルツェもシュティックスも発言したくないだろ。
細部をつつかれて罵倒されるのだから。
彼らはIUTを見限ったということだろう。
彼らが来日したときは、直接議論することでIUTを理解できるかもしれないという希望をもっていたんだろうけど、もうそんな希望をもてなくなったのでしょ。
細部をきちんと埋めるのは、IUTの証明において望月とその取り巻きがきちんとやるべきこと。
B本がやっているのは、パズルがきちんと貼り合うことを、証明とは無関係の絵などでイメージさせているだけ。悪徳政治家かよ。
882:１３２人目の素数さん
19/06/29 17:23:41.08 jtcUPIcD.net
>>797
ただ、単遠アーベル幾何学を用いるのは理論の動機からは必然的ではありますね
環上の線形な微分ではなくて、自由群による環構造間の微分を構成するのが狙いなわけだから
で、それがナンセンスという話
つまり、哲学的には面白いと言っても良いんですよ
でも安直な道具立てなんじゃないかなっていう問題。エタール基本群のbi-anabelianには欲しい構造がないから
位相群ならどうか、しかし実解析多様体においては自明な写像を無理やり複雑にしたようにしか見えないと
883:１３２人目の素数さん
19/06/29 17:26:47.96 jtcUPIcD.net
スキームより深い微分によるテータの一般化は可能だろうけども、IUTがそれを満たすのかどうか
そういう意味では、ギャップがあるというよりは、夢としてはまあある程度正しいのかもしれない
それを自然に実現するのはまた「狙いは似ているがそれなりに別の理論」なのかもしれない
884:１３２人目の素数さん
19/06/29 17:29:42.38 zcWog+My.net
SSが京都に来た頃は彼らは自分たちの考えに自信を持っていたが、もっちーの反論文書によって完璧に打ちのめされて自分たちの不勉強を思い知った。
885:１３２人目の素数さん
19/06/29 17:49:13.13 XHR4+ste.net
もっちーは「出鱈目な内容の残念な雑音」とか日本語で言っているだけだろ。それじゃSSに届かないよ。
届いたところで、関わりたくないと思っているんでしょ。汚い言葉で罵倒されたくないだろうし。
もっちーの反論文書も、始めの版ではもっちーがこんなに汚い英語の使いかたをするのか、ということに驚いた。ある意味ネイティブじゃないとできない。
でも、それは後の版で少し穏当に書き換えられた。いずれにせよ、もっちーに対する信頼がなくなっていった。
自分はIUTについては素人だけど、大学教員やってます。
886:１３２人目の素数さん
19/06/29 18:31:12.33 jtcUPIcD.net
最終的にはCoqに任せればいいのかなw
887:１３２人目の素数さん
19/06/29 18:47:32.98 eM2nthZQ.net
>>829
まあ、そうですね。「動機からは必然的」ですね（笑） 望月の気持ちはよく分かります
ロバーツが「望月は圏論の概念を使いながら独特のジャーゴンを使っている」というようなことを書いていますが、
逆に言えば、元々望月独特の論理があって、圏論で翻訳できる部分はできるだけ翻訳しているという印象です
これは物理屋さんが>>624でロバーツPDFから引用したようなことです
（片言ガイジと呼ばれていますが、この人の引用は適切です）
大体、忘却関手で位相構造を忘れた状態をそのままにして、かつ体としては非同型なものを（充満多重）同型と呼ぶこと自体、
ブッ飛んでいます（笑） とにかくアイデア先行で、既存の数学なぞなんのその！って感じですね
888:１３２人目の素数さん
19/06/29 19:05:17.84 eM2nthZQ.net
先日、IUTの宇宙際性というものはドゥルーズ『差異と反復』のようなものだと書きましたが、
SSレポート公開直後に私がこのスレで書いたのはリゾーム的なものではないか、ということでしたね（失念していました）
これは私の勇み足でしたが、ある意味でIU形式主義、宇宙際幾何学の行き着く先を私なりに想像（妄想ｗ）したものだと言えます
つまり、アナベリオイドの幾何学を徹底し、スタックを駆使すれば、完全なる異種交配の数学に行き着くかもしれない（笑）
如何なる対象でも、様々に異なる次元でも組み合わせによって繋
889:げて考えられる D-Gの言葉を借用すると「超越論的経験論的遠アーベル幾何学」などが将来的にありうるのではないでしょうかｗ あー、なんかもう私もオカルトマニア氏みたいになってきましたね orz
890:１３２人目の素数さん
19/06/29 19:09:34.76 zcWog+My.net
ショルツェは何も言えないから黙ってるんだよ。
891:１３２人目の素数さん
19/06/29 19:28:23.30 6MnOjJoq.net
現役のフィールズ授賞者がそんなことしないでしょ
擁護側の取り巻き連中以下みたいなことはしない
892:１３２人目の素数さん
19/06/29 19:29:41.39 XHR4+ste.net
>>836
あなたと似たにおいのする取り巻きやご本尊と、もう関わりたくないんだろ。
B本ではたとえを多用しているが、電車の中にごくまれにいる、すごく臭かったり奇声を発していたりする人に関わりたいか？
893:１３２人目の素数さん
19/06/29 20:26:26.19 cIvUksKY.net
>>837
黙っているよｗ
the argument of §2.2, is completely falseと、
公開のコメント文書に、説明付きで書かれて、
どう「Falseでないか説明せず」に、まだ黙っているから。
まずは自身の書いたレポートへの質問の回答からだよね。
894:１３２人目の素数さん
19/06/29 20:46:40.32 eM2nthZQ.net
>>833
このことについては以前にバザードが、IUTについてはまだまだだと、否定的見解をコメントしていましたね
ヴォイトのブログの“Latest on abc”のコメント欄（このブログはコメントが多いと1ページには収まらないんですね）
URLﾘﾝｸ(www.math.columbia.edu)
バザードのコメント(Kevin Buzzard says:December 18, 2017 at 7:02 am )から一部引用
-----------------
Humans have not yet finished the pre-formalisation part of Mochizuki’s work.
The papers contain claims which many members of the number theory regard as being unclear.
A team of computer scientists cannot work with a document which contains assertions
for which the only way to unravel them is to ask a small group of people who claim to understand the proof,
especially if the response is that the computer scientists should just go away and do 300 hours of training.
Because the pre-formalisation is not yet finished, the formalisation can not yet begin,
and until the pre-formalisation is finished I think it would be very unwise to speculate about the length of a possible future formalisation project.
-----------------
895:１３２人目の素数さん
19/06/29 21:23:42.27 jtcUPIcD.net
>>840
しかしできることは間違いないですからね
HoTTと代数的整数論を押さえる、つまりVoevodskyに近い人材を集めれば、少なくとも議論を洗練させることは
できる。それも重要だと思います。ケーススタディの一としてはっきりさせていく
ただ、今の形式化は手間がかかりすぎますね。非常に原始的な段階だからなかなかできない
前形式化云々というよりは基礎論および形式化のソフトウェアの整備でしょうね
この点で今一番必要な人材は、グロタンディークとフォン・ノイマンやラッセル、フレーゲを
合わせたような存在、または流れでしょう
896:１３２人目の素数さん
19/06/29 21:42:30.66 eM2nthZQ.net
>>841
いやいや（笑）、そんな数学史に残るような大天才たちがIUTに集まるわけはないと思うのでｗ
現行のIUTでは普通に優秀な数学者でも見向きもしませんよ（ゲテモノ好きは除く）
バザードが言っているようなことは望月自身がやらな�
897:ｯればいけないことです 所謂理解者には期待できません。ただ、IUTを形式化出来るかは疑問ですね 私はIUTをレトリック集、ナンセンス集としてしか見ていませんから、個人的には形式化したら価値がなくなりますね ここで言う価値は、数学的な価値ではありません。勿論、哲学的な価値でもありません
898:１３２人目の素数さん
19/06/29 22:22:38.92 80pJPXmm.net
バザードってなんかかっこいい名前だな
きっとバザードのほうがただしい
899:１３２人目の素数さん
19/06/30 06:46:20.39 M0Nqv3qh.net
飲み屋で身体も動かんようなじじいが、調子の悪い野球選手を叩いているようなもんと思えば、このスレの偉そうなバカたちの存在も許せるのかも
900:１３２人目の素数さん
19/06/30 07:28:17.66 GNflWkMb.net
さあ高級焼肉喰って精力と勢力増すニダ不利な点はスルーして延々と回答こないことを正当化するニダ
今週も手頃なカモをマインドコントロールして適当にわかったフリをする人間を増やすニダ
∧＿∧ 国内からの決定的な反論や異論は答えられないから徹底的に説明責任回避するニダ論点すり替えてケムに巻くニダ
<丶｀∀´> ∧＿∧ 反論は無理ポだし見てないフリするニダ検証されると困るからいつもの僻みフーリガン工作員使うニダ
／ ＼ （ ）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ
.＿＿| | .| |＿ / ヽ
||＼ ￣￣￣￣ ／ .| | | なに言ってんだこのゴミクズ太鼓持ちの傲慢エセ数学ドカタ野郎が身内の反論検証はよ
||＼..∧＿∧ (⌒＼|_＿./ ./ 明示的定数とかホザいてたピエーロ・ヒトバシーラは音信不通かよ
||. （ ） ~＼___＿_ノ| ∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点は徹底してスルーで数日で復活とかハイエナゴキブリ並みの生命力
| ヽ ＼/ ヽ. 無防備な学生やら利得関係者ばかりにゴリ押し洗脳新興宗教かよ
| |ヽ、二⌒) ／ .| | | 数々の指摘の反論ができないってどういう事だよ
.| ヽ ＼∧＿∧ (⌒＼|_＿./ / 説明責任回避して逃げるだけのペテン師ハイエナ野郎
. 洗脳本の出版で潮目が変わるんじゃなかったのかクソ野郎
. 決定的な否定論を活発な議論とかでごまかすハイエナ野郎クズいんだよ
.
901:１３２人目の素数さん
19/06/30 08:20:33.89 mpdPendQ.net
研究室で論文もサーベイも書けん若手が、オツムの悪い擁護連中を後ろから蹴飛ばしてるようなもんと思えば、このスレのクソ偉そうな
個人権威の崇拝主義たちの存在も容認できるかも
ポスドクゲットのニンジン争奪戦でアンチ叩きのポイントが加算されるから
902:１３２人目の素数さん
19/06/30 09:47:35.67 Mb+tV1O4.net
> 個人権威の崇拝主義たち
「個人主義の権威崇拝者たち」くらいの方がまだいくらか言葉の流れはよいかも
(これでも意味はよくわからないけど、おそらく罵倒が目的の文脈のように見えるから)
903:１３２人目の素数さん
19/06/30 09:59:05.72 u3sAtnUH.net
確かに日本語がおかしいな。
904:１３２人目の素数さん
19/06/30 11:07:27.22 dhj+D6X6.net
某国営HKもBやFのインタビューすでに撮ってっから、あとはタイミングだけ
905:１３２人目の素数さん
19/06/30 11:25:59.33 w4Iq1GYn.net
>>842
いや、自分もIUT自体にはそういう人材は集まらないかなとは思いますよw
というよりは自動化に向けた期待です。怪しい理論とはいうものの、圏論や整数論の基本的な使用に
少し理論内容を付加すれば検証できるでしょうし、HoTT路線がそういう強いシステムにまずなったら良い
で、例えば京都の関係者である照井氏や文元氏が協力して、数論幾何とコンピュータ科学をブリッジできる
人材を育成してみたら良い。つまり二重の発展が望まれる
コンピュータ科学と相性が良いはずのIUTの性質が確認できたら万々歳だし、形式化できないとか
明らかにエラーにしかならないとなったら、それはそれで良い。まああまり学派が今みたいなやり方を
貫くなら十年後そうなるのが一番だろうという期待ですね。その必要もないかもしれませんが
906:１３２人目の素数さん
19/06/30 11:37:09.51 SwSeoAcb.net
ScholzeはStixに見捨てられた？
907:１３２人目の素数さん
19/06/30 11:41:40.61 w4Iq1GYn.net
>>851
SSの議論が殆ど公的に周知な以上、Stixが明確に宣言しない限りは遠アーベルの京都の会合に来ても
寝返りはフェイクでしかないよ
むしろ京都側が再び説得する機会にしたいのでは？
908:１３２人目の素数さん
19/06/30 12:07:52.32 BX97gpZj.net
Remark 3.11.1がだいぶ追記されて増えた。
909:１３２人目の素数さん
19/06/30 12:21:16.85 wrQdryZd.net
>>845
>.洗脳本の出版で潮目が変わるんじゃなかったのかクソ野郎
ネタにマジレスだが洗脳本の出版は非数学者の理系人を含む一般人には
好意的に受け止められた
IUTの外にいる数学者には否定的というか無責任と感じた人が多かったのではないか
問題のある記述は避けてはいるので逆になぜ著者が避けたかということにはなる
910:１３２人目の素数さん
19/06/30 12:26:42.39 wrQdryZd.net
もう1年くらい話題になっているのだから過去にサーベイレポートを書いたり講演をした人が
Corollary 3.12周辺の解説をしても良いはずだな
本当に「自らが理解者である」ことを示す必要があろう
そこがないのが不信感の大きな一因でもある
911:１３２人目の素数さん
19/06/30 12:58:58.67 SwSeoAcb.net
Scholzeが黙ってるのはStixに捨てられたから。
912:１３２人目の素数さん
19/06/30 14:43:53.36 D8c+7UAk.net
黙ってるもクソも、あいつらが説明責任を果たすつもりがないことがわかったから、もう相手にする価値もないと判断しただけだろ？
当然そんなもののために時間とエネルギーを浪費するほどショルツも暇じゃないし、物好きでもないだろ。
証明に疑義があってその部分に明快な回答も修正案もない、この時点で数学会では終わりとみなします。
913:１３２人目の素数さん
19/06/30 15:00:34.99 20mqJBH1.net
>>857
完全に間違ってる
仲間と思っていたStixが日和ったから沈黙せざるを得なくなった
つまり情勢はScholzeに不利
914:１３２人目の素数さん
19/06/30 15:17:00.94 lwkQFIN3.net
Stixはなぜ急に日和ったの？
915:１３２人目の素数さん
19/06/30 15:43:19.53 l/tsCoo3.net
何のソースもない、京都で遠アーベルの集会に来るってだけで日和ったとか
女性セブンかよあんたらは
916:１３２人目の素数さん
19/06/30 16:01:39.69 LSFu4bz1.net
ショルツの揚げ足だけ掬えばなんとかなると思ってる浅はかさの取り巻き連中
917:１３２人目の素数さん
19/06/30 16:30:24.22 EnZenjyK.net
＞ネタにマジレスだが洗脳本の出版は非数学者の理系人を含む一般人には
好意的に受け止められた
事情(二乗,ギャグ)も知らず飛びつく日本人の怖さを垣間みた
918:
19/06/30 16:45:18.35 mwZxztk1.net
>>862
＞ギャグ
説明しないとわからないギャグなんて
919:馬鹿じゃない？
920:１３２人目の素数さん
19/06/30 16:53:45.54 oJxSt1Ix.net
それこそ愛友亭
921:１３２人目の素数さん
19/06/30 16:58:59.58 I9W5QL29.net
Scholzeは遠アーベルは素人だからStixに捨てられたら何も言えない。
922:１３２人目の素数さん
19/06/30 17:06:39.28 l/tsCoo3.net
専門じゃないと言っても志村多様体もリジッドもエタール基本群も押さえてる数論幾何学者を舐めちゃあかんよ
しかも五年くらい読んできたわけだし、十分自力で吟味できるレベル
923:１３２人目の素数さん
19/06/30 17:08:11.45 V+7KKYzj.net
落としどころってのはあるのかな。
ラベルのあたりModifyしてるようだけど。
924:１３２人目の素数さん
19/06/30 17:22:57.65 ykqfvTi9.net
どうなったのか数年以来ここきたが
ここまで長引いてopenになってると近い専門家のみのジャッジで決着つかないのでは
分かるという専門家が解説したり、ギャップを埋める時間はあった
専門以外の復数人が間違いないと太鼓判しないと無理では
925:１３２人目の素数さん
19/06/30 17:26:29.88 Mb+tV1O4.net
数学の落とし所
926:１３２人目の素数さん
19/06/30 17:29:27.39 THTWj/vv.net
Scholzeは世界に恥を晒した。
927:１３２人目の素数さん
19/06/30 17:36:25.53 cCQ++Ud1.net
>>869
ラベルの並行線の解決
928:１３２人目の素数さん
19/06/30 18:05:08.64 gCg3VPQk.net
870はショルツに直接抗議もできないミジンコ工作員
929:１３２人目の素数さん
19/06/30 18:23:08.24 CYEnYmzF.net
ショルツよりも望月や取り巻きのほうがずっと恥をさらしているよ。
本当にABC予想を解決できているのなら功績が非常に大きいのだが、この状況だとそれを確かに判断できるのには十年くらい必要かもね。
930:学術
19/06/30 18:46:55.45 pVbXGe12.net
数学に下品なネタ自主規制するなよ。過去の賞が数式終わり。
931:１３２人目の素数さん
19/06/30 18:49:32.93 wrQdryZd.net
このまま撤退になったら数学史上に残る恥さらしだろうしな
その場合は2019年時点で特任募集とか20年のプロジェクトまで含め大失態ですよ
あと10年ごにょごにょして人は逃げ切っても失われた名誉は回復されません
932:１３２人目の素数さん
19/06/30 19:06:10.29 D8c+7UAk.net
疑義に対する説明責任も果たさず、数学的内容のない宣伝本や予算獲得や椅子取りゲームばかりが進められていく。
数理研の健全性にも疑問が出てくるな、こんなんじゃ。
933:１３２人目の素数さん
19/06/30 19:13:18.58 bRHlmN1v.net
来年集会の流れがどう出るか分からず、それ迄に数学的に決着をつけたいならば、
Stixらも質問や指摘をして、IUTを潰す or 説明不足の懐疑点が晴れるまでRemark に追記させる、等かな。
934:１３２人目の素数さん
19/06/30 19:36:02.54 bQXvcgs+.net
>>876
そうですよ、駄目な場合は全て責任追及されて罰を負わなくてはなりませんから
935:１３２人目の素数さん
19/06/30 19:40:26.07 +y0/lDyi.net
芸能の宮迫騒動でわかるけど知りませんでしたなんて通用しないからな、扇動者は
936:１３２人目の素数さん
19/06/30 19:50:22.41 glWTyEfI.net
Cor.3.12の証明を詳細に解説した補足ペーパーを公表し、
望月氏自身が欧米で講演をすれば、白黒つくだろう。
疑念を払拭にはそうするしかないのでは？
937:１３２人目の素数さん
19/06/30 20:00:04.49 U3vQKWv/.net
科研の研究課題「宇宙際幾何学のさらなる
展開」は研究者が 山下代表 望月新一両氏
の2名のみ。
IUTの最終目標のRHに向けて研究し、
毎年 RHは難しすぎて研究が遅れて
いる と報告 。
2016年が ショルツのパーフェクトイド空間
2017年が スピン構造 との関連を研究。
毎年 深いテーマ関連なのにコロコロ変わる。
RHとスピン構造といえば アティヤ卿の
ディラックとRH、スピノール表現を
想起する。
スピンの基本は1/2だが 成果はあったのか？？ w
URLﾘﾝｸ(kaken.nii.ac.jp)
938:１３２人目の素数さん
19/06/30 20:02:45.85 CYEnYmzF.net
この時点での特任募集に強い違和感を覚えたのだが、その理由が875によって咀嚼できたよ。
最近の日本の政治でも、疑問が出るプロジェクトに関しても疑問の声に答えるのでなく反対者を攻撃することで正当化するような事例が増えていて、そういう流れにはのっていると思う。
数理研も日本も終わっていくけど。
939:１３２人目の素数さん
19/06/30 20:09:22.70 D8c+7UAk.net
>RHは難しすぎて研究が遅れて いる
中卒のトンデモさんでも書ける何の内容もない報告だな笑
具体的にどういうアプローチを考えていて、何が難しいのか、何も説明なし笑
940:１３２人目の素数さん
19/06/30 20:13:52.68 l/tsCoo3.net
>>881
メインの論文がアメリカのリーダーに受容されない限り袋小路だよ。PRIMSだけでやってくしかない
東工大、九大、名大、東北大、東大などの国内ジャーナルもなかなか扱いに困るんじゃないの
アメリカに行かない異常さとかはもはや今更の話だね。2018年3月からもう一年経ってこの現状が物語ってるね
941:１３２人目の素数さん
19/06/30 20:16:28.77 l/tsCoo3.net
↑は、IUTの進展についての話ね
強硬アクセプトするか、引き延ばして関係者の不満が溜まり遂に問題になるかのどちらかっていう茨の二択
942:１３２人目の素数さん
19/06/30 20:45:57.61 oz6Ne34V.net
相変わらず日本語がおかしい人が粘着してるけど
何十年も経ってから認められるとかよくある話だからな
別に焦る必要もない
943:１３２人目の素数さん
19/06/30 21:10:50.02 Mb+tV1O4.net
信仰と希望と愛
944:１３２人目の素数さん
19/06/30 21:14:08.71 oz6Ne34V.net
>>882の日本も終わっていくけどとか
本当にお里が知れるレス
945:１３２人目の素数さん
19/06/30 21:40:37.50 BeMeEFi0.net
高尚なフリして沈んで逝ってくれ
946:１３２人目の素数さん
19/06/30 21:56:52.42 oz6Ne34V.net
日本語不自由
延々と自演
日本はホロン部
はぁ～ ア ホ く さ
947:１３２人目の素数さん
19/06/30 22:02:01.97 A7ag4Gdy.net
IUTが正しかろうが間違っていようが、Mがひねくれてなかったらこんな面倒なことになってなかったということは事実だろう
948:１３２人目の素数さん
19/06/30 22:08:59.79 CYEnYmzF.net
数理研も終わってほしくないので、流れがまともになってほしい。
このまま玉砕ではなく、いったん撤収したほうがよい。
そのほうが、後々にIUTを用いたABC予想の解決が認められた際にも都合が良いと思う。
949:１３２人目の素数さん
19/06/30 22:17:36.83 wrQdryZd.net
>>892
普通に考えて一旦取り下げて修正できたらまた出すほうが良いだろうね
ミスを指摘されて後から直す論文もあったわけで
四色問題も時間かかったが肯定的に見てる人が多かったし
長年修正に関わった人たちにも得るものは大きかった
2020年のプロジェクトとか政治や金のしがらみなのか妙な方向になってしまった
950:１３２人目の素数さん
19/06/30 22:31:16.01 oq6KCMlT.net
遠アーベルについて素人のScholzeが一人で反論できるわけねー。
951:１３２人目の素数さん
19/06/30 22:46:51.13 l/tsCoo3.net
でも不幸中の幸いなのは特異な理論ってことだね
別の理論でABC予想に取りかかる動機付けは殆ど損なわれない
952:１３２人目の素数さん
19/06/30 23:02:35.40 oq6KCMlT.net
惨めなScholzeを放置してるのはお釈迦様もっちーのご慈悲。
953:１３２人目の素数さん
19/06/30 23:11:06.38 0+YCvs9e.net
>>881
平成28年度
>パーフェクトイド空間を遠アーベル
幾何に応用できないか模索をした。
ショルツのパーフェクト空間が
難しすぎて理解できなかったのでは？w
954:１３２人目の素数さん
955:
>>897 パーフェクト→パーフェクトイド
956:１３２人目の素数さん
19/06/30 23:24:51.33 CYEnYmzF.net
IUTを受け入れてもらえないもっちーのほうが惨めだろ。
その取り巻きは餓鬼か。
957:１３２人目の素数さん
19/06/30 23:47:55.91 SwSeoAcb.net
StixもScholzeを放ったらかしにしてるのは紳士の優しさ。
958:１３２人目の素数さん
19/06/30 23:51:55.34 xJa7ic62.net
見事なブーメラン
世界中がＩＵＴを放置してるのは優しさ
959:１３２人目の素数さん
19/06/30 23:56:22.85 20mqJBH1.net
ここにいるアンチのなかには日本語がかなりおかしなやつがいるな
明らかにネイティブでは無い
自分では日本語が上手いつもりなのだろうか？
960:１３２人目の素数さん
19/06/30 23:59:24.82 SwSeoAcb.net
そりゃあ鮮人の僻みだからさ。
961:１３２人目の素数さん
19/07/01 00:04:00.43 gJgMRbjC.net
ニダー工作員は巣に帰れ
962:１３２人目の素数さん
19/07/01 00:08:00.13 DGD2I8ih.net
・日本語が不自然
・意味不明な単発レス
・文章構造が崩壊した長文レス
・自演でスレを荒らす
・突然の物理語り
・同じことを何度も書き込む
これ全て片言ガイジの特徴です
963:１３２人目の素数さん
19/07/01 00:10:56.66 NnyfLJu0.net
・反論が不自然
・意味不明な罵倒レス
・精神構造が崩壊した恫喝レス
・自演でスレを荒らす
・突然のアクセプト語り
・同じことを何度も書き込む
これ全て擁護ガイジの特徴です
964:１３２人目の素数さん
19/07/01 00:18:56.89 qwwof/nu.net
鮮人にしてみれば日本から偉大な数学の業績が出るのは耐えられないくらい辛いことなんだろう。
965:１３２人目の素数さん
19/07/01 00:19:49.32 NnyfLJu0.net
アタマ大丈夫ですか？
966:１３２人目の素数さん
19/07/01 00:23:15.85 ysrDVK5S.net
>>906
あと自分の頭で考えられない馬鹿だから、誰々がああ言ってると批判してくる
他人がどうこうじゃなくて自分の頭で考えろ低能
967:１３２人目の素数さん
19/07/01 00:23:48.05 SFPjTNHt.net
タクローさんや柏原先生もなんもいわれとらんがな
太鼓持ちの腰巾着連中におかしな奴がズラリといるだけ
968:１３２人目の素数さん
19/07/01 00:28:10.86 cceT8HC3.net
サーベイは書けんわギャップは埋めれんわネットでゴロゴロするだけでしかもやられっぱなし
その辺の焼肉屋にいるオヤジとかわらんな
969:１３２人目の素数さん
19/07/01 00:39:49.86 qwwof/nu.net
日本で偉大な数学の業績が出ると鮮人の惨めさがよりサリエントになる。
970:１３２人目の素数さん
19/07/01 05:43:57.60 3+OphnsF.net
相当悔しさが滲みでてるな、期待してたぶんだけ
はじめから無理なのに
971:１３２人目の素数さん
19/07/01 09:51:13.40 lWJfs8xx.net
「パラシュートなしで飛行機から飛び降りてもケガしない」ハーバード大学の衝撃研究の真相は
URLﾘﾝｸ(news.yahoo.co.jp)
972:１３２人目の素数さん
19/07/01 12:47:29.25 Wbm34Opq.net
ショルツのパーフェクト数学教室
973:１３２人目の素数さん
19/07/01 14:01:14.73 ZxvkXskW.net
パーフェクトイドについて何も書けなかったという点は文元にも言えるよね
というかどういう使い方をするのかよくわからないけどな。剛性部分を置き換えるのか
本来は表現論やコホモロジーのほうがフィットしてると思うけどな。主流から外れすぎた数学の悲しさw
974:１３２人目の素数さん
19/07/01 14:03:19.42 ZxvkXskW.net
Kedlayaも文元もIUTにパーフェクトイド使う論文書いてないでしょ
つまりはそういう事なんだよ、あまり見通し良くない。アイデアがあったら5ページでも書くだろうし
975:１３２人目の素数さん
19/07/01 15:08:20.56 x0SnrTo8.net
>>903
むしろレスの感じからすると欧米の人っぽい
976:１３２人目の素数さん
19/07/01 15:16:02.89 qwwof/nu.net
>>918
いや韓国人だ。
韓国政府から金貰って書き込みしてる可能性もある。
977:１３２人目の素数さん
19/07/01 15:32:42.34 +/pt6kf7.net
>>881
スピンは1/2、1、3/2、5/2を
1,2,3,
978:5に置き換えればいいだけ 実際の実験が4次元空間(3+1次元)で行われる限りにおいては +-4種の合計8種(+-3種の合計6種)しかクォークは実験的には見つけられないってこと これが無限の入れ子ループ構造を一つの極から見たときに想定される数学的な挙動だからな
979:１３２人目の素数さん
19/07/01 18:16:19.45 8PCGqVSn.net
>>897
科研費申請書によくある「大風呂敷を広げたができなかった」だなw
Goは若手で1回（2年で完了）・基盤Cは今回初めてで書き慣れてないな
今の論文実績で次あるのかねえ
科研費の申請は1/3はすでに持ってる未発表結果を書いて
1/3は本当に目標を書き1/3ではったりを書くものだw
980:１３２人目の素数さん
19/07/01 18:38:05.31 MGEAluK/.net
全部はったりじゃ具合悪かろう
981:１３２人目の素数さん
19/07/01 18:39:55.64 YT3DF9jp.net
そもそもあの業績で、肝心のサーベイもクソの役にも立たず、それであそこのパーマネだからな。本人も流石に居心地悪いし後悔してるんじゃね？
982:１３２人目の素数さん
19/07/01 18:59:32.25 JCTMUZTg.net
クソ偉そうに罵倒とプロパガンダを繰り返すのが仕事だと思ってる院生と相性いいんじゃないの
983:１３２人目の素数さん
19/07/01 19:05:08.38 Fri2mAfi.net
あの丸写しサーベイで科研費３百だか５百もらったんならBより時間単価高いよな
監修経費で高級焼肉に流用させたのか
984:１３２人目の素数さん
19/07/01 19:14:19.80 c1HN02P5.net
院生の本音
URLﾘﾝｸ(search.yahoo.co.jp)
985:１３２人目の素数さん
19/07/01 19:40:23.98 isDUtUwn.net
この時間帯って内部者らしき擁護厨の工作員いないのな
さては生活苦におわれてコンビニバイトとはごくろうなこったｗｗ
生活苦と引き換えに魂まで売り飛ばすとかＡＶ嬢かよ
986:１３２人目の素数さん
19/07/01 20:56:42.70 YZhdX5+W.net
>>883なんかそうだが、
フーリエ変換とかテータ関数や乗法理論はわかるけどメリン変換が全くわからないなんてあるか？
前者を代数幾何学的な設定で考えたら俺ならアイデア出せるよ
数学的視点から見てもよくわからないんだよな。何か書けるだろ
987:１３２人目の素数さん
19/07/02 07:13:16.29 8EzjP+CR.net
誰にでもすぐ右翼左翼のレッテルを貼って
まともな政策論争ができないネット民に
似ているね、すぐ擁護派だの反対派だの
いう奴。
988:１３２人目の素数さん
19/07/02 07:20:59.06 rXRTVteh.net
論点が明らかなのに明確な反論ができないからだろ
一部のフーリガンは証明された、されたの連呼だし
理性派？は反論できず新しい数学だとか可能性だとかで逸脱するし
なにが新しいのかキチンと訴求すれば
989:１３２人目の素数さん
19/07/02 12:05:32.00 m+NrFT6e.net
IUT周辺にはおもしろいネタがあるけど、
御本尊がIUTの (細かい)改良しか許さないの
だろう
990:１３２人目の素数さん
19/07/02 13:00:40.87 BOcgD3xc.net
山のようなパッチが当たった、動くかどうかわからないプログラム、みたいな？
991:１３２人目の素数さん
19/07/02 14:30:07.21 21EU+IlN.net
>>931
周辺は自分たちのやりたいように勝手にやればいいと思うがな
「御本尊が(細かい)改良しか許さない」数学なんてすぐ潰れる
992:１３２人目の素数さん
19/07/02 15:43:35.20 CaFoTM5d.net
>>931
まったく逆だと思う。むしろいじり倒して欲しいけど、周りが手をつけられないだけ。
993:１３２人目の素数さん
19/07/02 15:49:59.62 nzRoO8NL.net
＞御本尊がIUTの (細かい)改良しか許さないのだろう
何言ってんだこいつ(´･ω･`)
994:１３２人目の素数さん
19/07/02 16:44:15.45 2gT6mNci.net
>>932
証明のプログラムなら 裏付けに論理の完全性
定理も必要だし、
IUTによる証明はIUT形式を含むんだよね
995:１３２人目の素数さん
19/07/02 16:46:20.94 IBtJIl6U.net
うーん、メリン変換とスピンって言ったら一応ちゃんと一定の方向で模索はしてるのはわかるが
何か書いて出せよとw
特にIUTとモチーフとの関連は一本間違いなく書ける。でも、どうせアクセプトされないか
996:１３２人目の素数さん
19/07/02 16:50:22.66 IBtJIl6U.net
とはいえArxivにどんどんプレプリント出すべきだよね
あれだけの膨大な理論を理解して三年間一本も書けないとかありえないよ。全体的に無能としか思えないね
997:１３２人目の素数さん
19/07/02 20:02:10.27 EM+k0btj.net
このスレでバカみたいなイチャモンつけるやつが多過ぎる。なぜだろう？
998:１３２人目の素数さん
19/07/02 21:09:10.63 UDherhKq.net
研究室周辺が特異点なだけ
999:１３２人目の素数さん
19/07/02 21:40:40.78 pYbbnTiu.net
今回だってＢの非数学徒人気を利用して世論を扇動し、ゴリ押しで掲載させようとしたんだろうが世間はそんなに甘くない
脳内妄想全開だからＮスペもポシャるのさ
Ｂだって密約のポストがゲットできないと笛吹になるかもよ
あの理解度なら普通は厳しいだろうけど
1000:１３２人目の素数さん
19/07/02 23:54:03.15 0FhYomiN.net
IUTで所望の不等式を得て愛友亭で所望の地位を得る
東京の焼肉はうまくないのか
1001:１３２人目の素数さん
19/07/03 04:53:17.51 jzO7LrN9.net
韓国政府から金貰ってる民団が組織的にもっちーを誹謗中傷する書き込みをしているのか。
1002:１３２人目の素数さん
19/07/03 08:10:59.09 tlbTB8gt.net
>>941
そういう陰謀論的なことを平気で書いてると、まともな批判とは
受け取られないよ。逆効果だからやめとき。
1003:１３２人目の素数さん
19/07/03 14:45:30.86 0iHXX/7/.net
まともな批判と受け取ったことなんかあったっけ
1004:１３２人目の素数さん
19/07/03 14:55:30.44 g6rILCt+.net
M月と取り巻きは説明責任を果たしていない、で終わりの話。
いつまでダラダラやるつもりよ？
1005:１３２人目の素数さん
19/07/03 15:46:13.89 iFK4d7Zh.net
>>941
そうだよ。エディタ会議に物わかりのいい人が入ると大変なんだから。
コトによるけど退任責任の署名付きならいいんじゃないの。
事前に騒動の顛末は分かってるわけだし。
論文の掲載後に誤りが見つかることはよくあるといってもPRIMSの権威を左右する。
1006:１３２人目の素数さん
19/07/03 16:59:59.25 pPcD8P3K.net
伝家の宝刀サーベイを見ろが通用しなくなったからなあ
当時から応援してた奴は知ったかぶり
1007:１３２人目の素数さん
19/07/03 18:18:08.27 RzIG4v0m.net
>>946
俺もそう思うわ。
K藤さん一般向けの解説書まで出して勇み足だよ。
1008:１３２人目の素数さん
19/07/03 18:20:18.18 RzIG4v0m.net
圏論の連中は怪しいと言ってるけどね＞IUT
俺は解析屋だから詳細は追えないが。
1009:１３２人目の素数さん
19/07/03 19:25:56.85 dqLWAG/2.net
2600
ふうL@Fu_L12345654321
学コン1傑いただきました！
1010: とても嬉しいです！ https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg https://twitter.com/Fu_L12345654321/status/1144528199654633477 (deleted an unsolicited ad)
1011:１３２人目の素数さん
19/07/03 22:36:21.98 gmfcCeF+.net
まあ有耶無耶に逃げ切るっていうのはもう無いからね
文元が出した啓蒙本のせいで、アクセプトか誤魔化しか、動きがあったら必ず日本のマスコミは反応する
今年度中には何か起こるだろう
1012:１３２人目の素数さん
19/07/03 23:13:33.63 cBOT5KQf.net
論文に対してのスタンスや総合的な情勢の解釈を間違えたから挽回はできないだろう
急先鋒のFでさえ大人しくなってるのに
1013:１３２人目の素数さん
19/07/03 23:17:11.42 tlbTB8gt.net
>>945
まともな批判と受け取られなくてもいいと開き直ってるのなら、
フェイクニュースだろうがなんだろうがお好きにどうぞ。
1014:１３２人目の素数さん
19/07/03 23:39:46.67 CFWFpfGx.net
言葉って便利だよな
批判と誤りを履き違えて平然としてるのもどうかと思うが
1015:１３２人目の素数さん
19/07/04 00:00:03.04 e0s7SjJC.net
>>953 そういや何やってんだろうなあいつ笑 存在を忘れてたわ
1016:１３２人目の素数さん
19/07/04 08:50:15.13 uq4SM7D9.net
>>950
> 圏論の連中は怪しいと言ってるけどね＞IUT
なるほどやはりそうですか
1017:１３２人目の素数さん
19/07/04 12:16:24.43 WVvlIGKU.net
論点はある程度明確なのだから少なくとも形式的に書き下せば認識のズレみたいな今の状況は進展するとは思うが形式的に書き下せないみたいな事を暗に望月さん言っちゃってるしなw
IUTを形式化するところがまず今後やるべき事なんでしょう
1018:１３２人目の素数さん
19/07/04 12:25:48.56 r9BoI4Q1.net
lepergeやDupuyも今年は足繁くMのもとに通ってるらしいし、今年後半にはノッティンガムから南出が戻ってくんだろ？特定助教でw
あとは共同研究してるフェセンコの院生が特定研究員かもなww
Mファミリーwwww
1019:１３２人目の素数さん
19/07/04 13:14:59.23 q50OUQFv.net
俺は数学できないけどIUTやってみた。
したがって、”教授のメンツとそれらから定まる予算の計算の仕組み”を保つものが存在すれば、所望の研究所が得られるはずだということです。
1020:１３２人目の素数さん
19/07/04 13:39:25.72 CsQjDDgF.net
STOP IUT はありま～す
1021:１３２人目の素数さん
19/07/04 13:44:36.47 uvSAa4Sp.net
身内評価永久機関の試み
1022:１３２人目の素数さん
19/07/04 14:14:34.42 pMW0ZGlk.net
>>958 要は本人も単なるまやかしだと認めているわけだ藁
1023:１３２人目の素数さん
19/07/04 14:40:29.79 6LGlUzx7.net
ことここに至ればもう何らかのハードランディングしか残ってなさげ
1024:１３２人目の素数さん
19/07/04 14:46:22.23 pMW0ZGlk.net
大理論、難解、真偽判定には時間がかかると銘打って
取り巻き連で結託すれば人事予算とやりたい放題になるという悪しき前例を作ってしまったよね、r*msは。
慎重に判断すべきと煙に巻くのに、この手の話に勇み足なのはなんでだろう
1025:１３２人目の素数さん
19/07/04 15:44:32.78 3ZhQIMPA.net
完成してないのがわかってるからアクセプト➡
予算獲得➡優秀な人材を多数確保➡拡張と
確定を狙ったんだろう
1026:１３２人目の素数さん
19/07/04 15:50:54.08 u7Swe+1+.net
姑息だよね～
>>959 特定助教や特定研究員とはいっても採用に際して現状の指摘事項に
対するレポートや多少の質疑応答は�
1027:K須だよねえ
1028:１３２人目の素数さん
19/07/04 16:43:07.71 FVoBAriS.net
>>966
それでご本尊や取り巻き連中がダンマリ戦法なのか
1029:１３２人目の素数さん
19/07/04 16:52:01.94 chXgx/+D.net
だったら何なんだよ、お前らは女性が化粧してたら怒り出すのか
1030:１３２人目の素数さん
19/07/04 16:59:29.02 x00U3Nsp.net
誰か意訳して
1031:１３２人目の素数さん
19/07/04 17:40:28.51 NlSu9whV.net
ここは鮮人が多過ぎる。
組織的な書き込みのよう。
1032:１３２人目の素数さん
19/07/04 18:06:50.80 PYOSW5iJ.net
もういい加減次スレ建てるのやめようぜ
オーバードクターの鬱憤晴らしの場になっているだけ
1033:１３２人目の素数さん
19/07/04 19:08:01.46 opHQDpJX.net
出鱈目な内容のIUTへ毅然とした姿勢で
対応し ノーと発信すべき。
このスレで大切なことは
記録に残す
1034:１３２人目の素数さん
19/07/04 19:20:04.64 24BqSlfM.net
もし誤りだったら前代未聞の稀有なハプニングなので、単なるストレス発散の叩きと片付けるのは無理がある
どうせ今年度が山なら適当に行っちゃっていいんじゃないか。落ちないし
1035:１３２人目の素数さん
19/07/04 22:06:13.01 pMW0ZGlk.net
朝日スッパ抜きといい、誰かが入れ知恵してるのはまず間違いないからな。
とうの昔に被害妄想や批判者へのレッテルばりで片付けられる問題じゃないわ。
1036:１３２人目の素数さん
19/07/05 08:53:27.78 0oh2mTfH.net
朝日すっぱ抜きのおかげで予算が付いて人員も増えるってウハウハだもんな
1037:１３２人目の素数さん
19/07/05 14:27:29.18 SMgdAclR.net
F藁先生はIUTをどう評価しているのか、ご存知の方はいますか？
面識のある方はちょっと尋ねてみてください。
1038:１３２人目の素数さん
19/07/05 14:55:44.95 L48BejiI.net
遺伝的アルゴリズムが近いってのに異論はないんだけど、もっと近い感じだと
「遺伝情報理論的遠アーベル幾何学」って感じだねw 凄くしっくり来る
たまたま情報理論めくっててそう思ったよ。宇宙際の理屈もそうだけど、雰囲気は情報科学っぽいね。雰囲気は
1039:１３２人目の素数さん
19/07/05 20:43:02.58 Q+m44D4z.net
>>977
さては知ってて、あえて訊いてるだろ
1040:１３２人目の素数さん
19/07/05 23:07:14.93 2LcLaaDX.net
次スレ
Inter-universal geometry と ABC予想 40
URLﾘﾝｸ(rio2016.2ch.sc)
1041:１３２人目の素数さん
19/07/05 23:21:24.35 K9VxBE6D.net
>>978
望月がループ式入れ子宇宙を作ろうと考えた時、“simulate ∈-loops”から最初は基礎の公理に違反すると考え、
恐らくですが、anti-foundation axiomsやNon-well-founded set theoryを考えたのだろうと思うのですよ
つまり、最初期の発想は計算機科学者のそれにかなり近い
これは、IUT構想初期の講演原稿から読み取れます。その時点でラベルの使用も考えています
しかし、さすがに基礎の公理に反するのはマズいと考えて、種と突然変異を持ち出したのでしょうね
で、そのような宇宙はどうやって成立するかと考えて出来たのが充満多重同型であり、それをどうやって構成するのかというのが
単遠アーベル的復元/構成です(実際は手続きであり復元可能性であるので、クンマー理論とくっつける必要がある)
さらに、充満多重同型のようなフラフラしたヌエ的な同型（もどき）にはラベルが「必要とされる」と
ロバーツがMOで意味深なことを書いていましたね。望月は圏論をやってないし、高次圏も使ってないとしたうえで、
URLﾘﾝｸ(mathoverflow.net)
＞Just because a computer scientist uses natural numbers, it doesn't mean they are doing number theory.
ロバーツもIUTの動機付けや理論構築過程をよく分かっているのでしょう
遠アーベルの専門家じゃないヤツに用はない、と邪険に扱われていましたが・・・
1042:１３２人目の素数さん
19/07/05 23:22:17.77 K9VxBE6D.net
>>980
スレ立て、乙です
1043:１３２人目の素数さん
19/07/05 23:37:16.33 K9VxBE6D.net
上でロバーツの一文についての補足なんですが、もちろん、
「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です
リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね
まあ、私の深読みだと思うのですが・・・
1044:１３２人目の素数さん
19/07/06 00:58:55.79 yKHKprzS.net
>>979 kwsk
1045:１３２人目の素数さん
19/07/06 09:17:02.47 +Ho8rao1.net
専門を考えたら、単遠アーベル的復元/構成から、
先に考えてたのじゃないの？
1046:１３２人目の素数さん
19/07/06 15:51:42.23 SzxByl/K.net
結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁
1047:１３２人目の素数さん
19/07/06 16:01:31.87 5dvSg4jK.net
>>986
査読してても長大な技術的な論文で結果が間違っていると直感しても
間違いを指摘できないことはありますからね
やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし
（事情があって）さっさとrejectできない場合は辛い
1048:１３２人目の素数さん
19/07/06 16:56:47.74 SzxByl/K.net
取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。
もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。
慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。
R*msがいつ引導を渡すのか、注目ですね。
2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、
当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。
ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。
1049:１３２人目の素数さん
19/07/06 17:02:07.79 JQlwrsWC.net
>>988
多額wwんな規模じゃねーよww
1050:１３２人目の素数さん
19/07/06 17:09:47.08 lQHJNu5p.net
方向やアイデアはある種自然で正しい(とも思える)
ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる
だから遠回りでも望月か周辺が基礎付けをやるしかない
1051:１３２人目の素数さん
19/07/06 17:47:23.95 vf7Keayn.net
IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。
「修正」の上書きを繰り返しているうちに
外堀が埋まった感じがする。
圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw
1052:１３２人目の素数さん
19/07/06 18:04:16.97 5dvSg4jK.net
>>655
／/ 1 . {. . .ヽ. . ヽ. . ',. .ヽヽ
/ .:/ ﾊ: :!: :.:ﾄ､:.:. :＼:...l:.. :}: : |_⊥ 、
j . {: .:{ :l､:l､: :.ﾄ-ヽ､_:..｀ヽ､j__イ_つノ
l 1:ﾊ.::{ゝl=くヽ:.ヽ ﾄｨjr}Tｧ┬ァ:.:´|
|ハ :ヽlｧ{ﾄｨrj ＼i ｰ_'っ /:.ｲ-､:｡:|
ヽ｡ﾊ^rぅ' 丶 ｀ ノ', く } }:.olﾟ o
。 ｀ﾊ ｡ {ｧ´ヽ ,ｰ o':.へl お客様の中にIUTを修正できる方は
ﾟ ´ﾉi＼ ー' ィ:;:.ｨ/|/ﾟ 。 いらっしゃいませんか？？
。 o ｡ ﾟﾊﾍ;:＞ｰ--＜_rv〈､_
/￣ヽ ＼/ll }l}｀'^'ﾄ､
/ ::Y77l j l !_｀７
l, ---::､〉 jl l ハゝ-i
ヽ Vi } ,' ﾉ, ｰ_ヽ
} , -‐ｧl ノ / ﾚ´,.- j
j イ !l ／ / ﾊ -,.く!
1053:１３２人目の素数さん
19/07/06 18:49:16.01 EErN+KeY.net
この飛行機に
単遠アーベルを直せる客は、乗ってません orz
1054:１３２人目の素数さん
19/07/06 18:53:56.27 1Jk9ck24.net
無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん
1055:１３２人目の素数さん
19/07/06 18:59:08.79 Sde7L8On.net
ダメなの！
死にそうだから●●を教えて！ お・ね・が・い
1056:１３２人目の素数さん
19/07/06 21:00:30.51 mexKV3lm.net
結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ
1057:１３２人目の素数さん
19/07/06 21:35:50.04 VjsFe2sY.net
>>981
実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、
これは個人的には、存在論的には確かに面白い性質にはなっていると思います
ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている
それを通じて任意の宇宙は別の宇宙を内部から解釈することができる
それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、
直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、
同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない
ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね
どちらかというと、狙い通りにするための強引な構成と、色々な要素をぶっこんで万能感を満たしたい欲求が
見て取れるような気はしますけどね、意地悪かもしれませんが
>>996
というか、それまで真剣に読んでた人がどれだけいたのかもよくわからんからね
ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった
1058:１３２人目の素数さん
19/07/06 21:37:42.77 VjsFe2sY.net
↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない
1059:１３２人目の素数さん
19/07/06 22:23:23.41 VjsFe2sY.net
SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、
スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事
おおざっぱに言えば結局「同じ素材」でできているものだが、そ�
1060:ｱで全域定義されているはずの写像が何故 精妙な非同型として区別された非自明な特異性を持ちうるのか？ フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない 色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ
1061:１３２人目の素数さん
19/07/06 22:23:52.66 vd7YBARF.net
>IUTでは圏論的な普遍性というのは階層性
の見方次第で縛りではなくなるのかもしれない
トンデモかも？
1062:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 3時間 6分 0秒
1063:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています