638:１３２人目の素数さん
19/06/21 23:51:41.38 FDWo8Z6f.net
IUTに関して言えば、実は私も抽象化による情報の欠損とは思えないんですよね
正確に言えば、forgetting“histories of operations”をしたいがために、
ゴリ押しで忘却関手による情報の欠損を強調しているだけのように見えます
だから、自己同型や充満、極限、余極限のIUTでの扱いが問題視されているわけで、
望月は圏論に詳しくない、或いは恣意的に使っているだけだと思われているわけです
IUTコミュニティからすれば、「新しい圏の幾何学」を創造したということになっているのでしょうけど・・・
639:１３２人目の素数さん
19/06/22 10:10:36.13 ZTY1E/5h.net
>>597
あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
レスの全体で話をしてるのに一部だけ抜き出して、しかも全体を全く理解していないよな
情報量は増えもするし具体性も無くなる、という意味が理解できないわけでしょ
具体例？自分がわからないだけだろ。代数幾何にすら典型例があるのに思いつけないからイライラとはw
とにかく馬鹿なのはわかったから話しかけないでくれ
640:１３２人目の素数さん
19/06/22 10:13:54.96 ZTY1E/5h.net
抽象化とは何かじゃあ説明してみろ、と言ったら>>596みたいな予防線張って逃げるしねw
粘着しないかちゃんと反論するかどっちかにしろよ
641:１３２人目の素数さん
19/06/22 10:22:39.08 gp4l6jKK.net
＞あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
そんなの当たり前じゃん何を今更
642:１３２人目の素数さん
19/06/22 10:26:11.09 pfGjiMe9.net
>>601
だから数学は論争には向いてない。
他人の出した問題を解くな、が正しい姿勢なのだから。
643:１３２人目の素数さん
19/06/22 10:37:02.01 tEi3uyRE.net
数学そのものの議論でも「分かりやすさのために厳密さは捨てました」「世間は知りませんが私はこう定義します」で大体回避できるからな
644:１３２人目の素数さん
19/06/22 10:54:49.08 oupCEudc.net
ストーン双対性は一般的な話だが、ある種の抽象と具象のトレードオフ関係は
幾何学のみならず論理学や他にも当然見いだせるよ
比較的新しい理論でも、対象の抽象化によってある構造や性質が消える、という典型例が複数ある
勿論だからといって適切な抽象化の価値が減じるという意味ではない
情報の欠損というのは「相対的」な話だと何度も言っている。同時に抽象化の効果も「相対化」にある
主題はある特殊な情報が一旦消え、再構成される、IUTはどうかという話なんだが全くわかってないねw 全くね
645:１３２人目の素数さん
19/06/22 11:02:49.24 pfGjiMe9.net
わかった。抽象で情報が失われると言ってるのは、抽象というより捨象の話をしているんだな。
そりゃ捨てれば失われるわ。
646:１３２人目の素数さん
19/06/22 11:51:01.60 tbBksjLk.net
> 対象の抽象化によってある構造や性質が消える、という典型例が複数ある
> ある特殊な情報が一旦消え、再構成される
良い質問になってるかどうか不安なのだが、後者にもアナロジーとして
使えそうな典型例はあるの？
647:１３２人目の素数さん
19/06/22 11:58:50.93 oupCEudc.net
>>606
そうだね。抽象化には捨象が伴うが、適切な抽象化は結果的に相対化して情報量は増える
だけど、そういう時には大体理論を作り直さなきゃならないんだよ
スキーム論もホモトピー代数幾何もそういう流れになってる
アブストラクトナンセンスっていう言葉はそういうトレードオフの緊張関係、バランスに関わってる
648:１３２人目の素数さん
19/06/22 12:25:05.17 pfGjiMe9.net
>>608
いや、「アブストラクトナンセンス」は具体例や歴史を踏まえた上で、具体例と切り離して書いてるからそう見えるだけ。
649:１３２人目の素数さん
19/06/22 12:49:39.79 oupCEudc.net
>>607
日常的なレベルで言ったらコンビニもアマゾンも脳も全て、具体的な機能を捨ててから
一般化して最適化する仕組みだよ、納得してくれるかわからないが
具体的な自然言語を忘れてユークリッド幾何を考えるのもそうだし、
位相空間や線形性によって個別のユークリッド空間を忘れて再編成するのもそうだし、
非可換幾何学で具体的な位相空間を一旦忘れてから特殊な極限として古典空間を考えるのもそうだし、
ある対象より広い抽象化を考えてコンパクト化して埋め込んで調べやすくするのもそうだし、
ザリスキ位相を一旦相対化して、より良い条件で、つまり豊富な開集合を構成するために
グロタンディーク位相を考えるのもそれにあたるし、スキームに対するスタックも似たような理由で生じた
プログラミングでも、具体的な言語で書かれたプログラムをまとめあげるために、より抽象化された言語で
再定位するという理論が最先端の研究で進んでいる
但し、使えるアナロジー云々というより、数学では何らかの必要に迫られて馴染みある構造を捨ててから
改めて対象を考え直す傾向にあるね
650:１３２人目の素数さん
19/06/22 13:08:21.62 pfGjiMe9.net
白馬非馬論でしかないように思える。
651:１３２人目の素数さん
19/06/22 15:32:55.33 lGw7BBQy.net
>>605
なにを表現対象とするか、じゃない？
要するに具象とは色んなものの表現になっているからごっちゃというか雑然としている
抽象と具象をわけるものというのは雑然さに求めるべきだと思う。
あるものの双対表現がただひとつという具象なんてないわけだし。
652:１３２人目の素数さん
19/06/22 23:57:51.26 hvkJoB3P.net
IUT（によるABC予想の証明）というのは、言い方が悪いけど数学における脱法行為の塊のように見えるんだよね
単遠アーベル的復元/再構成での忘却関手による情報の欠損や体としての非同型、つまり充満多重同型とラベルの必要性
またその論理を定式化したという種の言語と突然変異の論理、これはグロタンディーク宇宙にまたラッセルのパラドックスを
導入し、その矛盾を種の言語と突然変異によって解消することにより、ループ状入れ子式宇宙ができるとの主張
どう考えても自然な論理ではないし、不可避でも必然的でもない
同じく言い方が悪いが、>>440と合わせて考えると、言葉の正しい意味で確信犯的に見える
653:１３２人目の素数さん
19/06/23 03:10:09.61 X+MnbPuM.net
国語力の低い書き込みが多くて頭痛くなるな
654:１３２人目の素数さん
19/06/23 05:39:25.39 g3m51mYe.net
匿名掲示板の長文番長なんて世間で相手にされてない奴らだからな。
655:１３２人目の素数さん
19/06/23 05:44:05.23 UQ3xIBOj.net
と、サル山界隈では賑やかなようです
656:１３２人目の素数さん
19/06/23 08:24:52.46 vXet6vWC.net
>>616
それぐらいの短さで頼むわ
657:１３２人目の素数さん
19/06/23 08:33:18.20 ACG812oK.net
Mは圏論を理解できなかったんだね
658:１３２人目の素数さん
19/06/23 09:20:13.66 xRArnFnh.net
>>615
結構適当に書いてるのは認めるけど、匿名にしかやり場がないってのは外れてるな
これでもかなり
659:言いたいことを抑えてるから ついでに言ったら捨象という表現も本当は不十分だけど、より良い言い方を書くほど親切ではないしな まあ数学での抽象化による効果、意義は簡単な問題ではない。自己レス>>610にもちょっと不満があるし >>613 「消してずらして埋める」という感じですね。それで、言うほどには格子の論理には必然性がないとは思う 「多重充満同型とかは必要ない」というのは動機がIUTでは代数幾何、スキーム自体の一般化なので、個人的には 言い切る自信はないんだが、フレームワークを実現するために強引な仕組みを使ってる感じというか 反論とまでは行かないんですが、本来のスキームではなくスキーム論的なデータがIUTの狙いですので その論文との関連性はまだ少し慎重に見たいと思います
660:１３２人目の素数さん
19/06/23 09:33:59.38 wnxnvo5O.net
圏論とは何か？
第1の近似としては 圏論とは写像のなす
抽象代数の数学的研究であるといえる。
まさに群論が集合の置換や幾何学的対称性
のなす体系という考え方を抽象したもの
であるように。
抽象代数の一分野である圏論は”許容された
変換”という言葉によって異なる種類の
数学的構造を特徴づけて研究する方法と
して、フェリックス. クラインのエアランゲン. プログラム の伝統を引き継いで考案
された。
圏論の一般的な概念は”構造を保つ変換”
の概念の特徴づけを与え、このような
変換を許容する構造の、ある種の特徴
づけを与える。
1945年 アイレンベルクとマクレーンの
”自然同値の一般論”は圏論が初めて確立
した原著論文であった。
by Ｓteve Awodey
661:１３２人目の素数さん
19/06/23 09:43:06.91 xRArnFnh.net
存在と復元の基盤についてはbi-coricな文脈での関手性がその部分になってると思いますね
乗法→加法
正則→非正則
に渡り局所ー大域アルゴリズムの核性が成立するというものだったと思いますが
その上で宇宙の族（species）、コレクションを一斉に示し評価していると主張している
望月氏や弟子は本来なら、非遠アーベル幾何学的なスキームの一般化とIUTの対応関係を研究するべきだろうな
そういう認識はしているようだが、本格的にやろうという意思はあまり感じられない
662:１３２人目の素数さん
19/06/23 09:47:11.47 xRArnFnh.net
>>621
厄介なのは、こういう純粋に圏論的な抽象化理解にはIUTが収まらないことなんだけどね
国語力が達者らしい方に論じてもらえるとありがたいんだけど
663:１３２人目の素数さん
19/06/23 09:49:29.06 CukGSETM.net
G構造の幾何学がエルランゲンプログラムの正嫡じゃないの？。
664:１３２人目の素数さん
19/06/23 12:46:36.94 wnxnvo5O.net
>>620
追記します。
再記
Robertsレポート
>there are a number of things that Mochizuki
writes that feel to me like vestiges of ‘material’
thinking.
Here by material thinking I mean,
in opposition to structural thinking,
the platonic attitude that specific
representations of objects matter and makea
difference to the mathematics
>At times Mochizuki’s examples are formulated
so that the structural content is unclear (mostly
because the required categories are not
supplied), and at times they are expressed
in a material way, but with an underlying
structural i
665:dea obscured by the jargon.
666:１３２人目の素数さん
19/06/23 19:28:53.23 AhXc06ZK.net
Nスぺがぽシャッタことがすべてを物語ってるね。
IUT理論の肩を持つ専門家をほとんど見出すことができなかったってことだろう。
望月本人と、査読して「本質的な間違いはない」などと言ってしまった連中が
強弁を続けてるだけのこと。
667:１３２人目の素数さん
19/06/23 20:16:42.03 IOa/5HHQ.net
>>625
RIMSのHPに、いろいろな情報が公式にupされてますね。
次世代幾何学研究準備センター センター長 望月新一
次世代幾何学研究準備センター 併任教授 玉川 安騎男
次世代幾何学研究準備センター 併任教授 望月 拓郎<URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
次世代幾何学研究センター 特任教授 柏原 正樹
次世代幾何学研究センター 特任教授 森 重文
<URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
訪問滞在型研究リスト
2020年度 宇宙際タイヒミューラー理論の拡がり
組織委員長：望月新一（京都大学数理解析研究所）
組織委員：星裕一郎（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎（東京工業大学）
加藤文元（東京工業大学）
栗原将人（慶応義塾大学）
志甫淳（東京大学）
<URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
668:１３２人目の素数さん
19/06/23 20:22:29.37 uvWUBjrw.net
森重まだ現役だったのか
669:１３２人目の素数さん
19/06/23 20:33:09.97 UtlVJED+.net
談話会の雑談で擁護するのとテレビ出て擁護する意見言うのでは話しまるで違ってくるからな。
670:１３２人目の素数さん
19/06/23 21:05:19.84 NPqZngTv.net
革命擁護アメーバゾンビ細胞太鼓持ち隊のしつこさと面の皮の厚さを発揮するのはこれから
671:１３２人目の素数さん
19/06/23 21:11:34.77 NPqZngTv.net
１週間もしないうちにアンチの勉強不足が～とかいいだすからな
どうせバカBの講演アニメでも「正しいかどうかは重要じゃない！新しいパワーが必要なんだーっっっッッッｯｯｯ！」とか主人公キャラクターが叫んで拍手喝采狙いなんだろよ
672:１３２人目の素数さん
19/06/23 22:11:27.72 CdZ36JIC.net
>>626
アメリカ数学会とか世界の数学会で講演とか連続セミナーとかしないのかな
673:１３２人目の素数さん
19/06/23 23:18:21.21 bdQEe2KZ.net
>>619
IUTに関しては「匿名にしかやり場がない」というのは私にとっては事実ですよ（笑）
望月の言葉をもじって言えば「IUTは数学界において事実上ゴミ」扱いで、IUTはOUTという認識がほとんどじゃないですかね
それぐらいSSレポートにはインパクトがあり、IUTコミュニティの反応の悪さ（遅さ）がそれに拍車をかけています
真剣にIUTについて話せる場なんてないですよ。実は私もそんなに真剣ではありません、暇つぶしです（笑）
私にはIUTが「代数幾何、スキーム自体の一般化」とは思えないんですよ
格好つけて言えば、IUTはそれらを脱構築したつもりなんでしょう。望月自身がエイリアン論文で
「クンマー理論は遠アーベル幾何学に非常に適している」と書いており、クンマー理論+単遠アーベル的復元/再構成をやっているわけです
その結果として充満多重同型というmysterious indeterminate isomorphismになる
この絶対遠アーベルについては>>581の星レポートの通りで、あくまで「手続きを与える」、「復元可能性」に過ぎません
これを中心に据えた論証というのは危ういです。実際、星入門１の冒頭でも似たようなことが書かれています
だ�
674:ｩらSS、特にショルツのような数学者には簡単に切って捨てられる。不可避でもなく必然性もないからです
675:１３２人目の素数さん
19/06/23 23:31:30.46 bdQEe2KZ.net
>>620氏、>>622氏へ
最近、Kevin Buzzardのコメントが話題になっているんですよ
“Equality part 3: canonical isomorphism.”
URLﾘﾝｸ(xenaproject.wordpress.com)
これはcanonical isomorphismsというものが如何に漫然と使われているかということに対する警鐘ですね
結論の方ではFLT証明についても書かれています。それにしてもワイルズの弟子・孫弟子たちは優秀ですね
コメント欄ではHoTTの話も出てきてとても興味深いです
676:１３２人目の素数さん
19/06/23 23:42:39.24 bdQEe2KZ.net
IUTとも関連付けうる話でもあるので、バザードの主張を理解するためにその背景をリンクしておきます
Michael Harrisの、
“Why the Proof of Fermat’s Last Theorem Doesn’t Need to Be Enhanced”
URLﾘﾝｸ(www.quantamagazine.org)
これについてフランク・カレガリも書いており、前半で数学研究にかける予算について、
IUTに対してすごい皮肉を書いています（笑）
“Harris versus Buzzard”
URLﾘﾝｸ(galoisrepresentations.wordpress.com)
ハリスv.s.バザードが6月20日に行われたそうですが、いつか詳細を聞いてみたいですね
彼らにとってIUTは蚊帳の外でしょうが・・・
677:１３２人目の素数さん
19/06/24 00:28:04.77 f3PZH7LT.net
これはポストモダンの方に言うわけでは全くないんだけど、（つまりその他）抽象化に関する反応を見ても、
何が難しいのかわかってる人いないと思うんだよね
情報が消えるって、相対化されて具体的な対象は主題ではなくなるってだけの話なんだよ。当たり前だよね
一旦具体性が消える代わりにより高いレベルで統合されるのが抽象化の重要な性質だ
これは白馬非馬という話とは似てるようでかなり違うんだよ。望月氏も、IUTは個々のスキームよりも
それらを記述するパターンが重要だと言っている。明示的アルゴリズムってのも、
何でそういう話が出てくるのかというと、まさに抽象化の結果なんだよね
情報工学ならオブジェクト部分がスキームで、遠アーベル幾何学はそのプログラミング部分みたいなものだ
特に、アルゴリズムとループ構造については「言語」についての深い洞察が確かに働いているアイデアと言える
言い換えれば、宇宙際性の議論を理解するにはある種の（論理的な）言語理論を必要とする
証明として、理論として十分かどうかはともかく、望月氏の思考力を過小評価するのもまずいと思うね
678:１３２人目の素数さん
19/06/24 00:30:13.74 f3PZH7LT.net
>>633
ありがとうございます。感想をレスするかはわかりませんが、落ち着いた時に読んでみます
679:１３２人目の素数さん
19/06/24 02:09:35.07 crrLyt3u.net
>>635
「ポストモダンの方」と言われるのは心外なので止めて下さい orz
こういうのは『方法序説』（デカルト）+『ドイツ・イデオロギー』（マルクス）で一掃したいぐらいです（笑）
あなたが正確に「具象 - 抽象」と「個別 - 一般」を区別して使用していいることぐらいは分かっていますよ
前スレでも同じような言い争いがあったので、不毛に思えてスルーしていました
望月についてですが、彼は単語の使用についてはかなり意図的です
>>462で書いたように、そもそもガロア圏を舞台にしているので抽象的なのは当然です しかし、彼は自らのテクニックをabstract nonsenseとは書かず、general nonsenseと書いています。これは意図的です つまり、抽象的な設定の下で、一般的にはナンセンスと思われるテクニックを駆使しているのだ、ということです >>358やあなたが書いた>>364のようなことですね
681:１３２人目の素数さん
19/06/24 08:00:01.13 wnhNHrGj.net
>>633
ご紹介ありがとうございます。
証明の厳密さに興味があり、
読んでユックリ考えたいと思います
682:１３２人目の素数さん
19/06/24 08:40:55.72 yNJmyb0o.net
証明の厳密さとは関係なくね
683:１３２人目の素数さん
19/06/24 09:26:14.29 LPCbU7yZ.net
HOTTと関連するしね
684:１３２人目の素数さん
19/06/24 09:55:00.97 x6zhsMGg.net
何か進展ありますか？
685:１３２人目の素数さん
19/06/24 10:52:47.37 4DCiGkOo.net
>>637
>つまり、抽象的な設定の下で、一般的にはナンセンスと思われるテクニックを駆使しているのだ、ということです
この解釈はおかしくないか？
686:１３２人目の素数さん
19/06/24 12:57:41.58 OroOxBDj.net
>>631
3年くらい前ならともかく世界が相手にしなくなってるお
タクロー森柏原がどっかでケツ拭くことになるね
687:１３２人目の素数さん
19/06/24 14:00:49.70 uuvkohNL.net
>数学研究にかける予算
そんな大きな金額が流れる世界なのか
工学的分野から見たら微々たるもんじゃないのか
688:１３２人目の素数さん
19/06/24 14:11:18.22 NOaolMMe.net
おぼちゃんは金額がヤリ玉になったのか
689:１３２人目の素数さん
19/06/24 15:10:13.32 OqcA2rfn.net
>>631
IUT関連の金はアメリカ数学会でも有名
みたいだね
”as long as some really smart
people are committing to work on this
the NSF should get ahead of the curve
and make it a priority” is OK,
“better this than some farcical 10 million
pound grant to study applications of IUT”
is probably a little cheeky but I would accept
it if you put your real name to it
690:１３２人目の素数さん
19/06/24 16:02:00.95 eXMmdC/6.net
>>644
微々たるもんだよ。このスレでは嫉妬してる小心者が繰り返し騒いでいるだけ
だから気にすることは無い
691:１３２人目の素数さん
19/06/24 16:10:23.20 OroOxBDj.net
>>645
おぼちゃんの場合は検証に時間と人を無駄にした
692:１３２人目の素数さん
19/06/24 16:13:01.89 +s701iON.net
そうたよ、研究室だけで一厘オーバーぐらいだろ
くそアニメで一千万超ぐらいだし
693:１３２人目の素数さん
19/06/24 16:44:20.14 qUXHRyLq.net
>>646
年間15億もかけてるの？
694:１３２人目の素数さん
19/06/24 17:06:35.79 ltg2jeyp.net
例の（自己同型の方の）論文に関してですが、仰りたいことは大体わかった（納得した）と思います
ある意味で、ガロア圏の絶対ガロア群（位相群）の同型から遠アーベル射によって引き起こされた
何らかのスキームないしはスキーム論的な圏への関手がやはり単なる同型射だと見ればわかりやすいでしょうね
それで既に明白なのは、写像論的もああいう議論は成り立たない
他方で、コア性について議論する際に、宇宙際の空間から一般化された余極限のようなものを考えたら
成り立ちそうな気もするんだけども、これを更に極限図式として考えるとやはり同型射にしかなっていない
圏論的にはこれは到底成り立たないものだ
695:１３２人目の素数さん
19/06/24 17:13:46.24 ltg2jeyp.net
IUTの評価が難しいのは、スキーム論の遠アーベル幾何学的な文脈による一般化ないしは抽象化が確かに
一見すると成立していることだ。定義された圏は確かに狙いにフィットしている
しかし問題は、これが
696:本当に題目通りの数論的な変形射と見なせるのか、ということだね Q：全く同じとは言えなくとも、何らかの似たような議論を一般化された代数幾何学の設定で行えるか？ →これは確かに可能で間違いない。 IUTの問題は、これを遠アーベル幾何学を利用して半ば即席でやってしまったことだと思う 膨大な大理論のように見えるが、代数幾何学の適切な一般化、超克になっているかどうかは別問題だ
697:１３２人目の素数さん
19/06/24 17:16:29.68 VJriNZVF.net
年間とは書いてないでしょ。
５年だか１０年だかの総額が１千万ポンドということか？
ネットで調べた限り、総額が２百万ポンド以上のgrantをとっているようだね。
698:１３２人目の素数さん
19/06/24 17:24:03.48 ltg2jeyp.net
ここでまた別のポイントなのは、学派の人達は「リンクのアプローチが正当な圏論ではない」のを
開き直っている可能性があるw
そうでなければ無理やり非自明な数論的タイヒミュラー空間を作ることができないからだ
699:１３２人目の素数さん
19/06/24 20:15:34.15 dmbTZF7g.net
[教員公募]京都大学数理解析研究所特定助教
職務内容
宇宙際タイヒミューラー理論を中心とする次世代幾何学の研究を推進すること
URLﾘﾝｸ(t.co)
だそうだ 👀
Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)
700:１３２人目の素数さん
19/06/24 20:22:52.84 VJriNZVF.net
RIMS大丈夫か？
これではIUTとともにRIMSが自滅しかねないよ。
701:１３２人目の素数さん
19/06/24 20:25:06.60 VJriNZVF.net
まさかとは思うが、現状でIUT4部作をacceptしたりしないよな。
ホントにRIMS終わるぞ。
702:１３２人目の素数さん
19/06/24 20:25:30.35 OroOxBDj.net
特任助教くらい大した金ではないんだろうが
今のタイミングだとまあ何か愚痴の一つでも言いたくはなるわね
703:１３２人目の素数さん
19/06/24 20:47:03.10 eXMmdC/6.net
何でだよ？ むしろ優秀な人材がフォローアップする必要性はこのスレでも散々言われてきたことだろうが
その努力の一環にどうしてケチを付ける？
何をやっても気に食わないわけだな、アンチだから
今のまま放置したほうが終わりだろ
前向きな姿勢を示すことがどうして終わりなんだよ？
704:１３２人目の素数さん
19/06/24 21:00:06.19 +s701iON.net
今のカス連じゃ無理ですー宣言なだけでしょ
705:
19/06/24 21:02:59.29 I3XIdcgr.net
>>635
＞アルゴリズムとループ構造については
なんとなくそうおもっただけなんですが、遥か昔の話でもしているのですか？
706:１３２人目の素数さん
19/06/24 21:34:49.82 ltg2jeyp.net
個人的にはIUTを一旦忘れて、代数幾何学のいくつか現代で出てきた拡張に対して基本群と遠アーベル幾何を
一般化する研究プログラムに切り替えたほうがいいとは思うな。軌道修正するなら、特に若手はそうすることだ
他の拡張理論も組合せ論や圏論に非常に適している。IUTは似ているようでいてやはり浮いている
ま、余計なお世話なんだけども
707:１３２人目の素数さん
19/06/24 21:35:04.88 E9AeGmbx.net
南出氏のためのポストか。
708:１３２人目の素数さん
19/06/24 21:54:34.18 ReEh5/N5.net
ビエーロ・ヒトバシラ・ナンデ氏
709:１３２人目の素数さん
19/06/24 22:03:40.82 E9AeGmbx.net
ヤン・ユー氏ももっちーの弟子で博士号だから一流大学でアカポスゲットできるだろう。Mok氏がいる台湾に行くか。
710:１３２人目の素数さん
19/06/24 22:11:08.57 oPn15zvn.net
こんな時期に箔付けロンダリングで広告塔に利用されていいようにされるなんて
711:１３２人目の素数さん
19/06/24 22:15:15.47 IvS0cUus.net
白黒つけるポストなら面白いんだがそうじゃないとは
712:１３２人目の素数さん
19/06/24 23:42:07.82 OroOxBDj.net
>>660
ワイルズの時
713:のテイラーがいればねえ・・・ >>662 周辺の話題を強化する方が長い目で見て健全だろうね
714:１３２人目の素数さん
19/06/24 23:44:24.69 crrLyt3u.net
>>652
そうです。一読するとIUTは成立しているように思える。クンマー理論+単遠アーベルが上手くフィットしているように見える
クンマー理論という枠組みを使って単遠アーベル的復元/構成を実行し、充満多重同型という「エキゾティックな同型」
（コンラッドの表現）が成立しているように見える
しかし、実際は枠組みと手続き（復元可能性）が逆転しており、「可能性」にすぎないものを確実なものにすり替えているのです
それが数学者たちの困惑であり、SSがその中身を暴いてクリアにしたわけです
あなたが以前書いていたように、IUTはその数学思想、つまり望月の着想・アイデアを見るべきなのです
根本にあるのはアナベリオイドの幾何学、アナベリオイドによる「基点を動かす」というアイデアです
望月のIUT初期構想の講演原稿には（どれか忘れましたが）、「遠アーベルの絶対版が欲しいが、難しい、不可能だろう」と
書かれていました。それでも彼は努力して完成させた。しかし、出来上がったものは>>581で書いたように、
"所望の手続きを与える"ことが目的で、復元“可能性”でしかありませんでした。それを彼は確実性にすり替えたのです
さらに、あろうことか彼は主論文でそれを不可避で必然的なものであると言明してしまったのです
肥大化した妄想はもう後には引けないのでしょう
715:１３２人目の素数さん
19/06/24 23:44:37.11 y49YB1U0.net
次世代なんちゃらが拓郎さんになっててIUT終わったんじゃなかったのか
716:１３２人目の素数さん
19/06/24 23:50:34.60 ypcUyz5Y.net
タクローさんにはかなりの追い風が吹く筈、多分
717:１３２人目の素数さん
19/06/25 00:23:36.93 d3+ruArq.net
10年に一本いい論文書けばいいから！っていって退職まで何もしないのがS論幾何
718:１３２人目の素数さん
19/06/25 00:27:32.05 gVI8x/xg.net
タクローちゃんはIUTがうまくいかなかった時の保険
でも本人はスクール作る気はないし性格的に次世代なんちゃらのトップに向かない
当人はセンターなんて知らん大予算も特任ポストもいらん好きに数学させてくれだろ
719:１３２人目の素数さん
19/06/25 00:31:32.53 gVI8x/xg.net
>>672
10年に一本いい論文書けばいいとか40半ば以降は論文なしとか
昭和の教授はそうだったが今は無理無理かたつむり
柏原みたいに70過ぎても最前線でやれとまでは言わないが
720:１３２人目の素数さん
19/06/25 00:58:59.58 cQsvfbXT.net
たとえば、Noam David Elkiesは40歳過ぎてから論文書いた？
721:１３２人目の素数さん
19/06/25 03:11:56.11 QD0hUMXF.net
望月さんに憧れて京大行った友達がかわいそう
まさかIUTがこんな惨状だと知ったらどう思うだろうか
722:１３２人目の素数さん
19/06/25 05:36:39.64 01nKuU5s.net
私大あたりに就職した、頭の固くなった40過ぎだと、若い共同研究者でもいないと、数学でまともな雑誌に載せれるのは一握りでしょ、実際。
紀要にサーベイ書くくらいがせいぜい。
実験系みたいに若手に研究やらせて論文書かせて自分は何にもしないでラストオーサーみたいな手が使えないし。
723:１３２人目の素数さん
19/06/25 05:56:02.06 W3gh2aFC.net
>>673
まぁ普通はそうだよな
IUT界隈政治色強すぎるし
724:１３２人目の素数さん
19/06/25 07:31:10.43 +ELee/FE.net
特定研究員も募集してるよ
[教員公募]京都大学数理解析研究所特定研究員
職務内容
宇宙際タイヒミューラー理論を中心とする次世代幾何学の研究を推進すること
URLﾘﾝｸ(t.co) 👀
Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)
725:１３２人目の素数さん
19/06/25 07:36:05.28 htBjW19W.net
IUTが特に目立ってるだけで実は他にも
726:たくさんあったりしてな ちりも積もれば、系？
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
あと自分の頭で考えられない馬鹿だから、誰々がああ言ってると批判してくる
他人がどうこうじゃなくて自分の頭で考えろ低能