20/04/19 14:11:09 uMwLCcbW.net
科学の論文は、
? 反証可能性が残されるように、開かれていなければならない
その上で
?反証が存在しないことが示される
こうして初めて正しいものと認められる
数学でいうと、?論理展開が追える（勉強不足や長いから追えないというのは除いて）
?矛盾がない、反例がない
しかし、IUTは、?を満たしていないから、誰も?まで進めない
ショルツ氏は、?を満たしていないとクレームし、同時に、?を示そうとしてしまった
望月氏側は、ショルツ氏が?を示したことに対し、?で書かれているんだから、よく読め
という
結局、まず、もう一度?からやり直すべきではないか
675:１３２人目の素数さん
20/04/19 14:22:30 jRO6JivO.net
>>642
＞反証が存在しない事を示す
無理では？
反証が存在する事を示すしか無いのでは？
676:１３２人目の素数さん
20/04/19 14:23:21 jRO6JivO.net
＞反証が存在しない事を示す
不可能ちっくｗ
677:１３２人目の素数さん
20/04/19 14:23:27 F4sLKV96.net
数学は科学ではないけどな
678:１３２人目の素数さん
20/04/19 14:24:06 jRO6JivO.net
ウケたｗ
679:１３２人目の素数さん
20/04/19 14:26:16.21 jRO6JivO.net
もしかして私は今、人類に新たなる叡智を授ける神の降臨を見たのでしょうか...
w
680:１３２人目の素数さん
20/04/19 14:28:28.77 l1llX2xh.net
>>645
「数学は科学ではないと考える人が存在する」であれば真だね
すべての人に対して……、であれば偽だ
681:１３２人目の素数さん
20/04/19 14:33:22.58 F4sLKV96.net
分類上数学は科学ではないということ
「直角三角形を三角形でないと考える人が存在する」という主張は正しいだろうが
分類上直角三角形は三角形
682:粋蕎
20/04/19 14:43:00.57 8BOyW/Ba.net
社会科学
数理科学
Ph.Dの意味由来
683:１３２人目の素数さん
20/04/19 14:45:50 uMwLCcbW.net
>>643
数学の場合だと、証明の論理に矛盾が
なければ、反証はないでしょう
（というか、そんな簡単なことも理解できない？）
684:１３２人目の素数さん
20/04/19 14:47:51 l1llX2xh.net
>>649
三角形や直角三角形の定義に関して同意が取れてれば、その中のすべての人を取っても真だろうね
科学の分類とやらは同意が取れているのかい？
685:１３２人目の素数さん
20/04/19 14:47:59 jRO6JivO.net
>>651
それアンチに言ってｗ
ブーメランｗｗｗ
686:１３２人目の素数さん
20/04/19 14:48:54 jRO6JivO.net
アンチウケるｗｗｗ
687:１３２人目の素数さん
20/04/19 14:53:40.75 jRO6JivO.net
理解出来ないのに・・・
「ギャップを確信」ってネットに書き込んじゃう“脅威の異能の持ち主達”が跋扈するｗわりには・・・
査読者のプライベートでの研究者仲間への「確信している」発言に過剰反応しちゃったりｗ
688:１３２人目の素数さん
20/04/19 14:56:02.86 UbuHltnc.net
某スレッドにて
＞説明の何百ページの文書はいらないんだ
＞ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
説明は十分かどうか決めるのは、説明する側でなく説明される側
こういう基本的なことが分からない会社員は…無能だよね
689:１３２人目の素数さん
20/04/19 14:56:39.34 jRO6JivO.net
アンチの方達の中に少なからず目撃する融通無碍な脅異の能力には・・・
日々驚きを持って感嘆致しておりますｗ
690:１３２人目の素数さん
20/04/19 14:59:00.14 uMwLCcbW.net
まあ要するに、まずIUT論文は、すくなくとも数論幾何学の分野の人に
わかるように書き直さないと、論文になっていないのではないか、ということです
691:１３２人目の素数さん
20/04/19 15:01:49.15 UbuHltnc.net
>>642
＞①反証可能性が残されるように、開かれていなければならない
＞②反証が存在しないことが示される
数学の場合
①主張したい命題が論理式として記載可能
②主張したい命題の否定から矛盾が導かれることを示す（これが証明）
①は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
②は背理法の形で書いたが、証明は別に背理法でなくてよい
（どんな証明も背理法の形に直せるから）
692:粋蕎
20/04/19 15:06:49.32 8BOyW/Ba.net
>>655
アンタは何を主張したい？何となくは分かるが
アンタの『意思』も知りたいんで『明言』して頂きたい｡
『IUTは正しく、ショルツ初めアンチは無能』、其う言いたいんか？
693:１３２人目の素数さん
20/04/19 15:10:22.30 uMwLCcbW.net
そうですね
つまり作法として、「”できるだけ”多くの人に反証をあげてもらいやすいように、
論理を丁寧に書いて」
それでも、なおかつ反証がない、論理的に矛盾がない
ことを第三者たちが確認することによって、はじめて正しい証明とみとめられる、
そういうものではないか、ということです
694:１３２人目の素数さん
20/04/19 15:18:17.06 JKVCGYoP.net
京都の人や関係者には理解できるけど部外者には理解できないってことは、論文に書いていないコツがあるんだろ
それを教えて欲しい
695:粋蕎
20/04/19 15:18:59.65 8BOyW/Ba.net
>>661
言いたい事は分かったが
> 『IUTは正しく、ショルツ初めアンチは無能』
と言いたいのか否かに関しては？
696:１３２人目の素数さん
20/04/19 15:20:01.71 SEKUrtAT.net
>>660
自分はどう頑張っても今更ＩＵＴＴを理解出来るわけ無いです。
ショルツ教授の仰ってる意味も掴めないですね。
だだ(「詐欺」だの「犯罪」だの「有罪」だの攻撃的な強いワードをネットに出せるからには当然それなりの確証があるはずだし、それなら５ちゃんではなくＲＩＭＳ関係者に直接指摘する�
697:ﾗき) って考えてるだけです。
698:１３２人目の素数さん
20/04/19 15:20:57.22 uMwLCcbW.net
ここでいう第三者はもちろん査読者だけのことではなくて、この場合は数論幾何学（
特にp進体上なんでしょうか、詳しくは知りませんが）の分野の方々ということになります
ここで一人でも、こことここがわからない、といわれればそこを書き直し、説明しなおす
ことが必要ですし、逆に、この方々から一人も異議がでなければ、
まず、認められた、ということになるのだと思います
699:１３２人目の素数さん
20/04/19 15:22:12.36 SEKUrtAT.net
>>660
ＩＤ変わりましたが>>655です
700:１３２人目の素数さん
20/04/19 15:22:21.81 5yNz6DNQ.net
望月さんもまだ何も終わってなかったか
701:１３２人目の素数さん
20/04/19 15:26:17.32 uMwLCcbW.net
しかし、個人的な印象としては、発表から８年もたっており、その間、指摘があったにも
かかわらず、状況が変わっていないことから察すると、証明はうまくいっていない
のではないか、とは思います
702:BLACKX
20/04/19 15:26:20.04 qnt75GLx.net
>>667
始まってすらないじゃん
例えるなら料理のいろはを教える時に料理とは二足歩行の者が行う行為だみたいな事言って、反論は無いけどだから？みたいな料理について言及しろよって段階
703:１３２人目の素数さん
20/04/19 15:26:31.44 UbuHltnc.net
>>662
＞論文に書いていないコツがあるんだろ
ＳＴＡＰ細胞かｗ
704:粋蕎
20/04/19 15:30:31.25 8BOyW/Ba.net
ああ、猿な一石、king様の弟子ことβに対する皮肉か
705:現代数学の系譜 雑談
20/04/19 15:59:18.84 ijGx7lvx.net
>>641-642
(引用開始)
科学の論文は、
① 反証可能性が残されるように、開かれていなければならない
その上で
②反証が存在しないことが示される
こうして初めて正しいものと認められる
(引用終り)
同意
(引用開始)
しかし、IUTは、①を満たしていないから、誰も②まで進めない
ショルツ氏は、①を満たしていないとクレームし、同時に、②を示そうとしてしまった
望月氏側は、ショルツ氏が②を示したことに対し、①で書かれているんだから、よく読め
という
結局、まず、もう一度①からやり直すべきではないか
(引用終り)
同意同意
但し、②が成立っているとして
あと、だれか登山のK2に例えていたけれども
富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
あと、ショルツ氏の力点は、”②を示そう”の方。ショルツ氏は、自分なりにCor 3.12までは読んだつもりで、自分なりの理解では、「π1(ｘ)が無意味になるからIUT全体がダメだ」と主張している
そこは、OP氏の主張とちょっとズレがある
で、実は”②を示そう”自分なりの理解では、「π1(ｘ)が無意味になるからIUT全体がダメ」が決定的に大きい
”②反証が存在しない”が真ならば、5合目から7合目の話を補って、あと、分り易い解説をつければ良い
（過去に、数学ではそういう例は沢山ある）
706:現代数学の系譜 雑談
20/04/19 16:01:00.16 ijGx7lvx.net
>>672 タイポ訂正
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
↓
望月氏側は、7合目（遠アーベル幾何）からスタートしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
707:１３２人目の素数さん
20/04/19 16:03:07.84 NeHBk0JD.net
数学的には正しい可能性は有っても物理学的にはまあ間違ってる
なのに物理学的な正しさを全面に押し出してる
宇宙際なんて概念は数学の中でしかあり得んて
別の宇宙なんて無いし、有ったと仮定しても相互関係も無い、全く関係無い
おっさんSFの見過ぎ
708:１３２人目の素数さん
20/04/19 16:08:55.86 NeHBk0JD.net
いや、宇宙際をどう定義するかによる
別の宇宙ではなく別の次元との相互関係
次元際なら上手く行くかもね
709:現代数学の系譜 雑談
20/04/19 16:11:24.40 ijGx7lvx.net
>>672 補足
>あと、だれか登山のK2に例えていたけれども
>富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
現代数学があまりにも巨大化専門家しすぎて
登山のK2みたく、ふつうには殆ど上れない
だけど、それなりに装備をして、酸素ボンベも用意してとやれば
ヒマラヤなみ（日本の三浦雄一郎 80歳ギネス）に、かなりの人は到達できるでしょ
論文は、教科書じゃない
論文が�
710:恊lが読めなくてもしかたない（5合目スタートにしたら、あと何百ページか書かないといけないかも。それは、お互い、つまり真のプロにも迷惑（分かっていることを延々書いてあるみたいな）） IUTが真に価値ある論文なら 解説書でるでしょ
711:現代数学の系譜 雑談
20/04/19 16:16:51.71 ijGx7lvx.net
>>674-675
>宇宙際なんて概念は数学の中でしかあり得んて
物理にも、パラレルワールド説はあるけど
ネーミングが懲りすぎというのは同意
宇宙際とか、ホッジシアターだっけ？ なんだかなーｗ（＾＾；
”欅坂受け”ねらいかも（＾＾
>次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
でも、RIMSももう一頑張りでしょう！（＾＾
712:１３２人目の素数さん
20/04/19 16:19:22.32 UbuHltnc.net
>>672
ショルツの指摘が成立しなくても、望月の論文は①を満たしてないから無意味だけどな
つまり望月はそもそも山に登ってない 山に登るところから始めよう
713:１３２人目の素数さん
20/04/19 16:22:09.00 UbuHltnc.net
>>676-677
あなたなんでそんなに必死なの？
714:１３２人目の素数さん
20/04/19 16:23:38.14 NeHBk0JD.net
次元際はヒッグス場そのものと言える
別次元への出口がエナジーの減衰で
この次元への入口はエナジーを保持する力
715:１３２人目の素数さん
20/04/19 16:24:46.86 UbuHltnc.net
日本人だからって望月を無条件に支援する理由にはならないよね
むしろ今回の京大数理解析研の措置は日本人として恥ずかしいよね
いかにも内輪の都合で無理矢理アクセプトしたみたいでさ
そういう恥ずかしい真似してほしくなかったよ
716:１３２人目の素数さん
20/04/19 16:28:56.54 UbuHltnc.net
>>677
＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
717:現代数学の系譜 雑談
20/04/19 16:33:50.39 ijGx7lvx.net
>>677
>物理にも、パラレルワールド説はあるけど
スレチだが、行きがかりで、下記貼る
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
パラレルワールドは実在するか
パラレルワールドはSFでよく知られた概念であるだけでなく、実際に物理学の世界でも理論的な可能性が語られている。例えば、量子力学の多世界解釈や、宇宙論の「ベビーユニバース」仮説などである。
URLﾘﾝｸ(ja.wikipedia.org)
多元宇宙論（たげんうちゅうろん、英: multiverse）とは、複数の宇宙の存在を仮定した理論物理学による論説である。物理的に観測不可能な様々な事象を数学や物理学を元に理論構築し、既知の観測や観察とともに予想された物理理論の一つである。
1.3 多世界解釈
1.4 多次元によるもの
1.5 万物理論の自由性によるもの
多世界解釈
量子力学の解釈の一つで波動関数の収縮を想定せず、すべての解に対応した世界があるとするもの。
多次元によるもの
我々が住む宇宙は無限ないし多くの次元を持つバルク（空間）に浮かぶたったの三次元のブレイン（膜）であるとするもの。当然、バルク内に複数のブレインがあることが許容される。
万物理論の自由性によるもの
万物理論が（どんな形をとるのかは別として）存在し、そこに何らかの物理定数が含まれる場合、なぜ物理定数は他の値ではいけなかったのかという疑問が生ずる。一番簡単な説明は有りうる値すべての宇宙が実在し、たまたま我々の宇宙ではその値であり、そうでなければ我々は生まれなかった、という人間原理によるものである。
718:現代数学の系譜 雑談
20/04/19 16:36:39.59 ijGx7lvx.net
>>682
>宇宙って数学用語、知らないんだね
>URLﾘﾝｸ(ja.wikipedia.org)
IUT読んだ
719:？ そのwikipediaの”宇宙”の定義が いまのIUTに当てはまっているか？ おれは、厳密には違うと思うよ 単なる用語の濫用ならぬ、”乱用”の方と思うぜｗｗ（＾＾；
720:粋蕎
20/04/19 16:37:41.80 8BOyW/Ba.net
グロたん宇宙は良いが、こっちは貼らんのか？
宇宙 (数学) - Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
721:１３２人目の素数さん
20/04/19 16:46:21.19 JKVCGYoP.net
今さら名称の話？
full poly-isomorphismとかは確かに宇宙っぽい考え方なんじゃないの
知らんけど
722:１３２人目の素数さん
20/04/19 16:51:33 UbuHltnc.net
>>684
正規部分群の定義も誤読した人が何言ってるんだろう
＞単なる用語の濫用ならぬ、”乱用”の方と思うぜ
そんなこという人がなんで望月は正しい！と言い張るのか分からん
本当は望月の論文は無意味と思ってるんでしょ？
723:１３２人目の素数さん
20/04/19 17:00:47 UbuHltnc.net
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
むしろ間違いに気づきながらをれを認めず隠し通して
体面を保とうすることこそよほど恥ずかしい
724:１３２人目の素数さん
20/04/19 17:01:56 mrf31oDM.net
>>562
それはオボちゃん一派でしょｗ
725:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:10:48 ijGx7lvx.net
>>684 補足
IUTの「宇宙」”universes”:
"of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal. "
って、「宇宙」は、厳密には 大げさすぎる気がする（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
Introduction
P21
§I3. Basepoints and Inter-universality
In particular, the only data that can be considered in relating ´etale fundamental groups on either side of a filter is the ´etale-like structure constituted by the underlying abstract topological group associated to such an ´etale fundamental group,
i.e., devoid of any auxiliary data arising from the construction of the group “as an ´etale fundamental group associated to a basepoint determined by a geometric point of a scheme”.
It is this fundamental aspect of the theory of the present series of papers - i.e.,
of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure
- i.e., in other words, of considering the absolute anabelian geometry
[cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
つづく
726:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:18:56 ijGx7lvx.net
>>690 追加
つづき
また下記
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
[なお、この用語はカテゴリー理論の標準用語とは異なるが、今回の一連の論文の理論の文脈では当然のことであろう]
まあ、こういうところ、「独善」と紙一重だろうね～（OP氏がいうのはこういうところかも） ｗ（＾＾；
なお、
”an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of all small 1-categories relative to a suitable universe with respect to which C and D are small.”
で
「relative to a suitable universe」も、当初の”universe”定義による用語の使い方として、整合しているのかどうかだね～？（＾＾；
（先のは、集合論の”universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter”だったのにね。まあ、重箱の隅とは思うが ）
P33
Section 0: Notations and Conventions
Monoids and Categories:
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
Thus, from the point of view of “coarsifications of 2-categories of 1-categories”
[cf. [FrdI], Appendix, Definition A.1, (ii)],
an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of all small 1-categories relative to a suitable universe with respect to which C and D are small.
(引用終り)
以上
727:１３２人目の素数さん
20/04/19 17:30:12 UbuHltnc.net
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
728:１３２人目の素数さん
20/04/19 17:49:39 N24RGaNy.net
>>689
仮にも専門家集団のなかから「派」と言える勢力が出てきた時点で単純詐欺では無いと言ってるようなものだ
それなりの理由があるから支持者が現れたんだよ
ノーベル賞候補とも言われた笹井氏が推したのにも理由がある
おまえらは矮小化し過ぎなんだよ
729:１３２人目の素数さん
20/04/19 17:50:41 N24RGaNy.net
>>690
単なる無知から来ている決め付け
730:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:27 ijGx7lvx.net
>>692
wikipediaを引用するなら、>>685の粋蕎 さんの引用（下記）が適当だろう
下記では、1)ベン図のU、2)通常の数学の例えばSN、3)集合論のフォン・ノイマン宇宙 V、4)圏論のグロタンディーク宇宙
と、４つ解説されている
では、望月IUTの「宇宙」とは？ まさか、ベン図のUとか下記SNではない
集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
”INTER-UNIVERSAL”だから、最低2つ宇宙がいるけど、どれとどれだい？？ｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
ある特定の文脈において
おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。
これは1870年代から1880年代にかけてゲオルク・カントールが実解析の応用として、初の現代的な集合論と濃度の開発に用いた宇宙である。
カントールが当時興味を持っていた集合は、R の部分集合だった。
この宇宙の概念はベン図の使用に反映されている。 ベン図において、作用は伝統的に宇宙 U を表す大きな四角形の内部に生じる。
一般的に集合が U の部分集合であれば、それは円によって表現される。
通常の数学
物事を単純に保つために、自然数の集合 N は所与
731:として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。 宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。 つづく
732:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:51 ijGx7lvx.net
>>695
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
任意の 順序数 i に対して Vi を定義する。 Vi のすべての和集合は次のようにフォン・ノイマン宇宙 V となる。
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
733:１３２人目の素数さん
20/04/19 17:58:49 UbuHltnc.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
734:１３２人目の素数さん
20/04/19 18:01:36 vQlbFnVo.net
>>604
もっちー降臨？！
735:１３２人目の素数さん
20/04/19 18:03:25 UbuHltnc.net
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
また, その新しい幾何学ではそこから生じる不定性を統制する
・剛性 (rigidity) で抑える
・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す
・(不定性のため像がはっきりしないがある入れ物には入っていることは分かるなどにより) 見積もること
などや, ある不定性と他の不定性が連動している (synchronize) ことを用いることなどが大事になってきます.
それにはそもそも不定性の存在に気付かないといけないわけですが, 不定性の存在を明確に意識するのにも役に立つ考え方です.
“その新しい幾何学” と書きましたが, 従来の幾何学では (多項式写像であれ
736:連続写像であれ可微分写像であれ) 環構造と整合的な射 (環付きトポスの射) を考えるのが幾何学であるという視点に立つならば, それは幾何学という枠組みすら超えているかもしれません.
737:１３２人目の素数さん
20/04/19 18:09:11 IvVUctq/.net
>>698
え…うそ…
738:１３２人目の素数さん
20/04/19 18:09:47 UbuHltnc.net
＞望月IUTの「宇宙」とは？
＞集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでｋが強到達可能基数ならば、グロタンディーク宇宙
739:１３２人目の素数さん
20/04/19 18:13:37 UbuHltnc.net
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL？ありゃ声がデカいだけだろ？」
とかいうとメイト(BABYMETALのファン）に張り倒される
740:１３２人目の素数さん
20/04/19 18:18:52 UbuHltnc.net
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
741:１３２人目の素数さん
20/04/19 18:28:47 UbuHltnc.net
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
742:１３２人目の素数さん
20/04/19 18:36:09 Aiu1KqVk.net
そもそも望月や文元などは集合論が分からないから宇宙の意味を議論してもしょうがない
743:１３２人目の素数さん
20/04/19 18:50:09.67 YBBEAUTj.net
>>705
素数論て集合論じゃないの？？
744:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:10:54 ijGx7lvx.net
>>697
>Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
>A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
>数学基礎論的・論理学的に非自明な操作をしているとは
>山下は (少なくとも現時点では) 思っていません.
"非自明な"とか、関係ない説明だよね。質問者の"非自明” or "自明”の定義を
回答者の山下氏自身が、まず定義説明しないと
「数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.」
って、どういう意味だ？ 意味分かって引用しているか？
分かっているというなら、その意味解説してみろｗ（＾＾；
>>699
>Q2. じゃあ, 宇宙を取り替えるってどういう意味？
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
それならば、「宇宙」ではなく
inter-ring で良いんじゃない？
>厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
>数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
説明になってない
「1 つの Grothendieck 宇宙の中で考えて」？ Grothendieck 宇宙が 2つ3つあるのか？
>その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
なら、inter-scheme logic が素直だろ？
>>701
>グロタンディーク宇宙だろ 山下剛もそう書いてるけど
上記の通り、 Grothendieck 宇宙が 2つ3つあるのか？
Grothendieck 宇宙は、1つだろ？ 同型を除いて一意かもしれないがね
745:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:14:49 ijGx7lvx.net
>>707 補足訂正
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
inter-ring で良いんじゃない？
↓
inter-ring structureで良いんじゃない？
かな？（＾＾；
746:１３２人目の素数さん
20/04/19 20:07:10.15 UbuHltnc.net
>>707
これは酷い・・・
＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか？
＞Grothendieck 宇宙は、1つだろ？
Grothendieckが見たら頭抱えるぞ・・・
＞同型を除いて一意かもしれないがね
訳も分からず呪文を唱えると自爆するよ
747:１３２人目の素数さん
20/04/19 20:26:03 yMpHhz7D.net
>>707
グロタンディーク宇宙が一つとか、大丈夫か君
748:１３２人目の素数さん
20/04/19 20:31:57 UbuHltnc.net
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
ＩＵＴの前途は闇だよ
749:１３２人目の素数さん
20/04/19 20:33:40.42 uMwLCcbW.net
707は、擁護派の内部分裂かな
750:１３２人目の素数さん
20/04/19 20:38:36.02 yAKdOBQz.net
>>706
全然違う分野
751:現代数学の系譜 雑談
20/04/19 20:40:59.04 ijGx7lvx.net
>>709
>＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
>＞なら、inter-scheme logic が素直だろ？
>論をlogicって訳す馬鹿 はじめてみた
>theoryって言葉 知らんのか？
はい
じゃ、問題
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
を数学用語を使って訳せ！ （和文英訳）
但し、望月論文表題 ”INTER-UNIVERSAL TEICHMULLER THEORY I ”の表題に使えるようにせよ！
"theory"を使ったら、下記の”TEICHMULLER THEORY”と用語がダブるぜ？ どうすんだよｗ（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
>>710
>グロタンディーク宇宙が一つとか、大丈夫か君
そっくりお返しするよ
山下氏 （>>699より）
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
752: 数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです. (引用終り) の説明だと、「INTER-UNIVERSAL」と説明が整合しないぜ ”UNIVERSAL”が、Grothendieck 宇宙とするならば ”INTER-”って、どうなるの？ｗ ”INTER-”だったら、”UNIVERSE”が2つ要る で、取り替えるんだろ？ グロタンディーク宇宙が2つあって、取り替える？ｗ（＾＾；
753:１３２人目の素数さん
20/04/19 20:48:16.57 UbuHltnc.net
>>714
な、コイツ正真正銘の馬鹿だろ？
754:BLACKX ◆SvoRwjQrNc
20/04/19 20:48:35 qnt75GLx.net
>>712
707はガロアスレの主やぞ一番取り合ったらまずい奴
755:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:52:34 ijGx7lvx.net
>>712
＞ 707は、擁護派の内部分裂かな
お答えします（＾＾
１．私は、ＩＵＴ応援派であって、擁護派ではない
Ｄｕｐｕｙ先生みたいな、ＩＵＴ擁護なんて、とてもとてもとてもｗｗｗ（＾＾；
ただ、ＩＵＴへ エールだけは送ります、がんばれＲＩＭＳ＆ＩＵＴ！ （＾＾
２．そして、ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！（＾＾
但し、数学の筋の通らない アンチＩＵＴ発言は つつきますよ！ （普通は、あっちの隔離スレで こっそりねｗ）
見かねると、今回のように 乱入します（＾＾；
３．なお、ＩＵＴ懐疑派、 ＩＵＴ否定派、ＩＵＴ擁護の数学バトル期待しています、ヤジウマとしてね。各位がんばってください（＾＾
756:１３２人目の素数さん
20/04/19 20:53:32 UbuHltnc.net
>>712
毎度恒例の馬鹿の自爆ショーです
第１回 正規部分群はgHg^(-1)がHと同型な群
第２回 数セミ記事「箱入り無数目」はマチガッテル！
第３回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第４回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
一度もまともに読めた試しはないと専らの噂
全部古書店に売って楽になればいいのに・・・
757:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:54:04 ijGx7lvx.net
>>716
> 707はガロアスレの主やぞ一番取り合ったらまずい奴
Ｙｅｓ！ よくお分かりですね！！ （＾＾；
758:１３２人目の素数さん
20/04/19 20:58:07 UbuHltnc.net
>>717
＞ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！
◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張
「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチｗ
759:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:01:33 ijGx7lvx.net
>>718
＞毎度恒例の馬鹿の自爆ショーです
もう降参ですか？ｗ（＾＾；
＜経緯＞
私の指摘は >>677
">次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
でも、RIMSももう一頑張りでしょう！（＾＾ "
だった
で 対して、おサルが >>682
”＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org) ”
に
私が >>684
”IUT読んだ？
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか？
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜｗ”
と切り返して
>>714
に至る
＜経緯終り＞
まだやりたいなら、どうぞ >>714の続きを書いてくださいｗｗ（＾＾；
760:１３２人目の素数さん
20/04/19 21:14:41 UbuHltnc.net
>>721
見当違いな自爆を嘲笑され逆上
見当違いな質問返しでさらに自爆し嘲笑される
いい加減学習しようよ
数学板は勉強嫌いの馬鹿が書くところじゃないって
761:１３２人目の素数さん
20/04/19 21:16:54 UbuHltnc.net
＞次元際なら上手く行くかもね
これも素人ならではの馬鹿発言
こんな馬鹿発言に喜んでレスする
◆e.a0E5TtKEは正真正銘の馬鹿
762:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:53:28 ijGx7lvx.net
>>720
>「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
とどめを刺すか？（＾＾
１．グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）（下記）
２．グロタンディーク宇宙は、下記のグロタンディーク宇宙公理と、ＺＦＣ＋到達不能基数 を公理とする、2つの道がある
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙 （数式文字化けご容赦）
数学におけるグロタンディーク宇宙（英: Grothendieck universe、仏: Univers de Grothendieck
763:）は次の性質をもった集合 U である[1]： １．x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合） ２．x, y ∈ U ⇒ {x, y} ∈ U ３．x ∈ U ⇒ x のベキ集合 P(x) ∈ U ４．{\displaystyle \{x_{\alpha }\}_{\alpha \in I}}\{x_\alpha\}_{\alpha\in I}が U の元の集合で I ∈ U ⇒ {\displaystyle \bigcup _{\alpha \in I}x_{\alpha }}\bigcup_{\alpha\in I} x_\alpha ∈ U 特に、最後の公理は U が空集合でなければ、その有限部分集合のすべてと、それら各々の濃度を部分集合として含んでいなければならないことを意味する。このことは、任意の宇宙の類の共通集合が宇宙であるという定義から直ちに証明することが出来る。 宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。 グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。 グロタンディーク宇宙と到達不能基数 グロタンディーク宇宙の2つの簡単な例がある: ・空集合 ・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。 他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である: つづく
764:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:53:55 ijGx7lvx.net
>>724
つづき
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
集合論
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
765:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:55:55 ijGx7lvx.net
>>724 タイポ訂正
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
↓
３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
それタイポか？ おいおい（＾＾
ケアレスミスでした（＾＾；
766:１３２人目の素数さん
20/04/19 21:56:15 yMpHhz7D.net
>>724
グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
あと同型てのはどう言う意味での同型？
767:１３２人目の素数さん
20/04/19 22:05:15 yMpHhz7D.net
係数Rのn次元ベクトル空間は確かに同型だけど、じゃあR^nだけを考えるかというとそうじゃない
基底の取り換えとか、双対空間作ったりとか色々するでしょ
確かにそれは一つのR^nに固定してもできるかもしれないけど、そんなことは不自然で誰もしない（する必要もない）
グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
768:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:05:18 ijGx7lvx.net
>>726 補足
>３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述にならい、各人の解釈に任せるものとする（＾＾；
>>691より
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
P33
Section 0: Notations and Conventions
Monoids and Categories:
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
769:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:10:28 ijGx7lvx.net
>>727-728
ID:yMpHhz7Dさん
さすがの鋭いつっこみですね
（>>729 がちょっと遅かったな）
ザブトン １枚！（＾＾；
770:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:15:33 ijGx7lvx.net
>>728
>グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
「グロタンディーク宇宙を複数作って、取り替える」は、ないな、多分
>>690 より、下記の記述ですな（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
Introduction
P21
§I3. Basepoints and Inter-universality
It is this fundamental aspect of the theory of the present series of papers - i.e.,
of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure
- i.e., in other words, of considering the absolute anabelian geometry
[cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
771:BLACKX ◆SvoRwjQrNc
20/04/19 22:18:43 qnt75GLx.net
なんでスレ分かれてるんだよ！帰れよ
772:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:46:50 ijGx7lvx.net
>>732
おまえが、スレ主か？ ここの？ 何の資格で人に指図するの？
おれが、おまえに従う理由がない！！ｗ（＾＾
証明終りｗ
773:BLACKX ◆SvoRwjQrNc
20/04/19 22:54:16 qnt75GLx.net
定義も何もしてないのに証明とは笑
774:１３２人目の素数さん
20/04/19 22:54:43 YBBEAUTj.net
ABC予想なんて訳したやつは誰だー
conjectureは推論じゃねーか
毎回詰まる
775:１３２人目の素数さん
20/04/19 23:11:48.08 yMpHhz7D.net
>>735
数学一般にconjectureは予想て訳すし、意味的に推論じゃなくて予想の方が正しいでしょ
776:BLACKX
20/04/19 23:11:50.71 qnt75GLx.net
OPコメント来たぞ
777:１３２人目の素数さん
20/04/19 23:22:39.58 Om6IlAxz.net
もっちー
778:のブログ、そろそろ閉じられそうな気がする せめてコメント欄閉じるだけで記事は残してね！ それにしてもコメントの改行、もしかしてガラケで返信してるんか？ まさかね…
779:粋蕎
20/04/19 23:23:59.93 8BOyW/Ba.net
儂以外に居るんかガラケー
780:１３２人目の素数さん
20/04/19 23:51:43.28 uMwLCcbW.net
「京都大は３日、３０年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を
京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。
望月氏の論文が、同研究所が編集する国際専門誌「ＰＲＩＭＳ（プリムス）」の審査を
通過し採択された。同研究所は「重要かつ困難な問題を解決した」と評価した。」
ところで京大はこの後、どうするつもりなのか
781:１３２人目の素数さん
20/04/20 00:09:58.37 55beezTS.net
京都大学のサイトみたけど、ニュースリリースにそんな記事なかったから、
なかったことにしたんだすね
782:BLACKX
20/04/20 00:16:47.62 5PJxxsfj.net
今のうちに魚拓とっとくべき
783:１３２人目の素数さん
20/04/20 00:43:10.27 nWvMZC6M.net
>>736
数学界の慣行とはいえ日本語で考えてるからpre-でつづり始めてしまってconjectureの単語が毎回出てこない…
ゲシュタルト崩壊みたいな
784:１３２人目の素数さん
20/04/20 00:59:28.02 lnvD9PiA.net
なかなか痛烈な批判
これ擁護できないだろ
>W says:
>April 19, 2020 at 9:53 am
>…
>(1) The first couple hundred pages of the IUT papers introduce a lot of difficult new terminology.
>Scholze and Stix demonstrated that none of this new terminology is necessary
>to prove any of the formal statements in these pages.
>Moreover, when the new terminology is ignored, the proofs all become simpler and easier to understand.
>They all follow quickly from Mochizuki’s previous work on the p-adic Grothendieck conjecture.
>…
>As an editor or referee, this should be completely unacceptable.
>Even if the proof is technically correct in the sense that
>Mochizuki or someone else can give a clear and precise argument
>which the proof of Corollary 3.12 could be said to summarize,
>allowing the paper to continue in its present form would be a failure at their duty
>to ensure papers in their journal properly explain their arguments.
>A paper such that everyone who studies it seriously,
>except a small inner circle, gets stuck at the same point simply isn’t a proper explanation.
>…
URLﾘﾝｸ(www.math.columbia.edu)
785:１３２人目の素数さん
20/04/20 01:04:37.06 lnvD9PiA.net
>>743
そんなこと言ったらリーマン予想とかRiemann hypothesisだし
固有名詞だと思うべき
786:１３２人目の素数さん
20/04/20 01:24:19.76 nWvMZC6M.net
>>745
はい先生わかりました
787:１３２人目の素数さん
20/04/20 03:24:44.56 210Latl8.net
>>744
これ、単純に、(1)から
788:続く段落の部分については、もっちーや擁護派は間違いって 言っていることじゃねーの。こいつが無意味って言っている部分に深い意味がある ってのがもっちーやブンゲンやフェセンコの言い分だろ。
789:BLACKX
20/04/20 04:02:55.18 YjnQQnaT.net
普通深い意味を要求する場合その話題にも触れ定義し命題とし証明する。そういうのがない時点で自明としても扱われることがないから餅が今時を経て指摘されてるのは重大な欠陥だろ
790:１３２人目の素数さん
20/04/20 04:56:57.52 ba5R664K.net
これほんとに査読終わったの？
ショルツ納得した？俺素人だからこのスレを眺めてるだけなんだけども
証明した！って主張してるのもしかして京大だけ？
791:１３２人目の素数さん
20/04/20 05:57:34.00 lDogB3OP.net
>>715
想像以上のイカレポンチだったわ
792:１３２人目の素数さん
20/04/20 07:18:24.29 BjIY/YLZ.net
>>749
査読は終わった
ショルツが納得するのは必要条件では無い
京大以外にもいる
793:現代数学の系譜 雑談
20/04/20 07:19:34.25 w4pNIZe5.net
>>750
ああ、その>>715は
ＳＳ vs 望月星 みたいなものよ
おれが、望月星側だな
で、>>744 W saysによれば
望月星側は、想像以上のイカレポンチだったわ
ということね
しかと、承ったｗ
しばし待て
今年中には、どっちがどうか決着しそうだ（＾＾；
794:１３２人目の素数さん
20/04/20 07:20:01.95 jmWfkEw+.net
>>724
>とどめを刺すか？
自分に？
＞グロタンディーク宇宙は、いわゆる同型を除いて一意と考えられる
＞（∵ 実際には、集合論のためのモデルを与える から）
もしかして、集合論のモデルは「同型を除いて一意」と誤解してる？
誤解じゃないというなら、根拠示してくれる？
・・・そんなもんないけど
795:現代数学の系譜 雑談
20/04/20 07:23:37.10 w4pNIZe5.net
>>751
同意
かつ、>>744 W saysは、ショルツの尻馬だ
彼自身は、ＩＵＴを直接批判する数学の能力なし！
”Scholze and Stix”と書いているけれど
いま（2020年）は、ショルツ氏のみ
Stix氏は沈黙（コメント拒否）だよ
796:１３２人目の素数さん
20/04/20 07:25:39.05 jmWfkEw+.net
>>727
＞グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
そりゃみんな同じところツッコむよね
だって、まったくの誤りだからｗ
>>729
＞なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の
＞ ”isomorphism”およびＮｏｔｅの記述にならい、
＞各人の解釈に任せるものとする
やれやれ😥 数学だけじゃなく英語もダメなんだな チミは
797:１３２人目の素数さん
20/04/20 07:29:28.80 jmWfkEw+.net
「集合論のモデルが同型を除いて一意」という主張は
有名なコーエンの「選択公理及び一般連続体仮説の決定不能性」
を否定するものなんだが、分かってるか？
分かってないんだろうな、こんな様子じゃｗ
798:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:42:36 w4pNIZe5.net
>>753
まあ、まじレスすれば
それは、用語の濫用というやつだな（下記）
それ>>729に茶化して書いておいたが、文脈に応じて解釈せよってことよ（望月論文に同じ）
日常言語に同じだ
”UNIVERSAL”について言えば、「ユニバーサル・スタジオ・ジャパン｜USJ」がある
ユニバーサル＝宇宙と考える人はいないだろうよ
「宇宙」には、”space”という用語もある
ところが、「駐車乗のスペース」といったとき、”スペース”を「宇宙」と考える人はいない
もどると、>>724 「 実際には、集合論のためのモデルを与える」とあるだろ？
2つの別の方法で構築した”集合論のためのモデル”が、実質同じだということを、用語の濫觴と茶化しで
”いわゆる同型を除いて一意と考えられる”と書いただけのこと
そもそも、”同型”なる用語の意味が、数学用語としては、その文脈毎に異なることは、常識（当たり前）だろう
（余談だが 望月論文も、それを言っているとおもうが、確かに分かり難いと思った）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
記号の濫用
関連する概念に用語の濫用（英: abuse of language, abuse of terminology, 仏: abus de langage）がある。
799:１３２人目の素数さん
20/04/20 07:49:07 hY/oh56u.net
Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、
５ｃｈと同じレベルみたいだね。
800:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:50:35 w4pNIZe5.net
>>757 補足
>そもそも、”同型”なる用語の意味が、数学用語としては、その文脈毎に異なることは、常識（当たり前）だろう
>（余談だが 望月論文も、それを言っているとおもうが、確かに分かり難いと思った）
下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
なら、i-isomorphism とかのネーミングにすれば良かった気がする
（i-isomorphismって、i-phone みたいで 格好いいだろ？ｗ（＾＾； ）
>>691より
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
P33
Section 0: Notations and Conventions
Monoids and Categories:
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
801:１３２人目の素数さん
20/04/20 07:54:29 jmWfkEw+.net
>>757
ああ、やっぱり、自分の誤りが全然わかってないのね
>>756読んだ？え？読んだがわからん？
これはヒドイ
実数全体の集合をRとする
あるモデルでRはℵ1、別のモデルでRはℵ2
どこが同型なんだ ℵ1とℵ2は同じ濃度なのか？
それはℵの定義に反するなｗ
君みたいな馬鹿が支持することで望月の評価はどん底に下がるのだよ
もし、望月を支持したいなら、君がやれることは只ひとつ
・・・なにも書かないことだ
なにも書かなければ、ボロがでないからな
できるかな？ネットジャンキーの君に
802:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:56:05 w4pNIZe5.net
>>758
>Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、
> ５ｃｈと同じレベルみたいだね。
同意
５ｃｈと同じレベル は、可哀想と思うが
数学ではなく、手続き論でしょ
つまり、レフェリーがちゃんと指導しろとか、道義的にどうとか、云々
でも、ＲＩＭＳのレフェリーとか、柏原・玉川先生も理解できる
望月先生が、構想10年、営々と書いてきたＩＵＴ論文
「いまから書き直せ」って、さらに何年かかるって話にもなる
あと、遠アーベルになれていない人には、読みにくいかもしれんが、プロにはこの方が読みやすいってあるかも
それは、軽々に判断できない
でも、せめて分野外のＭ１、Ｍ２に読める解説書はいるよね（文元本以外にね）
803:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 08:00:10 w4pNIZe5.net
>>760
(引用開始)
実数全体の集合をRとする
あるモデルでRはℵ1、別のモデルでRはℵ2
どこが同型なんだ ℵ1とℵ2は同じ濃度なのか？
それはℵの定義に反するなｗ
(引用終り)
墓穴掘っているな
コンテキストが分かっていない
いまコンテキストは>>724の
グロタンディーク宇宙限定だよ
その例は、全くアサッテの例だ
分かっていないのは、おサルさん、あ な た ｗ（＾＾
804:１３２人目の素数さん
20/04/20 08:04:34 jmWfkEw+.net
>>761
玉川はともかく、柏原はIUT理解してないでしょ
あんた数学を舐めすぎ
＞遠アーベルになれていない人には、読みにくいかもしれんが、
＞プロにはこの方が読みやすいってあるかも
ない。望月論文の了解不能性は遠アーベルとは無関係
プロにも肝心なことが書いてないと突っ込まれてる
なんのための６００ページ？ 無意味だな
＞分野外のＭ１、Ｍ２に読める解説書はいるよね
そんなん、専門家に了解できる論文書いた後の話
教科書なんて望月本人が書かなくたって、
他の専門家がいくらでも書いてくれるだろうよ
・・・認められたら、の話だが
805:１３２人目の素数さん
20/04/20 08:08:01 jmWfkEw+.net
>>762
＞コンテキストが分かっていない
同型はコンテキストでは誤魔化せないｗ
＞グロタンディーク宇宙限定だよ
それでも誤魔化せないな
「集合論のモデル」と言い切ってしまったのは君
＞その例は、全くアサッテの例だ
アサッテなのは、君の口からデマカセ発言
全ての集合論のモデルが同型を除いて一意？
君、ほんと考え無しの馬鹿野郎なんだねえｗｗｗ
806:１３２人目の素数さん
20/04/20 08:13:02 RYoxWBTv.net
>>754
あれ、
望月星とショルツスティックスの
ミーティングでした。
はじめから星は沈黙ですよ、
緘口令が敷かれているのか。
807:現代数学の系譜 雑談
20/04/20 08:44:53.07 w4pNIZe5.net
>>765
望月星の関係は、代表望月、門下星で明確でしょ
ＳＳでは、二人は同角で独立
全く違うよ
808:現代数学の系譜 雑談
20/04/20 08:45:46.13 w4pNIZe5.net
>>766 誤変換訂正
ＳＳでは、二人は同角で独立
↓
ＳＳでは、二人は同格で独立
809:１３２人目の素数さん
20/04/20 08:48:03.25 wPwKBWOa.net
>>381
もう少しまともに引用するように
**********************
望月の方法が機能しないという*証明*はありません。
Scholze-Stixの原稿が証明しているのは以下の通りです。
定理 望月の理論でホッジシアターを特定し、同時にq-pilotとθ-pilotの「具体的な正規化」を課せると仮定すると、矛盾が生じる。
1) 「具体的正規化を同時に課す」という仮説は、固定素数の場合と等価である。 望月の理論はこの導出には使われていない。この同一化に対する抗議が望月の応答のC12でなされている。
にもかかわらず、ピーター・S.はこれが望月のいう意味であると主張している。
2) ホッジ劇場を特定できる、という仮説も、望月によって彼の述べた目的に反していると抗議された。
ガウス積分の調査のテーゼ、数学では元の物体について何かを証明するために、オブジェクトの「異質なコピー」を導入することがあるということを見ておくことは賢明です。これは、上記の定理でホッジ劇場を特定するという仮定に反している。
私は、望月の証明が正しい、あるいは正しいことが判明するという立場を取っているのではありませんが、現状のままでは、スティックス＝ショルツの論文を望月の証明を否定する理由として取り上げるべきではありません。
810:１３２人目の素数さん
20/04/20 08:48:09.68 Ign/v1Yp.net
若輩☆さんがモッチ様にたてつけるとは思えないな
何か一言いおうものなら100倍正論で帰ってくるだろうからな
811:１３２人目の素数さん
20/04/20 09:11:24.30 RYoxWBTv.net
>>766
森重文に依頼されたショルツが
スティックスと共にRIMSを訪問し
望月星.ショルツスティックス
ミーティングを行う
↓
S.Sレポートを提出
↓
望月レポート 星沈黙 ズーッと沈黙
↓
RIMS 2020 IUTカンファレンス
遠アーベル幾何学ワークショップで
スティックス講演予定
(IPMUカプラノフ参加予定)
↓
スティックス参加取りやめ
(カプラノフも参加取りやめ)
↓
望月新一ブログで
内部告発 アクセプト査読過程を批判
↓
玉川柏原が会見
柏原はPRIMSの編集者でない。
↓
RIMS封鎖
↓
woitのブログでショルツ
「In my manuscript with Stix,」
と明言
812:１３２人目の素数さん
20/04/20 10:04:50.36 3oXodUa0.net
>>292
Ｒ-Ｕ１０６
─ 優しく温かく住む人の心に馴染む家具・・・籐(ラタン) ─ 家具って素敵ですよね。。。
ドレッサー(椅子付き)なんてあるんですね♪
素敵なステマ乙ありで～す♪♪
813:１３２人目の素数さん
20/04/20 10:28:21.90 LhH52yzr.net
モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、
異なる強到達不能基数κ、κ'が存在するならば、グロタンディーク宇宙Vκ、Vκ'は(それをドメインとして)ZFCのモデルだが、その間には全単射が存在しないので同型でなく、同型の違いを除いても一意ではないのでは
814:粋蕎
20/04/20 10:33:40.21 oyGS3XIo.net
理研の前に東電も遣ら化して呉れとる。儂は信じもしない｡其の前は誰？捏造ゴッドハンド佐田か？
勿論、Oversimplification & 十把一絡げ拡大解釈のｼｮｽﾃｨコンビも信じない｡
あー、ペレルマンをペロリマンしようとした、ヤウの伝手の二人組も居ったな｡
815:１３２人目の素数さん
20/04/20 10:39:10.73 jmWfkEw+.net
>>772
＞異なる強到達不能基数κ、κ'が存在するならば
強到達不能基数は無数に存在します
＞グロタンディーク宇宙Vκ、Vκ'はZFCのモデルだが、
＞その間には全単射が存在しないので同型でなく、
＞同型の違いを除いても一意ではないのでは
そうですね 「準同型」写像を設定できるかどうかは知りませんが
816:１３２人目の素数さん
20/04/20 10:42:54.98 jmWfkEw+.net
>>773
高卒の君は安達と遊んでなさい
817:１３２人目の素数さん
20/04/20 11:09:16.30 LhH52yzr.net
>>774
構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、詳しくないから俺には示せないな
＞強到達不能基数は無数に存在
そうなの？
818:１３２人目の素数さん
20/04/20 11:21:55.91 jmWfkEw+.net
>>777
ただし、巨大基数の存在を認めれば・・・だが
URLﾘﾝｸ(ja.wikipedia.org)
819:１３２人目の素数さん
20/04/20 11:24:59.24 ba5R664K.net
>>751
ありがと！
820:１３２人目の素数さん
20/04/20 11:25:27.47 QwBcY9W0.net
自己レス∞サイクル＠＠～
821:粋蕎
20/04/20 11:44:19.60 oyGS3XIo.net
>>775
まだ居たん？妄想出鱈目出任せ大法螺吹きな大嘘でIUTTを否定する風説流し中傷人間｡
もう御前は『例えIUTTが世界的に否定的証明されたとしても』風説流し中傷人間でしか無い、他ならん｡
要するに、SSコンビを初めとするアンチ勢の面汚し｡
いつまで中傷（=無根拠貶言）でスレを汚してく積もりなんじゃか｡
前に「アナーキスト」気取ったコテハン付けてたな。そう名乗れば許されるとでも思うとるんか？
822:１３２人目の素数さん
20/04/20 11:46:20 jmWfkEw+.net
>>697
＞数学基礎論的・論理学的に非自明な操作
おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ
そういうことは必要ない、というのがリンク先の文書の主旨
823:１３２人目の素数さん
20/04/20 11:51:17 jmWfkEw+.net
>>780
また統失が妄想書き散らかしてるなｗ
はよ病院に戻れ 勝手に隔離病棟（＝0.999スレ）から出たらダメだぞ
824:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 12:05:36 jS1N2Wjo.net
>>772 &>>776
ID:LhH52yzr さん、どうも
あなたはレベルが高そうだねぇ（＾＾
スレチだが、少しだけ
>モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、
>構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、
同意です
前提として、細かい定義抜きで、日常の雑談風でやりましょう
１．同型とは？ 代数学を例にとれば、集合A,Bで 射：A→B で、演算を保存するもので全単射
群なら積、環なら積和を保存する
２．では、モデル理論では、何を保存するのか？
簡単には、宇宙A,Bで 射：A→B で、集合基礎論として数学理論を展開する舞台として欲しい数学要素が全て過不足なく揃うこと
かな？ 宇宙A,Bともに
数学的には、宇宙A内の任意の数学要素が 宇宙Bにある
また、その逆も成り立てば、射：A→Bが同型としてよいとしましょう
３．さて、おっしゃるように、階層構造を考えるのが筋でしょう
つまり、宇宙内の個別の数学要素を考えるのではなく、まずは階層を考えれば良い
宇宙A,Bで、Aで到達できる階層がBにあれば、同型
なければ、同型でな�
825:｢ そして、AとBで階層までは一致しているなら、じゃ準同型かな？とか（適当でスマンｗ） こんな話じゃないでしょうか？（＾＾ で、へんなオッサン（おサル）がいて、私の数学ダジャレで書いた （>>757） ”いわゆる同型を除いて一意と考えられる”に 顔を真っ赤にして、アサッテのツッコミ(>>762)をしてくるから オッサン、なに血迷って、墓穴掘ってんだぁ～？ ってことですよｗ （”同型”の意味、代数の同型と 集合基礎論の宇宙の同型では、違うでしょ（上記の通り） 厳密な話をしだしたら、一行のダジャレに１頁の解説いるわな、シャレにならんぜ！ｗｗ（＾＾； ） まあ、スレチだから、この程度で
826:粋蕎 ◆C2UdlLHDRI
20/04/20 12:06:48 oyGS3XIo.net
妄想？
↓事実じゃろ
>>426-443にて
おどれ『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、正式に成立
IUTT主張派を犯罪者呼ばわりしても地獄の世界｡
IUTT否定派を犯罪者呼ばわりしても地獄の世界｡
数学者は数学的成果を挙げるに当たり品行方正さを欠かしては、闇に消える。所詮、数学界も人間界｡
827:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 12:11:03 jS1N2Wjo.net
>>781
>＞数学基礎論的・論理学的に非自明な操作
>おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ
>そういうことは必要ない、というのがリンク先の文書の主旨
おサル違うよ
望月IUTは、圏論ベースだから
そもそも、グロタンディークの数学だし
到達不能基数を含む グロタンディーク宇宙の数学だよ
それに”操作”というキーワード落として
”「巨大基数の存在を前提する」とかいう話かと思われ”なんて回答は
問いに正面から答えてないぜ
（国語でアウトだな）
（そもそもが、山下解説が怪しいのだけれどｗ（＾＾； ）
828:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 12:16:05 jS1N2Wjo.net
>>783 タイポ訂正
宇宙A,Bで、Aで到達できる階層がBにあれば、同型
↓
宇宙A,Bで、Aで到達できる階層がBにあれば、同型かも
（同型と断定するとまずいか（＾＾； ）
829:１３２人目の素数さん
20/04/20 12:46:55.78 lnvD9PiA.net
センセーショナルな内容の論文のギャップが指摘されたら、じゃあ俺がギャップを埋めてやるよという奴が現れるはず
でもIUTについてはそれは起きていない
それどころか、ショルツはIUTは間違っているとさえ主張している
これはなぜか？
830:１３２人目の素数さん
20/04/20 13:02:02.26 jmWfkEw+.net
>>783
＞あなたはレベルが高そうだねぇ
正規部分群の定義も間違える工学部卒の数盲の君より
レベルの低い人なんてまずいないよ
＞細かい定義抜きで、日常の雑談風でやりましょう
君は定義を読まずに 自分勝手な俺様定義をでっちあげるから間違う
雑談は馬鹿の証
831:１３２人目の素数さん
20/04/20 13:06:31.85 jmWfkEw+.net
>>785
＞おサル違うよ
そう私は君がおサルと思ってる人とは全く違う
以下は意味不明なので黙殺
論理的に思考できない統合失調症患者には困ったものだね
＞（そもそもが、山下解説が怪しいのだけれど）
君の読解がオカシイ
山下剛の解説は、実質的に宇宙の取り換えが便宜的であると述べている
つまり君がナイーブに言いたがってたことと同じ
君はそんなことも読み取れないのかね？
832:１３２人目の素数さん
20/04/20 13:13:38.10 OrFXa98B.net
モッチーの数学力はわからんが、
政治力はアインシュタイン級だな。
833:１３２人目の素数さん
20/04/20 13:17:54.28 jmWfkEw+.net
>>699
＞宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
＞スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
＞一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
＞一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
＞あくまで 1 つの Grothendieck 宇宙の中で考えて，その中に別々にスキーム論があって,
＞それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
下2行では、実際には宇宙そのものを取り換えるわけではない、と云ってる
別々のスキーム論というものが具体的にどういうものかは知らないが、
集合論の中で、異なる群が存在し得るように、
異なるスキームが存在し得るから、問題ないだろう
834:１３２人目の素数さん
20/04/20 13:29:42 jmWfkEw+.net
ｽﾚﾘﾝｸ(math板:157番)
こいつが社長だったら、部下は💩プロジェクトに金出させるの簡単そうだな
なんか見た目だけもっともらしいPPT一枚見せればいいんだから
チョロいチョロい
835:１３２人目の素数さん
20/04/20 13:36:02 /bB1O278.net
↑悪魔の囁き(やってます。)↑
836:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 13:40:34 jS1N2Wjo.net
>>791
>＞宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
>下2行では、実際には宇宙そのものを取り換えるわけではない、と云ってる
同意
１．「実際には宇宙そのものを取り換えるわけではない」は、正しい
２．しかし、”宇宙際”つまり ”Inter-universal”の説明がない
（蛇足だが、”国際-ｘｘ”なら、国は二つ以上必要だ）
３．なので、山下説明は、上記１はOKだが、上記２には不足です
837:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 13:43:27 jS1N2Wjo.net
>>792
PPTを見る前に、人を見る
おさるが100PPT出しても、おサルの顔を見て、「ボツ！」
柏原先生＆玉川先生二人なら、PPTなどいらない！ 「証明は正しい」の一言で「OK～！！」（＾＾；
838:１３２人目の素数さん
20/04/20 14:03:47 jmWfkEw+.net
>>794
＞”国際-ｘｘ”なら、国は二つ以上必要だ
こいつホント馬鹿だな
工学部ってこんな馬鹿でも卒業できるんだ
さすが工員の職業訓練機関だなｗ
839:１３２人目の素数さん
20/04/20 14:06:30 ysfKDHs1.net
なんか擁護派しんみりしちゃったな
840:BLACKX
20/04/20 14:10:29.67 zxPN9A/a.net
擁護派は残念な奴が図々しく入って来てまともな論議が出来なくなってしまったからな
841:粋蕎
20/04/20 14:16:00.35 oyGS3XIo.net
製造販売系の板は土日に人の出入りが変わる。…となると
もしやアンチは仕事で此のスレに居るんかのう？
842:現代数学の系譜 雑談
20/04/20 14:20:31.38 jS1N2Wjo.net
>>799
粋蕎さん、どうも
テレワークか、失業引きこもりか、多分後者か（＾＾；
843:現代数学の系譜 雑談
20/04/20 14:21:39.17 jS1N2Wjo.net
>>797-798
>擁護派は残念な奴が図々しく入って来てまともな論議が出来なくなってしまったからな
逆だな
アンチがひど過ぎるから
消毒薬を撒きに来たんだｗw（＾＾；
844:現代数学の系譜 雑談
20/04/20 14:22:50.65 jS1N2Wjo.net
どうせ、年内に「IUT白（OK）」で決着するけどな
別に、ワーワーいうまでもないけどね
祭だからな、IUT祭だよ
845:BLACKX
20/04/20 14:24:23.67 zxPN9A/a.net
アンチと否定派はきっちり分けてくれよ？
まぁ餅アンチ体質の奴が居るのは薄々感じてはいる
でもお前見たいな過激擁護派もこっちからしたら擁護派じゃなくてアンチの仲間入りだから気を付けてくれ
846:現代数学の系譜 雑談
20/04/20 14:28:34.62 jS1N2Wjo.net
>>796
＞＞”国際-ｘｘ”なら、国は二つ以上必要だ
まあ、「なんとか国際ホテル」なんてのもあって、それ場所が日本だけだったりねｗ
でもね～、英文の立派な論文の名前でさ、”Inter-universal”って銘打ってさ
Q：「"Inter-universe"って？」
A：「"universe"は、一つです」という説明も、なかろうぜ、山下先生よｗ（＾＾；
847:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:32:53 jS1N2Wjo.net
>>803
BLACKXさんよ
こっちからしたら
数学の議論と数学外の議論をきっちり分けてくれ
そして、数学外のアンチ�
848:ｫちがいの議論は、別スレでやってほしい そうすれば、IUTの数学なんて、おれら入れないレベルんだわ 本スレ：数学主体、数学外：アンチ主でも可、応援スレ：おれのスレ の３分くらいでどうか？ 以前、IUTスレの初期はそうだったんだ いま、4月3日のプレス発表で、にわかが増えて、スレのレベルと話題が急速に数学自身からずれているんだ だから、消毒薬まきに来ているんだ
849:BLACKX ◆SvoRwjQrNc
20/04/20 14:34:27 zxPN9A/a.net
だからお前主のスレあるだろ向こうでやってろって…
850:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:35:27 jS1N2Wjo.net
>>805 訂正と補足
訂正
そうすれば、IUTの数学なんて、おれら入れないレベルんだわ
↓
そうすれば、IUTの数学なんて、おれら入れないレベルなんだわ
補足
以前、IUTスレの初期はそうだったんだ
（初期のIUTスレは数学の議論が主だったってことね）
851:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:36:11 jS1N2Wjo.net
>>806
ここえね～～ｗ
おれは、だれの指図もうけないｗｗ（＾＾
852:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:37:25 jS1N2Wjo.net
>>808 タイポ訂正
ここえね～～ｗ
↓
きこえね～～ｗ
残ねですねｗ
853:BLACKX ◆SvoRwjQrNc
20/04/20 14:39:39 zxPN9A/a.net
はいNG
854:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:40:18 jS1N2Wjo.net
まあ、慌てなさんなってこと
勝負はついているんだ
十中八九、ショルツ氏の勘違いか、早とちり
今年の国際会議を経て、世界の数学界に認知されいくIUT
そういう流れは、もう止められない
（５ｃｈで議論すべきは、「なぜIUTが成立しているのか？」だけだよｗ（＾＾； ）
855:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:41:10 jS1N2Wjo.net
>>810
とうめいあぼ～んしてくれたかい？
黙ってなってことよｗ（＾＾；
856:BLACKX ◆SvoRwjQrNc
20/04/20 14:46:11 zxPN9A/a.net
擁護派ほんといないんだなスッカスカやん
857:１３２人目の素数さん
20/04/20 14:57:09 sKHamN7Z.net
>>813
うさんくらいレスばっかりだから逃げてしまった
858:BLACKX ◆SvoRwjQrNc
20/04/20 14:59:29 zxPN9A/a.net
>>814
だよな。
肯定派が可哀想過ぎる
859:１３２人目の素数さん
20/04/20 15:00:19 jmWfkEw+.net
>>808
＞おれは、だれの指図もうけない
◆e.a0E5TtKE サイコパス全開ｗ
860:１３２人目の素数さん
20/04/20 15:02:42 jmWfkEw+.net
>>801
＞アンチがひど過ぎるから消毒薬を撒きに来たんだ
といって、サイコパスが💩カキコ撒きまくる
例「Grothendieck宇宙は只一ぉぉぉぉぉつ！」（ドヤ顔）
861:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 15:08:25 jS1N2Wjo.net
>>815
肯定派は、余裕でしょ
だった、BLACKX さん、あんたが否定派か肯定派かなんかしらんけど
肯定派には、柏原、玉川両先生がついた
で、否定派が本気でIUT否定したいなら
今年の国際会議でもなんで、良いから
実名出して、RIMSに殴り込みかけなよ
「おれはSSの代理です。ショルツ先生とはメールで教えてもらいました～」ってやってくれやｗ（＾＾；
数学なんだからさｗｗｗ
862:１３２人目の素数さん
20/04/20 15:08:35 jmWfkEw+.net
💩サイコパス 阪大卒のくせに
東大の応援歌を唄う
ただ一つ
URLﾘﾝｸ(www.youtube.com)
♪ただ一つ 旗かげ高し
いまかがやける 深空の光
天寵を負える子ら 友よ 友
ここなる丘に 東大の旗立てり
伝統の旗 東大の光
たたえ たたえん たたえ たたえん
863:１３２人目の素数さん
20/04/20 15:11:06 jmWfkEw+.net
>>802
◆e.a0E5TtKEは真っ黒
「Grothendieck宇宙は只一つ」発言で
◆e.a0E5TtKE祭り絶賛開催中ｗｗｗ
864:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 15:12:17 jS1N2Wjo.net
>>818 訂正と補足
訂正
だった、BLACKX さん、あんたが否定派か肯定派かなんかしらんけど
↓
だって、BLACKX さん、あんたが否定派か肯定派かなんかしらんけど
＜補足＞
本気で、「IUTダメ」って思うなら
学会で、プロ相手にやるべきでしょ
５ｃｈでそんな（IUT否定の）議論しても、時間の無駄
（いまや、素人の無駄な議論でしかない）
もう、IUT成立前提で、「IUTをどう理解するか」とか
５ｃｈで議論すべきは、後者です
865:１３２人目の素数さん
20/04/20 15:15:28 jmWfkEw+.net
>>804
”Inter-universal”に対する抗議は望月新一本人に行ってくださいね
◆e.a0E5TtKE
「Inter-universal マジワロスｗｗｗ universeはただ一つだっつーの」
望月
「誰だ？この●違いは つまみ出せ！！！」
山下
866: 「はっ！」 ┌┬┬┬┐ ―――┴┴┴┴┴―――――、 /. ￣￣￣//.￣￣| ||￣￣￣|||￣ |｜ ＿＿＿＿＿＿＿＿＿＿ /. ∧// ∧ ∧| || ||| |｜ ／ [/＿＿__(ﾟ_//[ ].ﾟДﾟ,,) ||＿＿＿||| |｜ ＜ ◆e.a0E5TtKEを迎えに来ました ||_. * ＿|_|￣￣ ∪|.|. |ヽ. _|｜ ＼＿＿＿＿＿＿＿＿＿＿ lO|o―o|O゜.|二二 大|.|阪 精神病院 || | ∈口∋￣_l＿＿ｌ⌒ｌ_|＿＿＿__|_ｌ⌒ｌ_|| ￣￣`ー'￣ `ー' `ー' `ー'
867:１３２人目の素数さん
20/04/20 15:17:56 jmWfkEw+.net
>>811
「勝負はついているんだ
十中八九、ショルツ氏の勘違いか、早とちり
今年の国際会議を経て、世界の数学界に認知されいくIUT
そういう流れは、もう止められない」
.／ 荒し ＼
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／>>1001＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ C⌒ ヽ
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼(⌒─⌒) (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ； ） うわー、こっち見てるよ
868:１３２人目の素数さん
20/04/20 15:20:06 jmWfkEw+.net
>>818
「肯定派は、余裕でしょ
肯定派には、柏原、玉川両先生がついた
で、否定派が本気でIUT否定したいなら
今年の国際会議でもなんで、良いから
実名出して、RIMSに殴り込みかけなよ」
.／ 荒し ＼
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／>>1001＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ C⌒ ヽ
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼(⌒─⌒) (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ； ） うわー、こっち見てるよ
869:１３２人目の素数さん
20/04/20 15:25:38 M7iV6HdW.net
NG ID推奨。一匹毎日ID真っ赤にしてる基地外がいるのがわかる。何書いてるかは知らんが
870:１３２人目の素数さん
20/04/20 15:25:48 jmWfkEw+.net
IUTスレッド読者の皆様へ
IUTスレッドは以下に移動致しました
Inter-universal geometry と ABC予想 否定派
ｽﾚﾘﾝｸ(math板)
本スレッドは これより
「◆e.a0E5TtKE トンデモ祭り」
の会場となります
871:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 15:32:09 jS1N2Wjo.net
>>824
おサル（ID:jmWfkEw+）、馬脚を露すｗ
（下記>>789より）
「＞おサル違うよ
そう私は君がおサルと思ってる人とは全く違う」
ってだれの発言だよ？
おサルは、追いつめられるとAA連発するクセがあったｗ
（おサルに、”馬脚を露す”は、相応しくないかもしらんがねｗｗ）
（参考）
(引用開始 おサル（ID:jmWfkEw+）
>>789 ：１３２人目の素数さん[] 投稿日：2020/04/20(月) 13:06:31.85 ID:jmWfkEw+
＞おサル違うよ
そう私は君がおサルと思ってる人とは全く違う
(引用終り)
872:１３２人目の素数さん
20/04/20 15:34:14.88 jmWfkEw+.net
>>825
＞一匹毎日ID真っ赤にしてる基地外がいる
＞何書いてるかは知らんが
◆e.a0E5TtKE
「Grothendieck宇宙は只一ぉぉぉぉぉつ！」（ドヤ顔）
873:１３２人目の素数さん
20/04/20 15:36:24.59 jmWfkEw+.net
>>827
誤 追いつめられると
正 相手が自爆すると
AA祭りだ！！！
| | |
| | |＿ドｯドｯドｯドｯド!
| | | /|
|/〉|//| (⌒(⌒)⌒)
//|_|//|⌒祭だ!祭だ!)
/ |_|// (⌒( ∧∧⌒)))
| | |/ (⌒( (ﾟДﾟ)つ)
|/〉∧⌒ (⌒(つ ｜ ⌒)
//|∧｜遅れるな Ｏ⌒)
/||L|/∧_∧)し⌒ミ))
||/( (´∀`)つ ∧_∧
|/ ( (]つ / と(･∀･ )
/ | (⌒) ヽ⊂[｜)
（し⌒ ミ))(⌒) ｜
￣(＿))
突撃―!!
874:１３２人目の素数さん
20/04/20 15:37:32.92 jmWfkEw+.net
盛り上がろうぜ！！！
URLﾘﾝｸ(www.youtube.com)
875:現代数学の系譜 雑談
20/04/20 15:41:57.10 jS1N2Wjo.net
>>826
おサル頑張って
おれが思うに
”Inter-universal geometry と ABC予想 否定派”
って、無知丸出し
１．「ABC予想 否定派」ってネーミングがさ、アホ
”ABC予想”を否定したいのか？ｗ
”ABC予想と Inter-universal geometry 否定派”じゃない？ｗｗ
２．いまさら、RIMSが柏原＆玉川先生の二人の超大物で記者会見して
それを、５ｃｈで、ド
876:素人たちが、否定の議論をすることに、どんな数学的意義があるのか？ ３．おれは、そこには書かない。おそらく、数日でドボン（数学板の沼底に沈む）でしょ！ おサル頑張ってねｗ（＾＾；
877:１３２人目の素数さん
20/04/20 15:48:48.36 jmWfkEw+.net
>>831
なに拗ねてんだ、この馬鹿ｗ
数論幾何も分からん素人がIUTに興味もつだけ無駄だろ
数論幾何が分かる玄人はこんな駄スレに書かない 読むだけ脳味噌が腐る
こんなスレはないほうがみんなのためなんだよ
878:１３２人目の素数さん
20/04/20 16:03:30.12 jmWfkEw+.net
IUTは他の数学者に理解不能な点で
カラコルムの奥地フンザの住民の話す
ブルシャスキー語みたいなもん
URLﾘﾝｸ(ja.wikipedia.org)
879:現代数学の系譜 雑談
20/04/20 16:08:19.83 jS1N2Wjo.net
>>833
IUTはおサルに理解不能な点で
おサルの奥地フンザの住民の以下の数学レベルと判明しましたｗ（＾＾；
880:１３２人目の素数さん
20/04/20 16:11:22.42 jmWfkEw+.net
>>835
群論は◆e.a0E5TtKE に理解不能な点で
◆e.a0E5TtKEはおサル以下のイヌネコ並みと判明しました
881:現代数学の系譜 雑談
20/04/20 16:14:43.81 jS1N2Wjo.net
>>832
>数論幾何が分かる玄人はこんな駄スレに書かない 読むだけ脳味噌が腐る
>こんなスレはないほうがみんなのためなんだよ
同意だ
なので、宣伝
IUT入門情報貼っておくよ
IUTの数学の内容に興味ある人はどうぞ（＾＾；
（ああ、あのスレに無理して書く必要ない。ROMで結構ですｗ（＾＾； ）
”数論幾何”についての、望月先生のポンチ絵（＝マンガ）もあった気がする
（ご参考）
Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板:135番)
>>＊）ここは、しっかりRIMSが分り易く説明してほしい部分です！（>>115ご参照）
>"エグゼクティブサマリー"という用語がある（下記）
下記を見つけた（＾＾
これ いいね
下記の[11]と[17]、いま読むと、なんとなく分かった気にさせてくれるわ（＾＾
これの2020年版を出せば良いのでは？
いまのIUTの４編の論文とのヒモ付けをして、”詳しくはIUT論文のここにあるよ”と
みたくすれば（＾＾；
PDF略。元スレみてださい
882:１３２人目の素数さん
20/04/20 16:28:36.52 jmWfkEw+.net
>>836
＞同意だ
言葉は要らない
群論の初歩も理解できなかった素人の貴様は永遠に黙れ
＞IUT入門情報
そんなものはない
素人がいきなりフンザに行ったって住民と会話できないｗ
＞"エグゼクティブサマリー"
素人の貴様が
エグゼクティブ オフィサー（執行役員）
になれるわけなかろうが
883:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 16:43:57 jS1N2Wjo.net
>>837
>＞IUT入門情報
>素人がいきなりフンザに行ったって住民と会話できないｗ
同意だが
おれも、あの（>>836）PDFを見ても、最初はさっぱりだったが
加藤文元本みて、あと遠アーベルの復元とかを合わせてみると
なんとなく「IUTの狙いって、こういうことか」と
朧気に浮かんできたものがあるんだ
で、そういうイメージ無しに、IUT本体論文読んでも
富士の樹海に迷い込んだ旅人状態で
ショルツ先生みたいに、「富士の樹海のCor3.12は成立していない～！」というけれど
望月先生にしてみれば、「そこは、旅人がよく遭難するところで、しっかり遠アーベル勉強してください。学部から修士レベルに戻ってね」ということ
まあ、そのうちはっきりしてくるよ（＾＾；
884:１３２人目の素数さん
20/04/20 16:55:47.23 jmWfkEw+.net
ｽﾚﾘﾝｸ(math板:135番)
のリンクのpdfを全部ダウンロードしてざっと目を通した
半分は望月でなくてもその筋の人なら誰でも考えそうなこと
（複素、ｐ進、整数上のスキームの全
885:体的統制） しかも研究の方向性を述べているに過ぎない （例えば、「絶対数学」のようなもの） もう半分は望月独自のものだが正当性の証拠がない 具体的にいえばテレンス・タオがいうような「他の有意義な結果」 そもそもの施政方針が大袈裟であればあるほど、 ABC予想以外の有意義な成果が得られそうなものなのに そういうものがまるでない これは不可解というより不審
886:１３２人目の素数さん
20/04/20 16:59:22.54 Ya5bb82q.net
理解するぞ、理解するぞ、理解するぞ、理解するぞ、理解するぞ
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ
887:粋蕎
20/04/20 17:01:52.57 oyGS3XIo.net
>>811
…瀬田氏。何やっとるん？儂の存在を忘れた訳じゃなかろう？儂から修正くらいたいん？
> 早とちり
早とちり？あんた何を言うとるん？
確かにSS兄弟はOversimplification & 十把一絡げ拡大解釈をしとる節が有るが
其れを早とちりと言うのは余りにも、其れこそ 十把一絡げ & 高括り & プロに唾する 解釈じゃろ｡
んなもん「ホーストも右に回らないと」言うとるんと同じ｡
→ ホーストに代わり佐竹とマッチング SUNTORY BOSS
888:粋蕎
20/04/20 17:04:30.29 oyGS3XIo.net
なかなか中立は居らん様じゃのう｡
BLACKX氏は中立で居て呉れるじゃろうか？
889:１３２人目の素数さん
20/04/20 17:05:06.34 jmWfkEw+.net
>>837
＞＞素人がいきなりフンザに行ったって住民と会話できないｗ
＞同意だが
同意というなら即、黙れ 永遠に
＞あの（>>836）PDFを見ても、最初はさっぱりだったが
群論も分からん馬鹿にわかるわけないだろ
＞加藤文元本みて、あと遠アーベルの復元とかを合わせてみると
＞なんとなく「IUTの狙いって、こういうことか」と
＞朧気に浮かんできたものがあるんだ
素人の妄想ｗ
＞で、そういうイメージ無しに、IUT本体論文読んでも
＞富士の樹海に迷い込んだ旅人状態で
ガロア理論で、迷子になるヤツがなにほざいてんだｗ
＞ショルツ先生みたいに
＞「Cor3.12は成立していない～！」
＞というけれど 望月先生にしてみれば、
＞「そこは、旅人がよく遭難するところで、
＞ しっかり遠アーベル勉強してください。
＞ 学部から修士レベルに戻ってね」
＞ということ
ショルツが遠アーベルで間違ったと思ってる時点で馬鹿
ショルツが指摘しているのは、望月が目指している
「スキームの全体的統制」の方法がそもそもオカシイ
んじゃね？ということ
おかしくないというなら、説明し切って見せる必要がある
デキなければ？ 望月の完全敗北！
890:BLACKX
20/04/20 17:10:06.57 3+c+yW/D.net
>>842
私の研究ともリンクするところあって中立
だけど証明の方法など立証の立場は否定派