20/02/05 17:06:48 pfRJ0umT.net
Goさん、他にもインサイダーの話お願いします。
451:１３２人目の素数さん
20/02/05 18:37:12.99 rbbWIJHI.net
>>416って何気にスター先生に不利な書き込みのような
嘆いている暇があったらまともな返答しろというのが趨勢なわけで
本当の知り合いか知ったかかはわかりませんが
452:１３２人目の素数さん
20/02/05 18:38:17.83 bFBxcvDe.net
雲の上からGoさんが降臨するとこ見てみたい！！
453:１３２人目の素数さん
20/02/05 18:41:42.73 bFBxcvDe.net
>>427
遠ｷｬｲｨﾝｯ幾何!?!?
454:１３２人目の素数さん
20/02/05 18:44:17.09 bFBxcvDe.net
>>416
粘着厨のそいつ片言ガイジってあだ名あるんで
そう呼んでやってください
455:１３２人目の素数さん
20/02/05 18:44:23.54 jsPMP1YA.net
ち
ん
こ
456:１３２人目の素数さん
20/02/05 18:49:55.61 9SfG3yU4.net
BとかGとかFとか
見事に胡散臭い面子で笑える
457:１３２人目の素数さん
20/02/05 22:09:29 AIXe/hbt.net
これ本当にグロタンディーク宇宙が必要なのか？
到達不能基数とか全く考えていないだろ
遺伝的有限集合のことしか頭になかったんじゃないか？
ただそれにラベルをつければいいというアイデアだけでなんとかなると。
たんに中二病的にカッコつけて宇宙際とネーミングしたかっただけではないか？
現にオェステルレなどはこのネーミングに呆れ果てていたな
458:１３２人目の素数さん
20/02/05 23:25:14.64 VdcoL3f1.net
ﾓｯﾁｰもう寝たかな
459:１３２人目の素数さん
20/02/06 00:12:45.88 GH1qLch7.net
ジンと？
460:１３２人目の素数さん
20/02/06 00:35:10.79 EjJSl1LR.net
>>435
公金関係とお忘れなく
461:１３２人目の素数さん
20/02/06 01:09:04.64 8uojR9pW.net
Goさん、もっと面白い話してくれ。
462:１３２人目の素数さん
20/02/06 01:38:31 aeH25VYB.net
ビューティフルマインド見てたらモッチーとの共通点あるな
プリンストン卒で浮世離れした天才数学者。統失ではないけど
463:１３２人目の素数さん
20/02/06 03:54:52 /JPjRW70.net
>>416
KimはもういいとしてMokはどうなってんだよ。初期の理解者の一人だぜ
アンタが本当に事情通なら当然わかってんだろ
この程度のことでアンタが特定されることはないから安心して書いてみろよ
464:１３２人目の素数さん
20/02/06 05:35:23.01 QBf079hr.net
>>440
ないです。
465:１３２人目の素数さん
20/02/06 06:20:30.90 jvz9MM4k.net
>>444
特定されたくないなぁ
Mokのことは知らんが、Kimは距離置いた。理由は「理解できない」のと「周りの目」らしい
466:１３２人目の素数さん
20/02/06 07:02:09 Dk+WSWx9.net
>>443
ナッシュはもっと論文短いね
あれくらいがいいよ読みやすくて
467:１３２人目の素数さん
20/02/06 08:53:57.10 zZQs/15j.net
>>446
グロタンディークの研究との関連性って有ると考えられますか？
468:１３２人目の素数さん
20/02/06 09:22:58.46 uzJUIrPp.net
>>446
生餅てどんな方？やっぱ変人なの？
469:１３２人目の素数さん
20/02/06 11:14:31.27 tYT4wh+/.net
変人ばっかりにに決まってるじゃないですか。数学者なんですよ？
好きになるだけ無駄です。
変なんですよ。変わり者なんです。
...全く実態を預かり知れない人間のただの憶測なんですけども。
470:１３２人目の素数さん
20/02/06 11:15:26.33 tYT4wh+/.net
↑※真横から横入りで失礼しますた
なんですけども。
471:１３２人目の素数さん
20/02/06 11:18:35.90 6ms8qZ2T.net
もっさんも心の傷だらけなんだろうから、そこはお察しで、そっとしておいてあげて下さい。お願いします。
天は二物を与えず
472:１３２人目の素数さん
20/02/06 11:23:21.17 6ms8qZ2T.net
５０才独身、彼女居ない歴５０年の重み・・・。
これ以上書くと。。。
(訴えられちゃ～うぅ！)？
糞レスをご覧の、上記条件該当
御自覚者の皆様にも大変失礼致しました・・・
473:１３２人目の素数さん
20/02/06 11:29:19.86 6ms8qZ2T.net
でもご覧の皆様は数学教授や博士では無さそう...？一物も...(一物(ｲﾁﾓﾂ♂)しか。。。)
もっちんこ様は数学人の
“ナゼか非モテ”の＊星＊なんですから、ソコは触れないで、そっとしておいてあげて下さい。。。
474:１３２人目の素数さん
20/02/06 11:40:18.82 UcrW04Yg.net
＊キラキラ＊リア充＊ショルツ様との差。。。
475:１３２人目の素数さん
20/02/06 11:48:26.78 UbKUxNxm.net
＊リア充＊ショルツ様＊のファンなら周りの人たちからも理解されやすいと思いますよ
476:１３２人目の素数さん
20/02/06 12:46:45 Dk+WSWx9.net
ショルツリア充か？
地味な数学の年下院生捕まえただけでしょ
477:１３２人目の素数さん
20/02/06 12:46:59 QrBevrhb.net
本人が女(というか他人との濃密なコミュニケーション)を嫌ってるんじゃないの
あれだけ自分の意見にこだわってるなら、恋人だの妻だの子供だのは邪魔でしかないだろう
478:１３２人目の素数さん
20/02/06 13:54:46.47 4Y50mAAT.net
モテ無い人ってみんなそういう言い訳してるよね...
ただ単にモテ無いだけじゃないの？
(迷言)
479:１３２人目の素数さん
20/02/06 14:01:49.49 4Y50mAAT.net
結局、適齢期逃して売れ残った人の
“逃げ口上”っていうか、苦しい言い訳みたいな感じ...?
「オレは理想が高いだけﾀﾞｶﾗｯ！」
この手の人達のいう“理想の異性像”ﾅﾝﾁｬﾗっていうのは、(あんまりその話題には触れないで...！)
っていう煙幕だと見てる...
480:１３２人目の素数さん
20/02/06 14:05:17.38 4Y50mAAT.net
あんまり追い詰めないように
(話題にふれないのが正解)って
周囲の人達も気を遣ってるんだろうなぁ、、、と。
481:１３２人目の素数さん
20/02/06 14:05:26.33 x8Mn+S5e.net
リア充数学者と呼べるのは、アイドルと付き合ってるあの院生だけだよん
482:１３２人目の素数さん
20/02/06 14:06:50.89 4Y50mAAT.net
え、誰ですか？それは？
483:１３２人目の素数さん
20/02/06 14:20:16 JiNbCKrG.net
うーん、モッチーは今からでも結婚できると思いますがね
性格と動きがよほどよほどよほどおかしくなければ、ですが。
スペック的には充分ですし、容姿も化け物クラスにやばいわけでもない。
天才数学者、美人女優と結婚！と報�
484:ｹされてもおろろきませんね。 年齢差でガッキーはｷﾋﾞｼｲかもしれないけど由美か〇るとか沢口靖〇とか、バツイチ美人女優とでも結婚できますよ(多分) やる気になれば、彼氏募集中のシャーリーズ・セロンとかシャロンストーンもいけますよね、英語ネイティブなので
485:１３２人目の素数さん
20/02/06 14:23:02 JiNbCKrG.net
でもやっぱり、Bさんがあうとおもう。
ああいう持ち上げてくれて適度に距離を置いてくれて、ソフトで傷つけてこない優男みたいな女性がいればいいですね
金目当てもだめですよ？退官した途端豹変してしばかれますから、そこは見極めてくださいね、もっちんこさん…
486:１３２人目の素数さん
20/02/06 14:35:52 lF6qkMIq.net
(やっぱり餅女、密かに、、、
ブンちゃんさんが本命なんじゃ...)
487:１３２人目の素数さん
20/02/06 14:37:08 lF6qkMIq.net
妻子餅ストレート、、、
餅女、悲惨...
488:１３２人目の素数さん
20/02/06 15:20:50 u80DOASA.net
>>460
それモラハラっぽい考え方だわ
フレネミーになるから友達には絶対してはいけないタイプ
489:１３２人目の素数さん
20/02/06 16:04:08.79 qa1AyLt+.net
Goさん、PopとStixがキャンセルした理由は何ですか。
490:１３２人目の素数さん
20/02/06 16:24:13.83 /JPjRW70.net
>>446
アンタ事情通でも関係者でもないだろ。又聞きで事情通ぶっているだけだろ
Kimのことは誰でも知ってるわ。Mokのことは数論関係者なら知っている
本人が態度を公けにしていないから書かないけどな
アンタは>>438さんに答えられるか？関係者でなくてもIUT読んでたら簡単に否定できるぞ
習熟者10人を含めて理解者が20人もいるのだからアンタが特定される恐れはない
否定的な連中だって答えられるレベルの質問だ
491:１３２人目の素数さん
20/02/06 17:34:24.11 /JPjRW70.net
ついでにアンタはSaidiが今どこの客員研究員やっているか知っているか？
492:１３２人目の素数さん
20/02/06 17:42:12.20 /JPjRW70.net
>>416みたいなこと書いたら>>432さんみたいな反応が当然来るんだよ
続入門みたいなIUT語で固めたレジュメ程度のものを英訳して別冊講究録に投稿できても
入門の英訳を投稿しようとはしない。初出時84ページから40ページも増やしても英訳して公表しようとしない
まあ実際あの入門を英訳して問うたところで否定的な連中は相手にしないだろうけどな
アンタの書いてることはIUT関係者を擁護するどころか貶めているんだよ
アンタはmath_jinかよって話さ
493:１３２人目の素数さん
20/02/06 18:23:14.97 Pd4m+stX.net
>>469
Go Yamashita
5月からは、なぜか名前が消えたが
それ以外の３回には、Invited speakersに、まだ名前が残っているよ
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Combinatorial Anabelian Geometry and Related Topics,
RIMS workshop, June 29 - July 3, 2020
Invited speakers:
Go Yamashita (RIMS, Kyoto Univ., Japan),
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Invitation to inter-universal Teichmuller Theory (IUT)
RIMS workshop, September 1 - 4 2020
Invited speakers:
Go Yamashita (RIMS, Kyoto Univ., Japan)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Inter-universal Teichmuller Theory (IUT) Summit 2020
RIMS workshop, September 8 - 11 2020
Invited speakers:
Go Yamashita (RIMS, Kyoto Univ., Japan)
494:１３２人目の素数さん
20/02/06 20:39:37.93 VIZ/cMDt.net
>>470
真っ赤な顔して、まあお茶でも飲んで落ち着けよ
495:１３２人目の素数さん
20/02/06 21:07:13.97 HBVlRicU.net
ここで語ってるやつ研究集会で講演くらいしたことあるよねｗ
496:１３２人目の素数さん
20/02/06 21:15:51.78 XUkBwPxk.net
アンチの焦りが心地よいわ
497:１３２人目の素数さん
20/02/06 21:38:51.90 c+7XvliV.net
>>470
> 習熟者10人を含めて理解者が20人
この数字って正しいの？
もっちーなりフェセさんなりが言っているなら、一応ソースありということにはなるだろうが。
フェセさんは若干盛るところはあるが。
498:１３２人目の素数さん
20/02/06 22:19:02.98 i8QRQLTq.net
サイディさんは今どこで何やってるんですか？
499:１３２人目の素数さん
20/02/06 23:17:39.93 j/T6tpdv.net
>>471
横から失礼！答えはMax Planck！
500:１３２人目の素数さん
20/02/06 23:23:30.84 j/T6tpdv.net
定期的に情報通俺つえー語りするマウント厨が湧くのは一体何なのか
501:１３２人目の素数さん
20/02/06 23:41:29 lLE/2XIF.net
>>480
君みたいにマウントとかイキりとしか言えないヤツもたいがいだけどな。
502:１３２人目の素数さん
20/02/06 23:53:03 j/T6tpdv.net
>>481
Max Planckとか言えるんですけど！！！
503:１３２人目の素数さん
20/02/07 00:28:20 ARgxLbkd.net
>>482
じゃ他になんか言える？
たとえばもっちーは第二のアニメーションを公開したよね。
最初のと同様、多輻的アルゴリズム表現のアニメーションだけど、
最初のと今回のとでは強調している部分に違いがある。
それが何かわかる？
504:１３２人目の素数さん
20/02/07 00:37:13 3UcV5gMj.net
>>476
とんでもない勘違いヤローのゴー思考
505:１３２人目の素数さん
20/02/07 00:53:29.50 y1gj+lvj.net
>>483
だから何やねんその上から目線は
506:１３２人目の素数さん
20/02/07 02:28:12 K0t+J82X.net
勘違い野郎や上から目線のイキリと
「勘違い野郎」「上から目線」「イキリ」としか言い返せないヘタレばかりのスレ
507:１３２人目の素数さん
20/02/07 05:48:34.53 4iBRJeEy.net
>>486
えせ数学者は黙ってなさい
508:１３２人目の素数さん
20/02/07 06:39:55.51 cVImtSFx.net
またマウンテンゴリラがドラミングしたさにマウント取り出しましたよー
509:１３２人目の素数さん
20/02/07 07:11:59.30 sur/vg0G.net
±が土に見えるよね
望さんアニメーションって
510:１３２人目の素数さん
20/02/07 08:59:44.17 vcZCouPW.net
とりあえず2020年以降にIUT予算をいっさい組まないならそれでいい。
511:１３２人目の素数さん
20/02/07 11:26:11.24 MZ2Dn3Kz.net
>>488
いわゆるマウンティングゴリラやね
512:１３２人目の素数さん
20/02/07 12:09:26.46 flN4L0Or.net
世界で20人しか理解していない理論って
真偽を確認できたことになるのか？
513:１３２人目の素数さん
20/02/07 12:10:45.88 flN4L0Or.net
より正確に言えば
理解しようと試みた数千人のうち20人しか理解していない
かな？
514:１３２人目の素数さん
20/02/07 12:23:10.74 8mbozdn3.net
>>491
人間ではそういいますよね
515:１３２人目の素数さん
20/02/07 12:47:31.77 8mbozdn3.net
凄い...
理解出来るのが凄いですね
この時点で理解出来てる人が居るんですか...
516:１３２人目の素数さん
20/02/07 13:23:21 tpKQWXwW.net
望月先生、ブログ書かれてたのね
にしても、今年1月の投稿、めっちゃ憤ってるね
私が大学院生の頃に玉川先生から伺った印象とちゃう……
517:１３２人目の素数さん
20/02/07 13:46:18 uW3WjWPs.net
>>496
kwsk
それは何年前のことで、どのようなお話だったのですか？
518:１３２人目の素数さん
20/02/07 15:51:03 tpKQWXwW.net
>>497
多分、修士のころですから、5～6年前でしょうか
内容は、望月さんは賞とか名声には無欲だ、というようなよくありそうな話です
誤解して欲しくないのは、私は玉川先生の学生でもないし、個人的に親しいわけでもない、ということです
また、別に「玉川先生はそうおっしゃったのだ」ということを強く主張したいわけではなく、聴いた話からただ漠然と、「望月先生は人よりも温厚で謙虚な方なのだろう」という印象を抱いた、というだけの話です
まあ考えてみれば、IUT理論は既に多くの研究者が長い年月関わっているわけですから、
理論の内容が正しいにせよ間違っているにせよ、査読結果を明らかにすべきだ、というのはもっともなことですね
特に、望月先生の下の院生や研究生にとっては、自身の研究人生に大きく関わるわけですから
519:１３２人目の素数さん
20/02/07 16:17:58 zD2cn8q/.net
なるほど。
もっちーのブログも始めた頃は、テレビの話するなど余裕があるが、どんどんおかしくなってきてるのは確か。
７年も８年も足止めくらって相当焦ってるんでしょうな
ところでもっちーの盟友の玉さんはどんな人なの？
520:１３２人目の素数さん
20/02/07 16:44:43.59 NHCtwYxv.net
今日ktgu研究集会いったら生山下剛みれた！
521:１３２人目の素数さん
20/02/07 16:52:31.97 AjY8YYNV.net
ええ！？
眼福すぎるな
どんなかんじだった？
高身長、頭脳明晰、かね？
522:１３２人目の素数さん
20/02/07 17:11:18.23 JzoB32xQ.net
何処の山下の話だよそれ
523:１３２人目の素数さん
20/02/07 17:16:45.30 wqoXDfCi.net
Goさんなら英米の大学からプロフェッサーのポストでオファーがあってもおかしくない、かな。
数理研で講師よりもマシじゃないか。
524:１３２人目の素数さん
20/02/07 17:46:50 n1AgYCf/.net
>>498
別に温厚な性格で無いわけではないよ
怒ったら温厚な性格であることが否定されるわけ？
君が単細胞であることを露呈させただけだね
525:１３２人目の素数さん
20/02/07 17:49:17 TV7rxU3d.net
Go尊師は世界中からオファーがあるが「私は望月とともにいたい」とおっしゃられて
RIMS講師にとどまっておられる偉大な研究者です
526:１３２人目の素数さん
20/02/07 18:00:19 ew36yXIQ.net
望月さんは真理の白黒をつけるという、求道者としては至極妥当な主張をしてるだけ
当然信念を持ってガチでやっているが、実際にどこまで自信があるのかはわからない
527:１３２人目の素数さん
20/02/07 18:08:58 wqoXDfCi.net
Goさんは本来は東大で布教するべきなんだろか。
528:１３２人目の素数さん
20/02/07 18:18:22 tpKQWXwW.net
>>504
急にどうした
529:１３２人目の素数さん
20/02/07 18:28:20 wqoXDfCi.net
東大にもIUTや遠アーベル幾何がわかる研究者が一人くらいいたほうがいいだろう。Goさんじゃダメなんか。
530:１３２人目の素数さん
20/02/07 18:36:00.41 AjY8YYNV.net
もっちーが東大行く可能性は？
531:１３２人目の素数さん
20/02/07 18:36:58.34 SBhYgw8Z.net
Goさんが、籍は京都の数理研に入れたままで、東大で客員で布教すればいいじゃん。
532:１３２人目の素数さん
20/02/07 20:49:11.62 1ad8V2ho.net
現時点で、東大出てIUTを理解できたのはGoさんだけ。
533:１３２人目の素数さん
20/02/07 21:21:23 CyUpE86n.net
そもそもお膝元の京大でもrims限定って話を聞いたような。
534:１３２人目の素数さん
20/02/07 21:27:48 qPu8WuEG.net
>>501
眼福！？！？
535:１３２人目の素数さん
20/02/07 21:31:48 qPu8WuEG.net
眼福というより物珍しい生命体を見る感覚のような気がする
「おぉ・・・リアルGoだ・・・」みたいな
536:１３２人目の素数さん
20/02/07 22:06:53 TV7rxU3d.net
Goを見た人は5年寿命が延びるという
537:１３２人目の素数さん
20/02/07 23:13:27.84 iXvWAybW.net
今東大でIUTと遠アーベル幾何がわかる奴は一人もいない。
538:１３２人目の素数さん
20/02/07 23:25:22 9IJwzjmO.net
iutはともかくとして、遠アーベル幾何学自体はグローダンディーク予想を解決したりした実績はあるんでしょ？
なんで東大では流行らないの？
539:１３２人目の素数さん
20/02/07 23:36:55 ew36yXIQ.net
>>517
良いことだね
540:１３２人目の素数さん
20/02/08 00:04:22.89 FPtf8uPl.net
遠アーベル幾何はモッチー組が圧倒的に強いからな。
541:１３２人目の素数さん
20/02/08 00:05:33.64 zdEdQe6l.net
アキネーターやったら山中せんせのあとにモッチーにたどりついた
542:１３２人目の素数さん
20/02/08 00:08:53.51 RI1BH84b.net
今の時点で東大が遠アーベルの人を取るのは冒険すぎるだろうな
Goは絶対にないがw
543:１３２人目の素数さん
20/02/08 00:10:07.21 BE0FRMk0.net
宇宙祭タイヒミュラーって物理学のレプリカ法と関係あったりするのかね？レプリカ法だとn個のコピー相互作用させて最終的にn\to 0とかにするんだけど。
数論幾何とか全く知らないんだけど教えてください！
544:１３２人目の素数さん
20/02/08 00:14:20.81 USYzM4u0.net
>>517
あらら。。。( ´_ゝ`)=３
545:１３２人目の素数さん
20/02/08 00:17:48 95UlTeR7.net
>>520
東大組には教えなくて良いんじゃ？
546:１３２人目の素数さん
20/02/08 00:21:33 PtZiA7mN.net
東大は敗北主義。
547:１３２人目の素数さん
20/02/08 00:21:39 gIq7jmBZ.net
つまりは今日本で遠アーベルといえばもっちー一派の一強で東大からすれば距離を置いとこうという感じ？
548:１３２人目の素数さん
20/02/08 00:50:34.72 t1xc2m+L.net
ラングランズ路線踏襲派の東大からしたらゲテモノだから今のところ
549:１３２人目の素数さん
20/02/08 00:52:15.89 jgcERmyO.net
東大でやってる学生いるけどね
550:１３２人目の素数さん
20/02/08 01:25:06.83 RI1BH84b.net
学生はどんどん好きなことをやればいい
551:１３２人目の素数さん
20/02/08 01:38:35.90 muDfC6gT.net
>>
遅レスになるけどしばらく様子見でROMしてました。誰も書けないのは分かっていたから俺の見解と反論を書きます。
先ずDAG的な方向性についてはMレポート第13節で多重射と導来圏との類似性をMは書いています。
また、Mレポによると当初S・Sは「これこれしかじかの修正をすればIUTは正しい」と主張したと書かれています。
これが本当なら（いまいち信用できないのですが）、S・SはDAG的な方向性でIUTの修正を持ちかけたのではないかと思われます。
しかし、根本的な問題として抽象v.s具象の問題があって、数論的次数のエンコードやテータ因子の埋め込みの問題もあり、
結局DAG的な方向で修正することができずdrasticな単純化をせざるをえなくなって自然同型、id-versionにしかできなかった。
これでIUTは完全に詰む。
さらに、DAG的な双対とIUTの単解性の論理は根本的に異なっています。
単遠アーベル的復元、Anabelioid、基点を持たない古典的な位相空間、slim anabelioid、slim categoryによる1-category。
同じスペクトル系列の理論のように見えても根本的に違います。
158氏はこれらを知っててわざと挑発的で反論を呼び込むようなレスを書いたのですかね？
このスレは本物の素人と高卒レベルの信者＝荒らしの自演ばかりですから、あまり期待や腹を立てても無意味ですよ。
４０７の書き込みが一番意味をなしていない。
小泉進次郎みたいな文章
ジョーク？
？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？
単遠アーベル的復元、Anabelioid、基点を持たない古典的な位相空間、slim anabelioid、slim categoryによる1-category。
同じスペクトル系列の理論のように見えても根本的に違います。
？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？
S・SはDAG的な方向性でIUTの修正を持ちかけたのではないかと思われます。
しかし、根本的な問題として抽象v.s具象の問題があって、数論的次数のエンコードやテータ因子の埋め込みの問題もあり、
結局DAG的な方向で修正することができずdrasticな単純化をせざるをえなくなって自然同型、id-versionにしかできなかった。
これでIUTは完全に詰む。
？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？？
552:１３２人目の素数さん
20/02/08 01:46:58.48 3JeVNi2K.net
>>531
間違いなら訂正すればいいじゃん
正しくはこうだと
553:１３２人目の素数さん
20/02/08 01:59:08 +aDU73gi.net
東工大をモッチー組の植民地にされて東大は焦ってる。
554:１３２人目の素数さん
20/02/08 02:38:39.02 I8+KdHIN.net
ラングランズって非可換類体論とかもあるけどフェルマー予想の解決がピークのような気がする
555:１３２人目の素数さん
20/02/08 08:33:20.70 19NE7a+b.net
>>520
S tixにゲテモノ扱いされたけど
556:１３２人目の素数さん
20/02/08 09:01:33.75 19NE7a+b.net
>>531
御本尊ですか
557:１３２人目の素数さん
20/02/08 09:53:18.47 c0YJhqb3.net
というかSSのレポート自体は別に遠アーベルの専門家じゃなくても理解できるでしょ。
558:１３２人目の素数さん
20/02/08 10:50:21.39 Ob5iDv7y.net
IUT自体は普通の遠アーベルとはかなり違うし、論争自体を理解するのは難しい
まず単純化が適切なのかどうか認識する必要があるしね
559:１３２人目の素数さん
20/02/08 11:12:22.74 Ob5iDv7y.net
ここでは全く誰も言わないけど、遠アーベル幾何自体がそもそも何なのかって問題もまだ未解決だな
つまり、どういう背景があっての対応なのか。特に混合モチーフや保型形式との関係は何なのか
グロタンディークがディオファントス幾何に応用を考えていたが実際はそんな単純ではなく云々という話も
面白いが、IUTのような奇妙な理論を使わずに
それを実現するにはどうするべきか、もそれに関して未解決或いは哲学的な問題
特に、絶対ガロア群と解析的なアラケロフ幾何には適切な接点がないからね
これはIUTのモチベーションにもめっちゃ関係ある話なんだけど
人によっては思わせ振りな羅列にしか見えないんだろうけど、極めて本質的な問題群だよ
そりゃ猿はシェイクスピアや漱石に意義を見いだせないからな
560:１３２人目の素数さん
20/02/08 11:14:24.88 19NE7a+b.net
>>523
宇宙際かな？
物理と無関係です
561:１３２人目の素数さん
20/02/08 11:23:19.73 RDOmi7iq.net
The Mathematics of Mutually Alien Copies: from Gaussian Integrals to
Inter-universal Teichmuller Theory
の中に物理への応用を示唆する記述がある。
562:１３２人目の素数さん
20/02/08 11:40:06.60 c0YJhqb3.net
>>538
単純化が適切なのか、を説明するのはSSサイドの義務ではない。
SSレポートは既存の数学で表現するとこうなるでしょ、という話なのだから、
それは違うというのはIUTサイドの問題。
>>539みたいなのにはなにも意味はない。
563:１３２人目の素数さん
20/02/08 12:30:18 kYb/Jpp8.net
SSサイドにはなんの義務もないよ。
本来義務を有するのはもっちーサイドだけ。
564:１３２人目の素数さん
20/02/08 12:32:21 CUHRysH9.net
>>541
2020IUT年カンファレンスの公式本
望月新一監修文元本でも
天動説 地動説 相対性理論
量子力学 素粒子の力学
不確定性原理 に言及している。
IUT語は 「IUT理論は、一般的な数学の
パラダイムの枠組みでは語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる」
オカルトマニア氏ならともかく
理解に苦しむね
565:１３２人目の素数さん
20/02/08 13:12:27.63 Q8HF1dGG.net
カテゴリーセオリーに関する記述が明らかにおかしいIUT
なんで誰もそれを指摘しないの？
566:１３２人目の素数さん
20/02/08 13:14:49.03 Q8HF1dGG.net
あとSSの指摘を養護するやついるけど、ほんとに理解してる？
あれは誰がみても的外れな指摘でしょ？
567:１３２人目の素数さん
20/02/08 13:58:23 8d8k7rfF.net
彼らは知能が低いから理解できないのよ
568:１３２人目の素数さん
20/02/08 17:53:27.95 muDfC6gT.net
>>545
＞＞カテゴリーセオリーに関する記述が明らかにおかしいIUT
なんで誰もそれを指摘しないの？
間違っているのがどの論文のどの箇所か明示していえ
569:１３２人目の素数さん
20/02/08 18:25:42.83 1EyXcB+2.net
>>546
どのように的外れなのか言ってみな。すくなくともおまえはここで説明できるはずだ。
>>531ぐらいの分量でいいからざっとここで書いてみるがよい。
書けなければ遁走とみなす
570:１３２人目の素数さん
20/02/08 18:26:16.20 WYIJd2wV.net
IUTの中に何か「明らかにおかしい」ものが発見されたならビッグニュースだ。数学の言葉で指摘してみろ。
571:１３２人目の素数さん
20/02/08 19:44:32 QUeGxvFQ.net
>>548
君も>>407氏がどうおかしいのか、正しくはこうなんだとはっきり書けよ
？マークを並べただけでは卑劣な下衆にしか見えないよ
572:１３２人目の素数さん
20/02/08 19:53:05 muDfC6gT.net
小泉進次郎語録に指摘しても無駄なのと同じレベル
そうみえないなら数学わからないひと
573:１３２人目の素数さん
20/02/08 20:04:51 muDfC6gT.net
たとえば
？？？？？？？？？？？？？？？？？？？
単遠アーベル的復元、Anabelioid、基点を持たない古典的な位相空間、slim anabelioid、slim categoryによる1-category。
同じスペクトル系列の理論のように見えても根本的に違います。
？？？？？？？？？？？？？？？？？？？
は、これらを知っている人から見ると
？？？？？？？？？？？？？？？？？？？？？
チョコレート、カカオ、種をとったすいか、甘いカカオ、甘いソースによるムース
同じ自動車の部品にみえて根本的に違います
？？？？？？？？？？？？？？？？？？？？？
のような説明にみえる
574:１３２人目の素数さん
20/02/08 20:14:53.47 QUeGxvFQ.net
>>553
君はこれらを知っているわけだな
ならば正しくはこうだと書けるはずでしょ
IUT、多重射、導来圏、DAG、SSレポートが問題になっているわけだから
君なら正しく整理して書けるはずでしょ
君はこれらを知っているのだから訂正し整理して書けないと本当に下衆だよ
これで最後ね。できないのならサヨウナラ
575:１３２人目の素数さん
20/02/08 20:20:52.71 E6pE4CnQ.net
お前は分かってんのか？
そういうオマエは分かってんのか？
っていうスレ
576:１３２人目の素数さん
20/02/08 20:31:48.33 zdEdQe6l.net
モッチーって頭がよろしいんだね
577:１３２人目の素数さん
20/02/08 20:32:09.62 AGrF9u1Z.net
知ってる限りの難しい言葉を並べて何かもっともらしいことを言うスレなんだよ
578:１３２人目の素数さん
20/02/08 20:32:20.03 gh9kY+yK.net
俺でも書き込めそうな流れ
嬉しい
579:１３２人目の素数さん
20/02/08 21:09:25.32 AGrF9u1Z.net
>>555
SS「お前（=もっちー）は分かってんのか？ 」
望「そういうオマエ（=SS）は分かってんのか？」
っていうIUT
580:１３２人目の素数さん
20/02/08 21:41:32.07 QUeGxvFQ.net
結局このスレに書き込んでる人のほとんどは文元のIUT本しか読んでないんだな
あれに書かれていない数学用語、IUT語を持ち出されると言葉を並べただけのデタラメ扱いする
さらに具体的なレスに反論をすることもできずデタラメ扱いし、自分はただ知っているとだけしか言えない
劣等感まみれの恥ずかしい人たちだとしか思えないね
匿名だから誰だか分からないので良かったね
581:１３２人目の素数さん
20/02/08 21:59:49.69 sHRYslIF.net
>>559
w
582:１３２人目の素数さん
20/02/08 22:44:38.02 0SQNOB5d.net
>>554
>>407も含めてレス書いてたんですが消えちゃってやる気なくなってしまったw
あのレスは実はかなり飛躍して書いたもので、下手したら世界で理解できる者はまだいないかもしれない
IUTはDAGとは確かに違いますが、骨組みを抜きとってDAGファッションにできるかと言ったら可能です
これはIUTのDAG版という意味では全くありません
IUTはそれが正しければ、線型な圏でなくAnabelioidによって構成されたある種の一般化されたモチーフ理論です
まず、これがどういう意味かちゃんとわかるのは多分望月氏と側近だけでしょうw
これは言い換えれば、ガウス積分の座標変換をいわゆるリンクを用いた関手、格子で一般化したものです
※ここでモチーフと言うのは、異なる種類の実現を統合、結びつけるという程度の、普通より抽象的な言い方
結局、あのレスで言ったのは直接そういう事をしないで何か似たようなことができるのか、という話です
ついでに言うとリジッド幾何とDAGの関係も始まったばかりでperfectoidだけでない重要な歴史もあり、
本当のプロなら「笑っちゃう文字列」などとは言わずに好きなように語るでしょうw それくらい重要な問題
スリム圏というのはあれはスキームと基点に依存しない基本群の圏で、1圏とか2圏とかは個人的には副次的な話
だと思います
群のパターン、ラベル、幾何学が上手くシステム化されるような圏になっている
詳しくは書きませんが、中心化に関する条件もcoricな単遠アーベルがやりやすいようになっているもの
583:１３２人目の素数さん
20/02/08 22:56:27.95 muDfC6gT.net
>>562
ブンゲンとかシェーンにだまされたイキリ東工大生ですか
584:１３２人目の素数さん
20/02/08 23:08:24.19 WjsW21zG.net
この掲示板おもしろーい
色んな勢力が睨み合ってるー
585:１３２人目の素数さん
20/02/08 23:09:51.98 CUE4MLHN.net
混合モチーフならもう構成されとるよ
586:１３２人目の素数さん
20/02/09 00:38:22.44 rlH8kiFh.net
元々もっちーとSSが2chレベルの炎上やってんだから
彼ら未満の俺たちはイキリ・煽り・マウント・冷笑しかできんよ
587:１３２人目の素数さん
20/02/09 00:47:10.41 aBdEGo7b.net
S.Sレポートはいわゆるno go theorem
ですね。
588:１３２人目の素数さん
20/02/09 21:15:35.73 nDwGgyL1.net
>>518
辻なら本職じゃないにせよかなりわかると思う。
後狭い遠アーベルはpop自身が結構悲観的なことを言っている。彼のhpのスライドを読めばわかる。
589:１３２人目の素数さん
20/02/09 21:20:48.04 55XMt+VJ.net
>>566
そういうメンタリティの奴ははなから大成しない
確かに数学の内容についてはストイックで自己批判的であるべきだが、他人より上とか下とか
意識するようになったらおしまいだわ。他人が出せないアイデアを出せれば勝ち。それ以外に優劣などない
590:１３２人目の素数さん
20/02/09 21:21:29.54 zmPDrO9K.net
>>513
そりゃそうだ
591:１３２人目の素数さん
20/02/09 21:31:45.05 55XMt+VJ.net
IUTで圏の幾何学をstackの2圏論的な技術を使わずに構築できるという理由は、
stackが導入された歴史的背景にも関係があること。考えたらわかる
IUTでは基本群というか数論的基本群（単解基本群）の圏が中心になるため、議論を単純化できるわけだ
592:１３２人目の素数さん
20/02/09 21:33:36.97 cyMLORHl.net
>>569
同値類で割り切った態度から現代数学は始まる。
593:１３２人目の素数さん
20/02/10 00:16:47.94 mODZmB4I.net
?????????????????????????
IUTで圏の幾何学をstackの2圏論的な技術を使わずに構築できるという理由は、
stackが導入された歴史的背景にも関係があること。考えたらわかる
IUTでは基本群というか数論的基本群（単解基本群）の圏が中心になるため、議論を単純化できるわけだ
??????????????????????????
間違っている...
594:１３２人目の素数さん
20/02/10 02:05:17 NkGyGcsX.net
Goさんは東大で准教授になればいい仕事するんじゃないか。
595:１３２人目の素数さん
20/02/10 08:09:06 IrpWbCzh.net
この方面に不慣れなもので勘違いがあるかもしれませんが、
IUTにおける集合論の運用に関してよく分からないところがあって、
周りの人に聞いても要領を得ないところがあるのでここで質問させてください。
IUTでは宇宙の拡大を無限回行っているようですが、大丈夫なのでしょうか？
論文IVの3章では宇宙の拡大
(*) V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ ... ∈ V_n ∈ ...
を繰り返した後で {V_n}_n を含む宇宙 V を考えることで
V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ ... ∈ V_n ∈ ... ∈ V
となっていますが、これは（少なくとも表面的には）おかしいですよね？
V_0 ∈ V と V_0 ∈ V_1 ∈ V では V_0 の入り方が異なります。
従って宇宙の無限系列(*)を首尾一貫して含む宇宙 V は構成できていません。
このことについては IV.3.1.4 で、set-theoretic formulas は
拡大の影響を受けないと説明していますが、本当にそうなのでしょうか？
つまり、宇宙 V_0 で A(0) （それが何であれ）ができて、
宇宙を V_1 に取り換えて A(1) ができて、...と続けていった時に、
各 n については A(n) の set-theoretic formula が存在するとしても、
「∀n A(n)」 のための set-theoretic formula はどこの宇宙にも
存在しないという可能性はないのでしょうか？
（無矛盾とω-無矛盾の違いのようなことを懸念しています。）
596:１３２人目の素数さん
20/02/10 09:45:33 RQS9NSdM.net
俺は論文IVまでは読んでないけど、その指摘の通りのことが書いてあるなら、
やっぱりすごく初歩的なところで欠陥があるっぽいな。
基礎論のところで躓いてるんじゃないかってのは初動から言われてるけど、
さすがに全部読むのは時間の無駄だと考えてそこまでみんな踏み込んでないみたいだし。
597:１３２人目の素数さん
20/02/10 10:15:20.08 NInr7Pmo.net
> V_0 の入り方が異なります。
任意のv∈V_0に対し、宇宙の公理からv∈V_1やv∈Vが従うので、V_0⊂V_1⊂V
「入り方」としてはそれを考えているのでcompatibleなのではないでしょうか？
598:１３２人目の素数さん
20/02/10 14:04:16.33 hCnL5jX3.net
まあHPのCSSに不備があるぐらいだからなぁ
599:１３２人目の素数さん
20/02/10 16:32:58 rM7qD3pk.net
査読で嘘ついたら名誉毀損になるのかな？
600:１３２人目の素数さん
20/02/10 18:39:31 IrpWbCzh.net
>>577
v ∈ V_0 ⊂ V_1 と見るのでは V_0 と V_1 が同じ階層にいて
宇宙を拡大したかいがないと思うのですが。
601:１３２人目の素数さん
20/02/10 22:30:30.05 IrpWbCzh.net
念のため補足させてもらいますと、>>575の例において A(n) が命題であれば
『∀n「A(n) が（勝手にとった宇宙において）正しい」』と
『「∀n A(n)」が正しい』はもちろん同じことになります。
しかし A(n) が例えば何らかの手続きであった場合、
『∀n「A(n) ができる」』と『「∀n A(n)」ができる』は一般には異なります。
例えば「できる」が「証明可能」の場合、無矛盾とω-無矛盾の違いになります。
�
602:ｱこで「できる」のような曖昧な言い方になっているのは、 私がIUTの実質的なことを理解しておらず、実際にどのような状況で 論文IVの議論が使われているかを知らないためです。
603:１３２人目の素数さん
20/02/10 22:34:34.27 OcaV6WUU.net
( ´∀｀)
(´・ω・`)
604:１３２人目の素数さん
20/02/11 08:16:19.09 D0aOTCKJ.net
どうやら筋金入りのピンポイント２号登場とみた
IUT陣営がうまく答えられて、議論が深まるといいなぁ
605:１３２人目の素数さん
20/02/11 12:37:37.24 sXRXHhvj.net
なにやら騒がしくなってきたね
仁美の秘密垢が（略
606:１３２人目の素数さん
20/02/11 14:26:40 dsqej9cA.net
>>580-581
IUT論文公開当時のエレンバーグのブログでフェファーマンの弟子が書いているのだけど
M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい（自分はその論文がどれか知りません）。
もちろん保存的拡大ではないのですが。
結局Stixが言うようにエッシャーの階段にしかなっていないのですよ。
M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
その節で名前の出ているKimですら分からないとMOで書いています。
607:１３２人目の素数さん
20/02/11 15:36:29.20 NrhYqHsP.net
なるほど、海外ではもうだいたい議論し尽くされてる感じなのか。
国内はほかの研究者が遠慮してるから情報が出回ってないだけで、
海外ではもう詰んでるとみられるだけの十分な指摘があるのね。
608:１３２人目の素数さん
20/02/11 15:41:09.08 RcIg5MEl.net
モッチが傷つくとこはみたくない
609:１３２人目の素数さん
20/02/11 15:50:33.40 ZhuO6Uf3.net
しかし数学者コミュニティってやっぱりすごいな
集合論の理解がおかしいんじゃないかって最初期から言われてたことだし
それとも先行論文がおかしいっていう情報がすでに共有されてたのかね
610:１３２人目の素数さん
20/02/11 16:04:31.92 QDf3OWs9.net
結局ナンセンスなジャーゴン集で終わり。
611:１３２人目の素数さん
20/02/11 16:31:33.88 TxECpdqB.net
>>587 ＊
ひとみっぺ(*￣ー￣)
「弱った獲物の匂いがする・・・ｼﾒｼﾒ」
612:１３２人目の素数さん
20/02/11 17:29:40.49 Cnl2MHH4.net
>>575
それは誰もが多分疑問に感じる部分でしょうね
その議論はIUTの場合、絶対遠アーベル幾何学とセットで考えないと形骸的過ぎて使い物にならない
そもそも幾何学的に閉じた理論ですらないからね
また、その手の論理的階層を考える時に誰もが考えるのは、よくわかんないけど型理論でも使ったほうがマシなんじゃないの？ってこと
ともかく、個人的にはそこは問題ないと思う。しかし、絶対遠アーベル幾何学ってのは圏論と
両立しなきゃならないからね
実際望月レポートではそこに一番力が入っていて、集合論的基礎ってより圏と宇宙の整合性について
気にしている
IUTはかなり工夫して作られていて、ジャーゴンの塊とまでは言えないよ
ただ、それなりの数学者が普通に見たらそういう工夫（感心するような構造的なパズル）より
屁理屈という印象がどうしても強くなる
本人が認めてるように、Frobenioidみたいな一般化から上手く持ち上げを構成するとかじゃなくて、
（それはp進タイヒミュラー理論でのやり方に近い）あくまでリンクによる格子だからね。良くも悪くも
奇抜な試みをやっちゃってんだよ
613:１３２人目の素数さん
20/02/11 17:33:39.20 LdHXlb7w.net
またこいつ出てきたよ。
中身がなんにもないのにいちいちコメント�
614:ｷるな。
615:１３２人目の素数さん
20/02/11 17:46:59.70 RcIg5MEl.net
屁理屈とか言うとモッチーが怒るよ
616:１３２人目の素数さん
20/02/11 18:15:59.66 D0aOTCKJ.net
「どうして伝わらないかなぁ...」とか、ため息ついてるほうに100モッチ
617:１３２人目の素数さん
20/02/11 18:16:50.75 NIYcTH27.net
>>586
海外の研究者と実際会って話すと
彼らがどう思ってるかはわかる
もっちーに近い人はともかく東大や京大数学の人は
みんなそういう話はここ何年かで耳にしてるはず
で日本に帰っても黙ってるんですよ
618:１３２人目の素数さん
20/02/11 18:19:30.19 CVYz5IRs.net
「間違ってるかもしれないけど10年位は逃げ切れるだろ」にスーパーもっち君
619:１３２人目の素数さん
20/02/11 18:39:02 Cnl2MHH4.net
調べれば調べるほど部分部分は技巧的で感心させられるのがIUTの特徴
「環論より深いガウス積分を乗法と加法の遠アーベル幾何学的な変換として捉えて高さを計算できないか？」
というのはこれ自体は天才の発想としか言いようがない
ショルツなんかは多分、批判的に読んだからそういう情はなかったんだろうな
勿論、中身はよくわかんないが失敗してほしいと思う連中にもそういう情はないわけだけどw
620:１３２人目の素数さん
20/02/11 21:00:57 dsqej9cA.net
>>597
ショルツに情がなかった（M氏曰く初めから敵対的だった）というのは言い過ぎだと思いますよ。
S・Sレポは皮肉に満ちていますが、例えばこういう個所もあります。
S・Sレポ8月版p.8の2.1.8
---------------------
Mochizuki devises an ingenious algorithm to recover this data very directly from the data of π1(X) acting on a certain monoid of divisors on tempered coverings of X.
---------------------
(しかし、この文の脚注11で最終段落につながる問題点を指摘していますが)
ショルツの場合、2015年に対数テータ格子の非可換性についてM氏とやり取りがあって、その後音沙汰のないまま、
カレガリのブログでのコメント、京都での討論となっています。
ショルツが批判的に読んだのは系3.12について納得できる説明が得られなかったからですよ。
そこで彼はIUTを初めから読み直したor読み替えた。
IUTコミュだけでなく、S・S自身暗に認めているようにそれはもはやIUTと呼べるものではないです。
ではなぜそのようなことをしたのか？抽象v.s具象が問題だったからです。
S・Sレポートというのは外部者による査読ですらなく、IUTを書いてしまった数学者M氏のS・Sによる精神分析のように見えます。
621:１３２人目の素数さん
20/02/11 21:17:45 suq7w5x2.net
>>597>>598
このふたり、ピンポイントで数学的な指摘が入ると出てきてスレを流し始めるけど、
なんか都合が悪いことでもあるのか？
622:１３２人目の素数さん
20/02/11 21:23:40 dsqej9cA.net
既出かもしれませんが、遅ればせながら最近見つけた南ドイツ新聞の記事です（2016年8月30日付）。
URLﾘﾝｸ(www.sueddeutsche.de)
この記事の英訳はこちらです（PDF）。
URLﾘﾝｸ(mcmprodaaas.s3.amazonaws.com)
この記事は2016年京都のIUTサミット後の記事です。StixとFaltingsのコメントがあります。
StixのIUTを理解したいという思い、普通の数学用語で書けるはずだという苛立ちのようなものが見られます。
Faltingsは、もう愛弟子に対する諦めモードですね。
623:１３２人目の素数さん
20/02/11 22:14:11 CvMFw4FE.net
結局山下
624:氏がいうところの“センシティブな感覚”というのがどこまで信用できるかでしょう。
625:１３２人目の素数さん
20/02/11 23:12:51 uxzH1hX1.net
モッチーはブログで名指しはしなかったけどT先生を批判したのかね？
626:１３２人目の素数さん
20/02/11 23:34:36.72 6KGA96xX.net
まあそうだろうね。
ただ担当編集者に当たった以上、自分が分らない、指摘して自分が納得できる
返事を得られない、となったら、リジェクトの返事を出すのが正しい道だろう。
627:１３２人目の素数さん
20/02/12 00:24:53.29 28rwupDv.net
そんなこと怖くてできにゃいよぅ( ｡ﾟДﾟ｡)
628:１３２人目の素数さん
20/02/12 00:36:49.11 Q6IpDgid.net
もうこのままじゃらちあかないんだからprimsは取り下げて海外の別の雑誌に投稿した方がいいのでは？
この状況でprimsがアクセプトしてももはや騒動を大きくする結果にしかならない。
629:１３２人目の素数さん
20/02/12 01:43:51.75 sqNkM6dF.net
結局、T先生の頭ではIUTを理解できなかったのかな。
630:１３２人目の素数さん
20/02/12 02:28:48.58 1ED8PuAW.net
いろんなニューロタイプの研究者がいるからじゃないかな？
631:１３２人目の素数さん
20/02/12 04:08:59.17 6DN6RHyB.net
意味不明なカテゴリーセオリー語ってる時点でIUT終了
632:１３２人目の素数さん
20/02/12 04:14:03.33 qp++i/vL.net
圏論屋はバカ。
633:１３２人目の素数さん
20/02/12 09:16:10 ODWRG5wq.net
あれだけぐだぐだやって集合論の理解が不足していたというお粗末な結果なのか
634:１３２人目の素数さん
20/02/12 12:27:36 0UdZ4F2k.net
まあM側もお粗末だがSS側はもっとお粗末なわけで。
今やSSレポートはあまりに認識不足の赤っ恥な内容だし。
まぁどこが赤っ恥かはk川に直接聞けば教えてくれるよ。
635:１３２人目の素数さん
20/02/12 12:38:51 VewLBdNI.net
>>606
加藤和也先生は講義録で我が道を行くと
636:１３２人目の素数さん
20/02/12 13:43:31 ZjrtYJ9G.net
>>611
リア充＊キラキラ＊ショルツ教授が憎いんですね？分かりますよ～
w
637:１３２人目の素数さん
20/02/12 13:47:46 ZjrtYJ9G.net
「若くして博士！！
史上最年少フィールズ賞受賞者！
若くして異例の教授職就任！！！
愛するＬＯＶＥＬＯＶＥ新妻！！
愛する我が子！！！！」
魑魅魍魎(ぐぬぬっ...！！！！！)
↑ wwww
638:１３２人目の素数さん
20/02/12 13:50:12 ZjrtYJ9G.net
ぐぬぬ
「ショルツめ～っ！」
w w w w
分かります～ 分かります～
w w w w
639:１３２人目の素数さん
20/02/12 13:53:33 ZjrtYJ9G.net
ぐぬぬ理論
俺が欲しくても手に入ら無かった
全てを持っているショルツは
間違ってるっ！
分かりますよ～
分かる～分かるうぅ～
ｗｗｗｗ
640:１３２人目の素数さん
20/02/12 14:32:10.08 jLw5exTB.net
お釈迦様が樹から落っこちても
弘法が樹から落っこちても
猿が筆を誤っても
ショルツ様がお間違えに
なられるわけないだろ！
641:１３２人目の素数さん
20/02/12 14:33:42.69 jLw5exTB.net
ばかおのくせに
ショルツ様にツッコミなんて
１万光年早い！
642:１３２人目の素数さん
20/02/12 14:35:38.20 jLw5exTB.net
日本にショルツ様がファンに逢いに
サイン会に来たらテロって来そう...
(気をつけねえとな...)
643:１３２人目の素数さん
20/02/12 14:38:16.99 jLw5exTB.net
やーね！だめんずの呪いって！！！
w w w w
644:１３２人目の素数さん
20/02/12 14:54:22.35 8y1E4IgY.net
ショルツを妬めるのは一流だけ。
ID:ZjrtYJ9GとID:jLw5exTBが本当にゴミなのはよくわかったw
645:１３２人目の素数さん
20/02/12 15:00:32.77 of9UHCFD.net
ぐぬぬ
「俺は一流だから
ショルツを妬んでるっ！！！！」
ＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷ
大爆笑ステッチ縫いで
素敵なテーブルクロスが出来ましたー
646:！ 感謝でーす！w
647:１３２人目の素数さん
20/02/12 15:11:15.12 of9UHCFD.net
あ、もう１つの解の可能性に気づいちゃった！
「俺はそんなに一流ぢゃないから
俺は妬んでないんですっ！！！」
ＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷＷ
まーたまた大爆笑ワロステッチ縫い出来ちゃった！wwww
今度のはベッドリネンにしよっかな？っと。
ｗｗｗｗ
648:１３２人目の素数さん
20/02/12 17:23:53 w6JWon9U.net
加藤和也先生やT先生でもIUTを理解できない。
649:１３２人目の素数さん
20/02/12 17:28:54 w6JWon9U.net
松本真先生もIUTを理解できなかった。
650:１３２人目の素数さん
20/02/12 17:44:49.14 7R4y+mJH.net
SSやその他の数学者と望月では圏論の使用理解が完全に割れてるからね
センシティブ、というのは圏論を等式重視の普通の感覚で見るのか、それとも
圏には構造で統制されているが複雑性があって、そこで色々細かい射を使えると見るのかの場合の、後者
つまり望月にとっては群論の圏だから群論的操作につき∨による宇宙の区別を考えることができる
他の数学者は群の多重圏として見ているから全体としては∧だけで十分となる。つまり不等式がない
これのどちらが正しいのかという時、どうしても操作の履歴を忘れるという付加操作を導入する
望月のほうが不利になると言わざるを得ない。他の数学者はもっと関手的に考えれば良いと思っている
するとIUTの戦略は崩壊する
651:１３２人目の素数さん
20/02/12 17:49:16.49 7R4y+mJH.net
↑細かい射というか、「操作的な」射と言ったほうがよいか
特にホモトピー論について幾何学的に扱う極限、余極限による射のシステム論としての圏論とは
明らかに違うものだから
652:１３２人目の素数さん
20/02/12 18:16:53.57 8vteCdlz.net
>>626-627
揚げ足取りのつもりではありませんが、∧と∨の入れる箇所を間違っていますよ。
それ以外、つまりレスの論旨は大体同意します。
653:１３２人目の素数さん
20/02/12 18:26:22.48 g76QyXKo.net
ごちゃんなんだから呼び捨てにするのはやめてほしいものだ
またブログに転載されてもっちから怒られるよ？
せめて先生とか教授とかプロフェッサーとかつけて敬意を示してもらいたいものだ
654:１３２人目の素数さん
20/02/12 20:04:17.50 VOr7V6wh.net
♂もっちんこ♂なんて訴訟もんだよね
655:１３２人目の素数さん
20/02/12 20:05:49.98 VOr7V6wh.net
Ｍで♂もっちんこ♂・・・
656:１３２人目の素数さん
20/02/12 20:06:29.16 VOr7V6wh.net
最低だよ！？やめるべき。
657:１３２人目の素数さん
20/02/12 21:53:07.56 sttelqCc.net
パラダイムシフトなんだろだとしたら現代の数学者が束になっても敵わない恥じることはない
658:１３２人目の素数さん
20/02/12 21:58:51.28 AFO7HzUr.net
これが数学じゃなかったら、「IUT理論が認められないのは、ユダヤ資本の陰謀」とか騒ぎ出すネトウヨが現れたに違いない
659:１３２人目の素数さん
20/02/12 22:35:48.17 q1d9ENm2.net
>>634
ユダヤ資本の陰謀とネトウヨの間に因果関係は無い
ユダヤ資本の陰謀とか言って敵視してるのはむしろ左翼勢力なんだが？
資本家の支配を嫌ってるからね
おまえみたいな低脳が蔓延るようになったのはどうしてなのだろうか？
660:１３２人目の素数さん
20/02/12 23:40:12 q4zEN7/R.net
IUTがパラダイムシフトの産物と
明言しているからね。
実際には
パラダイムシフト=暗黒面へ堕ちた
としか思えない
661:１３２人目の素数さん
20/02/12 23:55:20 q4zEN7/R.net
射を濫用すればあり
同値関係からやり直せ
662:１３２人目の素数さん
20/02/12 23:56:42 q4zEN7/R.net
射を濫用すればなんでもあり
同値関係からやり直せ
663:１３２人目の素数さん
20/02/13 00:20:01.23 //4XvD6M.net
Taylor DupuyはIUTを完全に理解した？
664:１３２人目の素数さん
20/02/13 04:20:54 vBemJ+9/.net
IUTは不射の射
665:１３２人目の素数さん
20/02/13 05:12:09 9yDFIPOD.net
>>635
欧米では極右側の民族主義、国家主義的傾向がある方々が「ユダヤ人資本家による支配」に対して危機意識や懐疑を表明しがちだからじゃないでしょうか？
666:１３２人目の素数さん
20/02/13 06:22:19.06 //4XvD6M.net
ヤン・ユー氏はIUT理解者に含まれる？
667:１３２人目の素数さん
20/02/13 06:39:49.02 5KJZQntR.net
>>629
IUTは 信じるものしか救われない
体質から尊師 御本尊と呼ばれている
668:１３２人目の素数さん
20/02/13 13:25:46.25 WEjKCHT+.net
ケー川ってだれ？
669:１３２人目の素数さん
20/02/13 13:34:40.31 eyHw9pPr.net
黒k先生？
670:１３２人目の素数さん
20/02/13 15:22:36 iA2Khs/U.net
ヒント KKの弟子
671:１３２人目の素数さん
20/02/13 16:57:09.67 NfqVEDvR.net
Scholzと餅は焼肉食べたんだろうか？
672:１３２人目の素数さん
20/02/13 17:18:45.52 8OWrSUJA.net
K川が理解できてK藤が理解できないなんてことは絶対にない。年齢とか関係ない
673:１３２人目の素数さん
20/02/13 17:32:00.42 Fy4HZCsn.net
65歳過ぎたら最先端の数学は無理だろう。
674:１３２人目の素数さん
20/02/13 19:27:42 RWOgjdi7.net
>>648
彼も理解はしてないよ。ただショルツのレポートはお粗末だってのはわかるらしい。
675:１３２人目の素数さん
20/02/13 19:46:31.71 ayOxUPQM.net
>>650
はいはいはい。
「リア充野郎が
数ヲタ非リア充のオレより
数学デキルなんてっ！
ムキキｷイィｨｯ！」
ｗｗ
676:１３２人目の素数さん
20/02/13 19:48:35.84 ayOxUPQM.net
「リア充野郎なんかお粗末ｯ!ﾍﾟｯ!」
ｗ
677:１３２人目の素数さん
20/02/13 20:45:26.71 8OWrSUJA.net
>>650
思わせぶりなこと言ってるけど、反論自体は望月レポートがあるわけだからなあ
もっと技巧的な話ができるのなら書くべきだし
678:１３２人目の素数さん
20/02/13 21:42:15 gvpUJ5jm.net
「K川に直接聞いたら分かるよ」とか上で書いていたけど、K川の名前を出さずに「これこれしかじか」だと
具体的に内容を書けばいいのにな。
本当にK川に直接聞いたのなら内容は分かるはずだろうに。
すべて又聞き、伝言ゲームなんだろうな。ここの自称「事情通」の人は。
679:１３２人目の素数さん
20/02/13 21:47:14 tNd/qeXd.net
じっさい名前のほうはどうでもいいからな。
ここまででピンポイントで間違いを指摘してるひとはみんな匿名だし。
680:１３２人目の素数さん
20/02/13 21:55:47 7s6Wy+BH.net
>>641
ネトウヨは極右ではない
ますます頭がおかしいのがバレたな
ネットでレッテル貼られてるネトウヨは欧州でいうと中道に近い
681:１３２人目の素数さん
20/02/13 22:12:40.85 8OWrSUJA.net
理解した、と自認したり望月氏に認められてる人は全員あの論争について何か言ったほうが良いんだよホント
極端な話ではなくてね
双方のギャップについて自分なりに言い方があって、IUTについて説明したい情熱
不愉快なくらいそういうものが見えてこない
いくらスペシャルイヤーといってもできることがあるだろう
682:１３２人目の素数さん
20/02/13 22:24:06.33 3Rf44b5l.net
一人ネトウヨが紛れ込んでるな。
683:１３２人目の素数さん
20/02/13 22:46:54.20 SwWerAUN.net
日本国内だけの内弁慶
外国に御大が行かないし周辺では無理
KKMJが世界的にも尊敬された佐藤スクールとはかなり違う
684:１３２人目の素数さん
20/02/13 22:57:36.08 6RoMa+7P.net
有名な人ほど理解力が有るというのはウソ
年寄りは知識と実績がふえても、
プライドも権威も雑用も知見も家庭も新しいものを受け付けることを
邪魔する
若い人ほど先入観なく集中して新しい数学を理解していける
685:１３２人目の素数さん
20/02/13 23:02:08.03 6RoMa+7P.net
K藤は家庭を一回リセットしたけど
686:１３２人目の素数さん
20/02/13 23:15:28.85 zPBFJy9N.net
越川さんがショルツの指摘をナンセンスと言ってるのは有名では？まあ彼自身iutに肯定的でないけど
687:１３２人目の素数さん
20/02/13 23:22:05.42 8OWrSUJA.net
>>660
その抽象論はこのケースでは当てはまらない
IUTの構造やKさんの研究内容、レベル、これらを勘案して「大まかには理解した」とすらならないのは
異常ってことだ
688:１３２人目の素数さん
20/02/13 23:36:20.28 d41Vjpk2.net
>>662
K川がだれかなんてのはどうでもいい。内容を言えよ。
689:１３２人目の素数さん
20/02/13 23:49:18.27 AoJzyDUH.net
>>642
ヤン氏はIUTに若干懐疑的な発言してたけどね。
少なくとも肯定派ではない希ガス。
690:１３２人目の素数さん
20/02/13 23:50:26.46 SwWerAUN.net
凸(☎ω☎)凸「あーそういうことね 完全に理解した」
691:１３２人目の素数さん
20/02/14 00:19:03 SZQ/FW/o.net
>>665
具体的にどんな発言してました？
692:１３２人目の素数さん
20/02/14 00:57:22.47 V0mONZ7b.net
>>663
そんじゃあ
Kさんの研究内容、レベルについて説明してみろよ
693:１３２人目の素数さん
20/02/14 03:00:13.91 /QHUFhyS.net
越川さんがショルツレポートをナンセンスと言ってる以上、SSの指摘は的外れ
M大勝利
なわけよ
694:１３２人目の素数さん
20/02/14 03:02:13.27 /QHUFhyS.net
的外れな指摘を、SSフィールズ賞ホルホルでマンセーしてる欧米人がアウトーってなわけよ
今や完全に風評被害
SSの責任は重いよ
695:１３２人目の素数さん
20/02/14 09:46:39 RZJNxPOj.net
IUT元年＝死亡診断書はさすがに草
696:１３２人目の素数さん
20/02/14 09:58:13 HT4IyBw5.net
初めてSSに非があるという情報でてきたな
697:１３２人目の素数さん
20/02/14 10:13:17 tAb/RTTB.net
>>656
日本は第二次大戦の枢軸国側として
大戦後のレジームの中では、同じく
敗戦国のドイツ、イタリアに等しい
立ち場に位置付けられてますから。
国連の敵国条項は未だに改定されて
いません。
大戦後の世界では今日まで、他国に於ては中道派で済む処の主張は、こと敗戦国側に於て成されれば、極右、歴史修正主義者の謗りを免れません。
698:１３２人目の素数さん
20/02/14 10:24:03 6qHUBxDR.net
>>672
＞ＳＳに非があるという情報 ❌
リア充タヒね！ぐぬぬ理論 ⭕
699:１３２人目の素数さん
20/02/14 10:25:18 6qHUBxDR.net
ｗｗｗｗ
700:１３２人目の素数さん
20/02/14 11:04:11 K0O2j1TT.net
ＢさんがツイッターでM側は糞長い反論出したのに、SSは見解出すと言っときながら逃亡したって書いてたな
M先生はブログでもわかるように超長文かますのが好きで、しかもあちこち話が飛び、各々が長い
ここらでツイッターにでも挑戦して要約するということを学べばいいと思う
きっとIUTの論文も50ページくらいになるであろう、知らんけど
701:１３２人目の素数さん
20/02/14 11:09:40 K0O2j1TT.net
>>674
Mさんは高学歴、容姿まあまあ端麗(若い頃)、穏や
702:かな性格、笑顔がステキ、とショルツ教授を越えるリア充でもおかしくなかったと思うが 家でもいちいち事細かに説明してきたり、愛の手紙書かせたら100枚オーバーは確定だろうし、 彼女が「温泉いきたいなぁ」と言ってるのに拒否ったり一度部屋にこもったら月単位で連絡とれそうにもないので非リアは致し方ないと思います 本人もぐぬぬと思ってるのかどうか？ 思ってないと思う
703:１３２人目の素数さん
20/02/14 11:27:40 ekmNRCqQ.net
下衆い
704:１３２人目の素数さん
20/02/14 11:48:33 1ZXYuwZK.net
>>677
ほっほおぉん・・・・・😏
リア充スター教授
「悔しかったら結婚してみろよ！？笑」
の一言(冷笑)だったりして。
ｗｗｗｗ
705:１３２人目の素数さん
20/02/14 12:17:06.58 kWLxrY0t.net
これ他の人も言ってたことだけど、SSの論文が不十分なのはある程度わざとやってるとも取れるんだよね
要はお粗末って、遠アーベル幾何学的な部分、特に数論的対称性の部分が抜けてるってことでしょ
あの論文だと実解析的基本群の話しかしてないように見える
お互いにナンセンスだと思ってるんだよ
望月レポートも含めてもしあの論争に欠陥があるなら、とっくに誰か書いてるから
つまり他に言えることがないってこと
706:１３２人目の素数さん
20/02/14 12:36:34.67 HT4IyBw5.net
>>680
なんでStixも関わってんのに触れないの？
SSは全くIUTを理解せずに批判してるみたいだな
707:１３２人目の素数さん
20/02/14 12:37:39.55 HT4IyBw5.net
定期的にSS擁護レスつくよねここ
中身もわかってないくせに
で、反論するとお前も中身で反論しろと逆ギレ
708:１３２人目の素数さん
20/02/14 12:50:04.57 kWLxrY0t.net
>>681
単純に主要な欠陥が圏論的なものだから
だから遠アーベルにあまり詳しくないショルツが気付けた
あと、単遠アーベル幾何学をIUTで使用する際の欠陥に触れるならSSのやり方でもそんなに悪くはないよ
IUT特有の超圏論的な操作を無くしたら結局こうなっちゃうという話だから
いくらあなたがポジショニングトークでIUT擁護をしても、SSが間違っているというわかりやすい指摘は
ついにIUT研究者から出てこなかった。その理由は、普通の数学を使った問題ではなく、超圏論的な問題だから
709:１３２人目の素数さん
20/02/14 13:45:30 HT4IyBw5.net
>>683
詳しい説明をありがとう
別にポジショニングトークするつもりはないけど、ショルツのことに詳しいKさんがはっきりとあのSSレポートは勘違いだって断言してる。これ事実なのでね。
710:１３２人目の素数さん
20/02/14 14:16:50 Ptu8Aetu.net
ちなみにここで数学的見地から回答してる方々は、歴とした数学者でいらっしやるの？
それとも院生の方？
711:１３２人目の素数さん
20/02/14 14:34:32.84 RZJNxPOj.net
>>684
だからその内容を言えばいいじゃん。
KがだれかなんてのもKがショルツと面識があるかどうかもどうでもいいわけよ。
712:１３２人目の素数さん
20/02/14 15:15:19.90 7Ay1loYp.net
誰かこれの日本語版ページを作ってくれ
URLﾘﾝｸ(en.m.wikipedia.org)
713:１３２人目の素数さん
20/02/14 15:39:30.85 HT4IyBw5.net
>>686
内容はわからんから言わん
そういう事実があるという報告のどこがいかんのだ
過剰批判する方が見苦しいわ
714:１３２人目の素数さん
20/02/14 16:03:35.61 Ptu8Aetu.net
じゃあせめてKが誰なのか、わかるように書いてほしいわ
715:１３２人目の素数さん
20/02/14 16:11:11.12 HT4IyBw5.net
このTL流れ見てたらわかるでしょ？
716:１３２人目の素数さん
20/02/14 17:28:47.36 RB6SAVn1.net
超剣呑的流れ
717:１３２人目の素数さん
20/02/14 21:18:57 SZQ/FW/o.net
ところでフェセンコは本当にIUTを理解してるのかな？
718:１３２人目の素数さん
20/02/14 22:31:22.76 kWLxrY0t.net
>>684
状況はややこしいのかもしれない
HTを線形写像の可換図式の話にしてるから、わざと単純化してるのでなきゃやりすぎかもしれない
だけど、だからって大きく話が違うのかという…
奇妙なリセット操作で宇宙を区別しないと不等式は構成できないからねw
719:１３２人目の素数さん
20/02/15 00:04:10.17 ++otDYwB.net
というかここまでの指摘だとSSのはむしろ難しく考えすぎで、
IUTは集合論の理解不足というもっと基礎的なところで間違ってるよね。
720:１３２人目の素数さん
20/02/15 00:18:30.35 Uy1throz.net
K川はSSはわかってないって言ってる！厨が現れてから
このスレの一番の被害者はK川になってきたな
721:１３２人目の素数さん
20/02/15 00:25:19.99 KBLTjQ/q.net
「SSはIUTをわかってない」が正しいとしても
IUTが正しいかどうかとはまた別の話だけどね
722:１３２人目の素数さん
20/02/15 00:29:25.96 D/AW8jzP.net
正しいか間違ってるか、いつわかるんですかい？
723:１３２人目の素数さん
20/02/15 00:36:41.03 4K+/yGdd.net
あと10年くらいかかるんで？
まあ雑誌には早晩掲載されるだろうがね
724:１３２人目の素数さん
20/02/15 00:40:50.14 cw9gERMZ.net
そもそもSSレポートと関係ないところでダメ出しされてる感じあるんだよね。
>>585はがほんとうなら先行論文の段階でなにかおかしなことを考えていて、
それがそのまま論文IVに使われてるようにみえる（>>575）。
こうなるとSSがわざわざレポートを書いたのは御大が依頼したからで、
当人たちは（相手にするまでもなく間違っているので）どうでもいいと思っているのでは、
というのもなんかもっともらしくなっちゃうんだよな。
725:１３２人目の素数さん
20/02/15 02:32:20 JY9x+V+y.net
ガロア理論もわからないカスがなにを偉そうににかたってんだかｗｗｗ
726:１３２人目の素数さん
20/02/15 03:37:06 RunN45W6.net
モッチー先生の弟子の辻村氏はIUT理解者に含まれる？もしそうなら、まだ若いのにエラいことだよね。
727:１３２人目の素数さん
20/02/15 05:27:13 z68esjXF.net
> M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
(August 2012)
p.43
> ...concerning the "conservative extensionality" of ZFCG relative to ZFC, i.e., roughly speaking,
> that "any proposition that may be formulated in a ZFC-model and, moreover, holds in a ZFCG-model in
> fact holds in the original ZFC-model" ...
これかな
728:１３２人目の素数さん
20/02/15 06:42:55.23 A11V8WdY.net
>>693
＞奇妙なリセット操作
それが必要だからでしょ。
宇宙をより矛盾なく説明出来る様にするのに。
729:１３２人目の素数さん
20/02/15 06:43:55.11 A11V8WdY.net
>>700
解るの？
730:１３２人目の素数さん
20/02/15 08:57:35.93 u9Uvg7Pu.net
SSも勘違いレポート公開したゃうわ、MのIUTも数秘術扱い。
どっちもだめだこりゃ
731:１３２人目の素数さん
20/02/15 10:03:02.68 KBLTjQ/q.net
>>698
今後の数年はイギリスに若手ポスドクが集まるだろうし
フェセンコ周辺での展開次第
何せ「クレジットカードから天気予報まですべてを改善する可能性」ですから
IUTで明日の天気がわかる！
732:１３２人目の素数さん
20/02/15 10:07:11.87 9mYWZzs8.net
>>698
予算とカンファレンスのご都合ですかね
733:１３２人目の素数さん
20/02/15 10:10:59.63 9mYWZzs8.net
>>706
万物に有効なIUTです。
コロナウィルスの拡散予想もわかる！
IUTでウィルス拡大方程式が改善
されたあ～ とか
734:１３２人目の素数さん
20/02/15 10:17:26.93 aP96XPX0.net
すごいな
一般人からしたら二次方程式でさえ何の役に立つのかわからないのに
735:１３２人目の素数さん
20/02/15 10:47:48.23 zDdhCvDB.net
モッチーとBさんてどっちが頭いいの
736:１３２人目の素数さん
20/02/15 13:08:56 wq0VRm4Y.net
>>700
そういう煽りがかえってどんなレベルの人間かを露呈するから面白いな
息切れして類体論勉強した元院生みたいな
737:１３２人目の素数さん
20/02/15 14:58:08 K8KrZ/s0.net
天気予報やクレジットカードって言ってるのは
暗号理論的な側面を崩せる、つまり量子コンピュータの応用どころか
基礎理論に使えるってことを暗に宣言してるだけでしょ
738:１３２人目の素数さん
20/02/15 15:02:38 4w6bEa3f.net
暗号理論で言うとBSD予想の方が関連深いだろう
739:１３２人目の素数さん
20/02/15 15:12:16 KBLTjQ/q.net
現実的には量子コンピュータなりへの応用へ繋がるまで
数論の今の現状からどれほどの時間がかかりそうかくらいは
本当はある程度は試算しておかないといけないわけで「いつかは役に立つ」
「応用が見つかってから飛び込んでも遅い」ばかり言ってたら信じてもらえない
天気予報だクレジットカードだと吹かしてたら次世代の人は困る
iPSですら山中の基礎理論から実用まで時間がかかりそうだとわかってきて
縮小されそうなところに来ており山中先生本人にもこの点は責任があるはず
740:１３２人目の素数さん
20/02/15 15:14:18 7oY993H/.net
まあiPSはIUTほどはひどくないが、国内世論操作をしてESより役立つとかいうデマを広めてるからなあ。
海外ではiPSはESの代替とならないとされていることを考えると、
国内で騒がれてるだけで海外では冷ややかな評価という点では似ているところがある。
741:１３２人目の素数さん
20/02/15 15:27:08 wq0VRm4Y.net
>>713
文脈的に暗号と言ってるだけなんだろうけど、BSDを解決する理論の応用ポテンシャルは
高が暗号なんてレベルじゃないだろうね。目先の金儲けなら暗号は重要だけど
フェセンコの政治活動は生暖かく見ていたいけど、元々才能はある数学者なのは確か
今や何をしてるのかよくわからん人に
742:１３２人目の素数さん
20/02/15 19:05:32.62 Uy1throz.net
高が暗号なんてレベルじゃないと言いつつ具体的に言えないｗｗｗ
743:１３２人目の素数さん
20/02/15 19:24:52.65 0+Qq3Xw4.net
>>647
食べてたよ。scholzはウェルダン派だから、ミディアムレア派の餅と焼肉屋で折り合いが決定的に悪くなってしまった。
744:１３２人目の素数さん
20/02/15 19:31:16.64 ww+nfsPC.net
4 名前：１３２人目の素数さん 2020/02/15(土) 16:39:01.63 ID:0+Qq3Xw4
大類菌がまた繁殖してる。。。
745:１３２人目の素数さん
20/02/15 20:35:16.65 EU05j8fJ.net
abc予想は楕円曲線の不変量の間の不等式ってことは思想としてはおもんないな
746:１３２人目の素数さん
20/02/15 23:03:57 wq0VRm4Y.net
>>720
ABCは大雑把にはアラケロフを一般化しないと解けない
それだけで十分神レベル。ファルティングスを超えてグロタン神と並ぶことになる
747:１３２人目の素数さん
20/02/16 00:42:14.29 NZ52Aj44.net
森脇先生のコメントは？
748:１３２人目の素数さん
20/02/16 00:42:44.97 b67pnXHs.net
>>721
万能を唱えるわりには
四六時中変異していく
疫病神じゃん
749:１３２人目の素数さん
20/02/16 00:49:03.51 FoEpgFA2.net
モッチー、もう寝たかな
ドラマ見る暇もないって、毎日何してるねん？
750:１３２人目の素数さん
20/02/16 00:54:00.96 b67pnXHs.net
IUT論文の修正だろ
751:１３２人目の素数さん
20/02/16 01:15:50.20 vG4o6vuo.net
もっち、バレンタインチョコもらえたかな
752:１３２人目の素数さん
20/02/16 03:58:30.93 KJ/BtONc.net
そもそも1/2がリーマンに関係してる可能性があるって話はどうなったの？
宇宙際メリン変換ができれば証明できるとかゴーが言ってなかったか
753:１３２人目の素数さん
20/02/16 04:17:43.64 k2GjgKlK.net
> IUT論文の修正
slightly modified ばかりなのはわかるけど、>>702 みたいな話もあるから
論文には revision 番号をつけるといいと思う。
github 使うとか
754:１３２人目の素数さん
20/02/16 10:38:18.76 7GSc4Zu8.net
>>726
ひとみんさんはチョコ寄贈も自粛せざるをえなかったほど接近禁止令なの...？
完全ﾆ💔嫌ﾜﾚﾃﾙ...？。(つД<。)゜。
755:１３２人目の素数さん
20/02/16 10:42:34.21 7GSc4Zu8.net
もっち
「え？Jin？
またあのス★ー☆ーか...」
悲ｼｽｷﾞﾙ...゜。゜(°ノД<)゜
756:１３２人目の素数さん
20/02/16 10:47:12.14 7GSc4Zu8.net
゜。 ＊゜ 。
゜＊。゜ﾋﾄｺﾞﾄﾄｵﾓｴﾅｨ...
757:１３２人目の素数さん
20/02/16 10:58:21.28 zNr7AEsm.net
>>728
arxivに投稿すればいいのにね
あ、修正が多すぎて対応できないかもしれない
758:１３２人目の素数さん
20/02/16 11:07:23.61 zNr7AEsm.net
>>722
森脇本を読んだだけだが、
アイデアが必要 でしょ。
ショルツが望月星とミーティングの後
IUTはabc予想につながるアイデアがない といった。
759:１３２人目の素数さん
20/02/16 11:15:55.72 eAO2S34J.net
すごく根本的な問題として「宇宙の公理を認めた場合にその公理系でのabc予想は、
従来言われていたabc予想と同一なのか？」というのがあると思うんだよね。
760:１３２人目の素数さん
20/02/16 11:19:15.81 Pp/fBc5r.net
Vojta's conjecture は、
ht_{E} ≦ (1+ε)( log-diff_{F} + log-cond_{E}) + constant
IUT で導いたのは、
ht_{E} ≦ ( log-diff_{F} + log-cond_{E}) + constant + constant_1 ( log-diff_{F} + log-cond_{E}) ^1/2 + ε + constant_2
761:１３２人目の素数さん
20/02/16 11:40:17.89 zNr7AEsm.net
>>735
その予言はどこに書いてあるの？
ソースを貼ってくださいね
762:１３２人目の素数さん
20/02/16 12:44:42.12 Pp/fBc5r.net
>>736
出回ってるサーベイ
763:１３２人目の素数さん
20/02/16 13:50:55.05 eAO2S34J.net
>>735
俺が言ってるのはそこじゃない。
公理系が集合論的に違うのに上と下の不等式で使われてる用語が同義であると言えるのか、
という話。
764:１３２人目の素数さん
20/02/16 15:26:16.19 n60V7Eig.net
>>727
前もそれ書いたけど、元々テータ関数論で1/2は出てくるわけで、
誤差項の計算ってテータ関数や二次形式まわりの計算なんであって、果たして本当に
全く新しい発見なのかなっていうね
765:１３２人目の素数さん
20/02/16 17:11:38.14 IBu17nvw.net
>737
なんだ ソースを貼れないのか
766:１３２人目の素数さん
20/02/16 23:39:46 Pp/fBc5r.net
>>738
公理系が集合論的に違う？
詳しく教えて
767:１３２人目の素数さん
20/02/16 23:46:32 r1S86Lmk.net
しかし冷静に考えてみてほしい
一般の数学者は既に全くこの理論にエキサイトしていないのである
とっくに終わっているのである
768:１３２人目の素数さん
20/02/16 23:59:54 GaiwtJDf.net
万一もっちー論文が正しいとしても
ABCの別証明に向けて動くだろうしな
769:１３２人目の素数さん
20/02/17 00:37:56.79 h/o4B8+O.net
モッチー、おやすみ///
今日も論文修正お疲れさま///
770:１３２人目の素数さん
20/02/17 06:10:43.88 AUkMTN6a.net
zfcと独立か否か
771:１３２人目の素数さん
20/02/17 10:17:20.63 GckCFLdL.net
>>745
そこだよね。
ZFCと独立ならSSの批判は的外れなのかもしれない。
だけどZFCと独立の理論で、これまでZFC上で議論されていたabc予想が解けたというのは、
意味がまったくない可能性がある。
772:１３２人目の素数さん
20/02/17 10:19:16.83 GckCFLdL.net
そもそもZFCから独立した数学にどういう意味があるのかも不明だし、
「俺理論上は解けているんだ」という主張では仮にその「俺理論内での整合性」
とやらが担保されていても意味はないよね。
773:１３２人目の素数さん
20/02/17 12:08:06.30 AstdSosS.net
既存数学は一神教
望月数学は多神教
一神教から見れば多神教はナンセンスになっちゃう
774: 多神教から見れば一神教は柔軟性に欠ける 誰が決着つけんだろうな
775:１３２人目の素数さん
20/02/17 13:03:05.40 GckCFLdL.net
>>748
最終的にはapplyできる先がどっちが多いか。
ZFCには多大な蓄積がある。
望月数学にはない。
776:１３２人目の素数さん
20/02/17 13:18:02.50 aQIsjkEG.net
最終的には餅が勝つから
777:１３２人目の素数さん
20/02/17 13:22:40.96 E7KtmCdH.net
ぐだぐだいうアホが多いが2100年には決着ついてるから
アンチはその時になって吠え面かくなよ
778:１３２人目の素数さん
20/02/17 16:21:02 KKzZ0RZo.net
その頃にはIUTを使って寿命も延びてるからね
779:１３２人目の素数さん
20/02/17 16:42:15 cIuEOjoo.net
その頃にはもっちんも131才か
百ひくとまだ31才、ピチピチの若手だね
780:１３２人目の素数さん
20/02/17 17:15:18.67 Nzms6mON.net
白い方が勝つわ
781:１３２人目の素数さん
20/02/17 17:50:02 /FlRo837.net
Dupuyの布教活動は上手く行ってないのか？
782:１３２人目の素数さん
20/02/17 19:01:50.65 ZoPjSHJ3.net
>>748
そういう議論にしたがる奴がいるが、
単純に既存数学が正しく、望月のは正しくない。それだけ。
783:１３２人目の素数さん
20/02/17 19:07:53.47 ZoPjSHJ3.net
>>745
そういう問題ではない。
望月のは単純に間違い。
じっさいのところ、ZFCを超えた証明のため、その証明を認めるかどうかでもめるという事は
まずないと思うよ。
仮に将来、本質的にZFCを超えた証明が現れたとしても、その証明は最初から誰もが正しいと認めらるだろう。
、
むしろ逆に、ある程度時間がたってから数学基礎論者によって、その数学が実はZFCを超えたものであることが確認されると思う。
784:１３２人目の素数さん
20/02/17 19:44:39.12 32zc0Mzi.net
科学者やまともな素養がある人はみな小保方がトンデモだとわかっているが、
当時、飲み屋に行くと「俺は小保方さん、正しいと思うよ。頑張っているじゃん！」
とか言うわけのわからないオヤジが多かった。
IUTもそれと似たものを感じる。
785:１３２人目の素数さん
20/02/17 20:05:46.33 E7KtmCdH.net
B本の読者たちか
786:１３２人目の素数さん
20/02/17 21:33:28.60 8ZVoVySK.net
つまり、まずは非形式的に数学界に受容され、次いでそれが形式化される過程で
新たな黙示の前提が抽出され、公理として明示的に追加される、
みたいなシナリオか？
787:１３２人目の素数さん
20/02/17 22:53:05.38 nQZmFanv.net
普通はそれだよね。IUTはそういうプロセスに乗っていない。
788:１３２人目の素数さん
20/02/17 22:58:32.48 hkdr8Efh.net
なんか話の流れがどえらい方向に行ってるけど？
iutの議論の中にはzfcからは証明できないのがあってどうこう言う話になってるの？
だとしたら具体的にどの議論のどの主張がzfcから独立なん？
その主張のzfcとの無矛盾性は大丈夫なん？
789:１３２人目の素数さん
20/02/17 23:00:31.66 O59YR9U1.net
>>762
前提として>>585
790:１３２人目の素数さん
20/02/17 23:12:45.52 AUkMTN6a.net
初期の段階では、通常の集合論では出来ないと望月本人が言ってた
ただ対して山下は通常の数論幾何と思ってよいと言ってる
うむむむむむ。。。。。。
791:１３２人目の素数さん
20/02/17 23:20:50.92 l47ysur2.net
まぁ別にzfcでは表現しにくい話があるなら新しい論理記号でもなんでも追加するのはいいと思うけど。
その新しい理論がzfcから見て保存拡大である事が示せれば文句なし。
そこまでは無理でも新しい理論の無矛盾性がzfcの無矛盾性を仮定すればでてくるなら少なくとも意味はある。
どっちも示されてないのでは流石に意味ない気はする。
792:１３２人目の素数さん
20/02/17 23:41:51.45 E7KtmCdH.net
「IUTは正しい」を結論にして考えだすといろいろ大変なんでしょうなあ
793:１３２人目の素数さん
20/02/18 00:46:04 y3hHq5mR.net
アイデア自体はZFC云々より第一に幾何学的なもの。ただし幾何学で閉じていない理論ではあるが
本人はZFCがどうとかってところからは出発してないはず。その辻褄は副次的な問題だったから
結構適当になっちゃったとw
しかも、むしろ大まかにでもアイデアがわかると、今度は何でIUTはおかしいのだろうか、という方が
難しくなる。つまり、普通はSSより望月側に寄るもんだと思う。ある意味で
現実にはそこまでいかなかった数学者が大半。アイデアすらよくわからないまま距離を置いていた
下手をするとショルツも元々の「動機」はあまりよくわからなかった可能性はある
不等式ではなく理論的な動機は
それでも彼なりに理論内容を処理したらナンセンスだと見たと。この辺が真相じゃないかな
794:１３２人目の素数さん
20/02/18 00:50:40 /WpCgkUi.net
ぶんさんがIUTは般教になりますたて呟いてる
もっちーの大勝利！？
795:１３２人目の素数さん
20/02/18 01:06:50 y3hHq5mR.net
一見擁護に見えるわけだけども、個人的にはSSはやっぱり結果的には正しいだろうと思うね
K川氏が理論はわからないけどSSはお粗末だと言ってるとか言われるけど、結果的には大まかにSSは
正しいでしょってリアルでも言えるレベル
これは典型的に、木を見て森を見ずというか、頭良すぎて複雑なアイデアに囚われて
単純なミスに気付かなかったパターンだと思う。勿論、問題意識はある程度は正しいんだけどね
796:１３２人目の素数さん
20/02/18 03:27:28 gYKyEsAg.net
> 単純なミスに気付かなかったパターンだと思う。勿論、問題意識はある程度は正しいんだけどね
早稲田理工の数学入試ミスか・・・
797:１３２人目の素数さん
20/02/18 06:08:48 tERo6Pas.net
>>769
意味不明。日本語でおけ。
798:１３２人目の素数さん
20/02/18 08:15:17.16 ebl32+JT.net
僕はIUT周辺の理解者とおぼしき人達が、SSの反論以降も
離反した形跡が見られないことから、かなり正しいんじゃないか？と期待してる。
799:１３２人目の素数さん
20/02/18 09:06:13.58 aPCAXVEj.net
Rimsの人間が離反出来るはずねだろ
800:１３２人目の素数さん
20/02/18 09:12:09.65 QPTH8Coi.net
>>768
じゃあこのスレに来てる人達、
もう、現代っていうか・・・
過去の数学人になっちゃったんだね...(遠い目)
もっち以前 現代数学
もっち以後 ポストモダン数学
801:１３２人目の素数さん
20/02/18 09:29:27.96 WcU9R1oc.net
もっち最高！
802:１３２人目の素数さん
20/02/18 09:40:01.42 bNXlKSy0.net
この世の数学者には二通りしかない
もっちか、もっち以外か
803:１３２人目の素数さん
20/02/18 09:40:18.41 HKN/6zUW.net
>>767
IUTに重要なアイデアなんてないでしょ。
これはタオがペレルマンのときとちがって論文を読んでも刺激されない、
ペレルマンのときは最初の数ページを読んだ時点でこれが重要なアイデアだとわかった、
と言ってるとおり。
804:１３２人目の素数さん
20/02/18 10:55:20.51 vjpbu6HK.net
>>776
モーランドかよｗ
805:１３２人目の素数さん
20/02/18 12:23:39 tERo6Pas.net
つかSSの反論って、理解者どころか、準理解者のTやKにさえも糞味噌にいわれてるのよね
これが事実よね
ほんとSS反論レポートって罪深いわ
806:１３２人目の素数さん
20/02/18 12:51:21 I9tw59Mn.net
>>779
同じことばっか言ってるけど、それで出てきた反論は望月レポートだけしかないし、
その応酬自体ある程度は議論が噛み合ってるわけ
しかも、そんな単純なミスだったら他に読んでる数学者が参入してくるに決まってるよ
望月レポート以外反論できないってことは理解者は弁護できないってこと。散々尽くされた話じゃん
807:１３２人目の素数さん
20/02/18 12:55:57 EfZS+evh.net
>>776
数秘術か 数学か
占いか 証明か
808:１３２人目の素数さん
20/02/18 15:35:41.82 Ru3jYATE.net
「SSは間違っている！わかってない」と叫んだところで
どうにもならんことがわかってないんだろうな
809:１３２人目の素数さん
20/02/18 16:06:45.39 wF
810:iQ9/wX.net
811:１３２人目の素数さん
20/02/18 16:27:13.38 06v9pOD9.net
普通に論文書けばいいだけじゃないの？
数学なんてアイデアを思いつくのは難しくても思いついたアイデアを伝えることについてそんなに難しいわけがない。
もちろん一から百まで細かく細かく説明したらきりがないのである程度間引いて書くことになるけど、どれくらいなら間引いても相手に伝わるかなんて見極めが五十にもなってわからんハズなどない。
わかってもらえなかったら空いてる行間縮めるだけ。
そんな事が7年？8年？もできないなんてあるハズもない。
普通の研究者はもう失敗してるんだろと思ってるよ。
812:１３２人目の素数さん
20/02/18 16:37:20.36 HKN/6zUW.net
>>783
着想なんか聞いてもしょうがないんだけどね。
813:１３２人目の素数さん
20/02/18 17:03:22.45 D4HCgAUX.net
いいえ、ぜひ聴きたいです！
もっちんのロマン溢れる着想から実現に至るまでの物語を。
814:１３２人目の素数さん
20/02/18 17:30:01.84 Ru3jYATE.net
着想「まず焼肉を食べます」
815:１３２人目の素数さん
20/02/18 17:37:46.63 ttbBmaMU.net
>>786
もっち様はすっごくprettyですよね♪
816:１３２人目の素数さん
20/02/18 17:38:43.64 ttbBmaMU.net
あげてました...すみません。
817:１３２人目の素数さん
20/02/18 19:19:42 GKS+xewm.net
すみませんじゃねーよ、jin
818:１３２人目の素数さん
20/02/18 19:38:19 460TpSiK.net
こんな糞スレがもっち様の目に入ったらどうするんだ
819:１３２人目の素数さん
20/02/18 19:52:08.64 gZLT2Rfr.net
副産物がでてないよね
820:１３２人目の素数さん
20/02/18 20:08:27.15 dTJCWriH.net
そろそろ望月先生には新しい論文を書いて欲しいですね。既存の作品の改稿ばかりでなく。
821:１３２人目の素数さん
20/02/18 20:09:15.89 Ru3jYATE.net
IUTが正しかったと仮定してもっちはあの論文で全精力使い果たしたとしても
数学者人生としては素晴らしい
周辺の自称・理解者「レジェンド10（笑）」はサーベイだけでまだ何もやってない
「やったやった」「セミナーで進展した」「おまえら何も知らん」ばかりで論文が出てこない
822:１３２人目の素数さん
20/02/18 20:10:41.18 Ru3jYATE.net
>>793
次回作はInter-Inter-universal geometryだな
宇宙際幾何学を超えた伝説の超宇宙際幾何学ゴッド
823:１３２人目の素数さん
20/02/18 20:22:58 I9tw59Mn.net
>>791
10年前なら「ハッハッハッ実に下らない！出来損ないばかりじゃないか！」とか言いそうな見た目だったが
最近では「はあ…」で終わりそうなくらい疲れてそう
824:１３２人目の素数さん
20/02/18 20:54:45 HRs23WQ+.net
>>777
ペレルマンの10数ページの論文と、iutを比較するのがまずおかしい
825:１３２人目の素数さん
20/02/18 21:08:24 ndg94+9k.net
iutはおかしい
826:１３２人目の素数さん
20/02/18 21:13:26 YbU/W9fG.net
>>797
ペレルマンは最初のほうで自分のアイデアのわかりやすくかつノントリビアルな成果で示している。
IUTはabcを解けたというあやしい部分以外になにも成果がない。
タオが言ってるはそこ。何ページ読んでもIUTでなにができるのかが不明瞭。
827:１３２人目の素数さん
20/02/18 21:39:13 Ru3jYATE.net
>>798
焼肉はおいしい
828:１３２人目の素数さん
20/02/18 21:41:34 Ru3jYATE.net
>>799
＞ペレルマンは最初のほうで自分のアイデアのわかりやすくかつノントリビアルな成果で示している
こういうの大事だよね
日本人の講演は最初準備ばっかりで何を言いたいかわからんものが多いと
初めてアメリカに行った時に指摘されて以来俺は気をつけるようにしている
829:１３２人目の素数さん
20/02/18 22:35:44.69 2FCuvFI+.net
>>794
もうすぐでるよー
830:１３２人目の素数さん
20/02/18 22:50:14 eZS03N1p.net
>>802
共著？
831:１３２人目の素数さん
20/02/18 23:06:45.98 WUkWanFk.net
>>790
Jinさんじゃないです。
832:１３２人目の素数さん
20/02/18 23:07:35.68 WUkWanFk.net
ただの餅さまのファンです。
833:１３２人目の素数さん
20/02/18 23:39:44.60 /WpCgkUi.net
>>804 餅様のどこが好きなのかね
835:１３２人目の素数さん
20/02/18 23:50:30.81 8xjWAloB.net
>>806
独身なとこと、お天才なとこですねぇ！
あと名前が「餅」。他人事と思えない...
836:１３２人目の素数さん
20/02/18 23:52:11.83 8xjWAloB.net
ID変わっちゃいましたけど、餅ファンの書き込みさせて頂いた者です。
837:１３２人目の素数さん
20/02/18 23:53:30.12 I9tw59Mn.net
>>801
IUTはそういう口下手ともちょっと違うというか
むしろモチベーションとか何故ABC予想に関係あるのか、かなり親切に書いてる部類
それでも電波に見えるからこうなったわけで
大体お題目通りだから、やってることは
838:１３２人目の素数さん
20/02/18 23:54:21.36 I9tw59Mn.net
>>807
リア充がどうとか言ってる人？
839:１３２人目の素数さん
20/02/19 00:02:45 T5k5TB3D.net
>>810
リア充はシュルツ教授ですよね？
840:１３２人目の素数さん
20/02/19 00:23:34 wAT7qToE.net
しかしスペシャルイヤーにコロナとか
とことん持ってないなwwwww
841:１３２人目の素数さん
20/02/19 00:24:09 pHi2lE2X.net
もっちー、おやすみ
IUTが認められてみんなに絶賛されてるようないい夢見てね
今日も１日お疲れサマンサ
842:１３２人目の素数さん
20/02/19 00:30:06 9oueISnE.net
>>807
professorTAKUROだったら笑う
843:１３２人目の素数さん
20/02/19 01:04:17.19 31eA0fZN.net
>>787
横レスですが、
ZFCについて、かなり昔で、2012年に Terence Taoが「IUTT-IVの最後の部分で、
Section 3（page 43)のリマーク 」で、望月が「グロタンディーク集合論によるZFCの拡張である」と
主張しているところは精確ではないと、下記ブログで書いてたが。
URLﾘﾝｸ(quomodocumque.wordpress.com)
でもTerence Taoが、同じブログに「ABC予想に関してはSection 2までに証明されているから、
abc予想の証明には関係ない」と書いてた。
他で指摘があるのかな？