[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 50 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
623: 2020/04/19(日)13:03 ID:UbuHltnc(18/43) AAS
>>621
一応数学科卒だからね 工学部卒よりは数学分かってるよ
そうじゃなきゃ大学卒業できないし
ついでにいうと高卒の君よりも全然分かってるよ
残念だったね
で、KingOfUniverse って誰？
Destroyer of the Universeのほうが好きだな
省1
624(1): 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)13:03 ID:8BOyW/Ba(9/18) AAS
相っ変わらずキャラ変すれば済むと思っとる様じゃな。ますます king様のβaka弟子 じゃな｡
『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、成立済み
625: 2020/04/19(日)13:06 ID:UbuHltnc(19/43) AAS
>>624
なんか妄想が酷いようだね・・・クスリ飲んだら？
626: 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)13:08 ID:8BOyW/Ba(10/18) AAS
バカじゃ
> だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
言わんでええ事を言う癖は直っとらん様じゃな｡
627: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)13:08 ID:ijGx7lvx(4/27) AAS
>>613
>査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
多分、そうならない
「全て忘れられ一旦リセットされて」と出来ないから
海外の数学者は、いらいらで、ストレスたまっていると思う
つまり、IUTのシロクロを早くしろってこと
IUTがグレーで、「全て忘れられ一旦リセットされて」と考えて
省11
628(2): 2020/04/19(日)13:13 ID:I4YEALgo(1) AAS
>>612
グロタンディークの何千ページが、それ以前の近しいと見なされた分野の適当な学者にどーんと届いたとする
「何だこれ もう少し整理できないのか 半年以上はかけて熟読精査して、俺様の今のありていの研究の役に立つという保証はあるのか」「というわけでもっと短くできないのかときつく言っておきました エヘン」
我輩の辞書に学問に王道なし、元は幾何学に王道なし、数論幾何学に王道なしという文字はなぜかない
当たり前の想像もできないバカまるだしのおまえどうすんの どうすんの
629: 2020/04/19(日)13:15 ID:UbuHltnc(20/43) AAS
Jan Bergstra オランダの計算機科学者だね
オランダは証明系に関してはAUTOMATH以来の長い伝統があるんだよ
de Bruijnはその筋ではいろいろ有名だよね
名前、正しく読めるかな
630: 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)13:16 ID:8BOyW/Ba(11/18) AAS
Inter-universal geometry と ABC 予想 46
2chｽﾚ:math
254:１３２人目の素数さん 2020/04/05(日) 12:38:28.42 ID:NkAq1xzA
> 229
『まったくゼロからの論理学』岩波書店
の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語
省37
631: 2020/04/19(日)13:21 ID:uMwLCcbW(3/11) AAS
>>558
「異例な記者会見をやる以上、RIMS側は絶対の自信があるはず」
君は全然流れがわかってないな〜
「IUTで言えば、ショルツ先生は法定外の人」
法定外のわかないでしょ
632: 2020/04/19(日)13:23 ID:jRO6JivO(5/17) AAS
>>618
＞彼女はいたことない
Ｍ氏。。。？
633: 2020/04/19(日)13:30 ID:jRO6JivO(6/17) AAS
>>619
全角文字使用は…
(恐らく日本の平均年齢の上昇に伴って…)
５ちゃん利用者の年齢層が上昇してると考えられるから、視力が低下してる人が増えてると想定して対応してる、ってのはありますね…
634: 2020/04/19(日)13:39 ID:jRO6JivO(7/17) AAS
>>628
これです
635(1): 2020/04/19(日)13:39 ID:l1llX2xh(2/4) AAS
視力というか老眼だね……
636(1): 2020/04/19(日)13:40 ID:6uTLkXH+(1) AAS
おデートもしたことないとしたらちょっとフビンかも
彼女や妻はこちらの言い分あちらの言い分あり面倒かもしれんがおデート自体はなかなか楽しいものだ
637: 2020/04/19(日)13:43 ID:jRO6JivO(8/17) AAS
>>635
白内障、緑内障、網膜剥離、飛蚊症、黄斑変性症、、、
目の老化現象ですね
638: 2020/04/19(日)13:47 ID:jRO6JivO(9/17) AAS
>>636
ちょっと処じゃ無いと思います。。。
。。。もう帰って来ない。。。
〜たった一時期だけの青春〜
彼女もデートも知らずに
数学だけで人生終わっちゃうのか。。。？
もっちー。。。可哀想過ぎ。。。(;;)
639: 2020/04/19(日)13:59 ID:91JQQkoh(1) AAS
>>579
整数と多項式の類似って整数論・数論幾何の大テーマだよね。
なので、証明が正しければ、本来どんどん応用され広がっていくはずのもの
にもかかわらずそうならないのはすでにおかしい。
640: 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)14:02 ID:8BOyW/Ba(12/18) AAS
どんなに上手に隠れても
腐った性根が見えてるよ
だんだん誰が見っかった
Inter-universal geometry と ABC 予想 43
2chｽﾚ:math
226:１３２人目の素数さん 2020/04/19(日) 11:04:03.84 ID:UbuHltnc
> 225
省7
641(1): 2020/04/19(日)14:05 ID:JKVCGYoP(5/7) AAS
>>628
何が言いたいのかわからないが、OPはこう続けている
>I am very sorry to see all these years later that neither the referees who were eventually obtained
>nor the editorial board obtained any real improvement on the clarity of the way the material is presented,
>not even at least an Introduction presenting key new insights in some conventional manner
>(to compensate for the way the technical material is presented).
少なくとも編集委員会は彼にIUTの"key new insights"を説明することができなかったんだよ
642(4): 2020/04/19(日)14:11 ID:uMwLCcbW(4/11) AAS
科学の論文は、
? 反証可能性が残されるように、開かれていなければならない
その上で
?反証が存在しないことが示される
こうして初めて正しいものと認められる
省7
643(1): 2020/04/19(日)14:22 ID:jRO6JivO(10/17) AAS
>>642
＞反証が存在しない事を示す
無理では？
反証が存在する事を示すしか無いのでは？
644: 2020/04/19(日)14:23 ID:jRO6JivO(11/17) AAS
＞反証が存在しない事を示す
不可能ちっくｗ
645(1): 2020/04/19(日)14:23 ID:F4sLKV96(1/2) AAS
数学は科学ではないけどな
646: 2020/04/19(日)14:24 ID:jRO6JivO(12/17) AAS
ウケたｗ
647: 2020/04/19(日)14:26 ID:jRO6JivO(13/17) AAS
もしかして私は今、人類に新たなる叡智を授ける神の降臨を見たのでしょうか...
w
648: 2020/04/19(日)14:28 ID:l1llX2xh(3/4) AAS
>>645
「数学は科学ではないと考える人が存在する」であれば真だね
すべての人に対して……、であれば偽だ
649(1): 2020/04/19(日)14:33 ID:F4sLKV96(2/2) AAS
分類上数学は科学ではないということ
「直角三角形を三角形でないと考える人が存在する」という主張は正しいだろうが
分類上直角三角形は三角形
650: 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)14:43 ID:8BOyW/Ba(13/18) AAS
社会科学
数理科学
Ph.Dの意味由来
651(1): 2020/04/19(日)14:45 ID:uMwLCcbW(5/11) AAS
>>643
数学の場合だと、証明の論理に矛盾が
なければ、反証はないでしょう
（というか、そんな簡単なことも理解できない？）
652: 2020/04/19(日)14:47 ID:l1llX2xh(4/4) AAS
>>649
三角形や直角三角形の定義に関して同意が取れてれば、その中のすべての人を取っても真だろうね
科学の分類とやらは同意が取れているのかい？
653: 2020/04/19(日)14:47 ID:jRO6JivO(14/17) AAS
>>651
それアンチに言ってｗ
ブーメランｗｗｗ
654: 2020/04/19(日)14:48 ID:jRO6JivO(15/17) AAS
アンチウケるｗｗｗ
655(2): 2020/04/19(日)14:53 ID:jRO6JivO(16/17) AAS
理解出来ないのに・・・
「ギャップを確信」ってネットに書き込んじゃう“脅威の異能の持ち主達”が跋扈するｗわりには・・・
査読者のプライベートでの研究者仲間への「確信している」発言に過剰反応しちゃったりｗ
656: 2020/04/19(日)14:56 ID:UbuHltnc(21/43) AAS
某スレッドにて
＞説明の何百ページの文書はいらないんだ
＞ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
説明は十分かどうか決めるのは、説明する側でなく説明される側
こういう基本的なことが分からない会社員は…無能だよね
657: 2020/04/19(日)14:56 ID:jRO6JivO(17/17) AAS
アンチの方達の中に少なからず目撃する融通無碍な脅異の能力には・・・
日々驚きを持って感嘆致しておりますｗ
658: 2020/04/19(日)14:59 ID:uMwLCcbW(6/11) AAS
まあ要するに、まずIUT論文は、すくなくとも数論幾何学の分野の人に
わかるように書き直さないと、論文になっていないのではないか、ということです
659: 2020/04/19(日)15:01 ID:UbuHltnc(22/43) AAS
>>642
＞?反証可能性が残されるように、開かれていなければならない
＞?反証が存在しないことが示される
数学の場合
?主張したい命題が論理式として記載可能
?主張したい命題の否定から矛盾が導かれることを示す（これが証明）
?は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
省2
660(2): 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)15:06 ID:8BOyW/Ba(14/18) AAS
>>655
アンタは何を主張したい？何となくは分かるが
アンタの『意思』も知りたいんで『明言』して頂きたい｡
『IUTは正しく、ショルツ初めアンチは無能』、其う言いたいんか？
661(1): 2020/04/19(日)15:10 ID:uMwLCcbW(7/11) AAS
そうですね
つまり作法として、「”できるだけ”多くの人に反証をあげてもらいやすいように、
論理を丁寧に書いて」
それでも、なおかつ反証がない、論理的に矛盾がない
ことを第三者たちが確認することによって、はじめて正しい証明とみとめられる、
そういうものではないか、ということです
662(1): 2020/04/19(日)15:18 ID:JKVCGYoP(6/7) AAS
京都の人や関係者には理解できるけど部外者には理解できないってことは、論文に書いていないコツがあるんだろ
それを教えて欲しい
663: 粋蕎 2020/04/19(日)15:18 ID:8BOyW/Ba(15/18) AAS
>>661
言いたい事は分かったが
> 『IUTは正しく、ショルツ初めアンチは無能』
と言いたいのか否かに関しては？
664: 2020/04/19(日)15:20 ID:SEKUrtAT(1/2) AAS
>>660
自分はどう頑張っても今更ＩＵＴＴを理解出来るわけ無いです。
ショルツ教授の仰ってる意味も掴めないですね。
だだ(「詐欺」だの「犯罪」だの「有罪」だの攻撃的な強いワードをネットに出せるからには当然それなりの確証があるはずだし、それなら５ちゃんではなくＲＩＭＳ関係者に直接指摘するべき)
って考えてるだけです。
665: 2020/04/19(日)15:20 ID:uMwLCcbW(8/11) AAS
ここでいう第三者はもちろん査読者だけのことではなくて、この場合は数論幾何学（
特にp進体上なんでしょうか、詳しくは知りませんが）の分野の方々ということになります
ここで一人でも、こことここがわからない、といわれればそこを書き直し、説明しなおす
ことが必要ですし、逆に、この方々から一人も異議がでなければ、
まず、認められた、ということになるのだと思います
666: 2020/04/19(日)15:22 ID:SEKUrtAT(2/2) AAS
>>660
ＩＤ変わりましたが>>655です
667(1): 2020/04/19(日)15:22 ID:5yNz6DNQ(1) AAS
望月さんもまだ何も終わってなかったか
668: 2020/04/19(日)15:26 ID:uMwLCcbW(9/11) AAS
しかし、個人的な印象としては、発表から８年もたっており、その間、指摘があったにも
かかわらず、状況が変わっていないことから察すると、証明はうまくいっていない
のではないか、とは思います
669: BLACKX ◆SvoRwjQrNc 2020/04/19(日)15:26 ID:qnt75GLx(3/7) AAS
>>667
始まってすらないじゃん
例えるなら料理のいろはを教える時に料理とは二足歩行の者が行う行為だみたいな事言って、反論は無いけどだから？みたいな料理について言及しろよって段階
670: 2020/04/19(日)15:26 ID:UbuHltnc(23/43) AAS
>>662
＞論文に書いていないコツがあるんだろ
ＳＴＡＰ細胞かｗ
671: 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)15:30 ID:8BOyW/Ba(16/18) AAS
ああ、猿な一石、king様の弟子ことβに対する皮肉か
672(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)15:59 ID:ijGx7lvx(5/27) AAS
>>641-642
(引用開始)
科学の論文は、
? 反証可能性が残されるように、開かれていなければならない
その上で
?反証が存在しないことが示される
こうして初めて正しいものと認められる
省19
673: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)16:01 ID:ijGx7lvx(6/27) AAS
>>672 タイポ訂正
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
↓
望月氏側は、7合目（遠アーベル幾何）からスタートしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
674(1): 2020/04/19(日)16:03 ID:NeHBk0JD(1/3) AAS
数学的には正しい可能性は有っても物理学的にはまあ間違ってる
なのに物理学的な正しさを全面に押し出してる
宇宙際なんて概念は数学の中でしかあり得んて
別の宇宙なんて無いし、有ったと仮定しても相互関係も無い、全く関係無い
おっさんSFの見過ぎ
675(1): 2020/04/19(日)16:08 ID:NeHBk0JD(2/3) AAS
いや、宇宙際をどう定義するかによる
別の宇宙ではなく別の次元との相互関係
次元際なら上手く行くかもね
676(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)16:11 ID:ijGx7lvx(7/27) AAS
>>672 補足
>あと、だれか登山のK2に例えていたけれども
>富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
現代数学があまりにも巨大化専門家しすぎて
登山のK2みたく、ふつうには殆ど上れない
だけど、それなりに装備をして、酸素ボンベも用意してとやれば
ヒマラヤなみ（日本の三浦雄一郎 80歳ギネス）に、かなりの人は到達できるでしょ
省4
677(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)16:16 ID:ijGx7lvx(8/27) AAS
>>674-675
>宇宙際なんて概念は数学の中でしかあり得んて
物理にも、パラレルワールド説はあるけど
ネーミングが懲りすぎというのは同意
宇宙際とか、ホッジシアターだっけ？ なんだかなーｗ（＾＾；
”欅坂受け”ねらいかも（＾＾
>次元際なら上手く行くかもね
省2
678: 2020/04/19(日)16:19 ID:UbuHltnc(24/43) AAS
>>672
ショルツの指摘が成立しなくても、望月の論文は?を満たしてないから無意味だけどな
つまり望月はそもそも山に登ってない 山に登るところから始めよう
679: 2020/04/19(日)16:22 ID:UbuHltnc(25/43) AAS
>>676-677
あなたなんでそんなに必死なの？
680: 2020/04/19(日)16:23 ID:NeHBk0JD(3/3) AAS
次元際はヒッグス場そのものと言える
別次元への出口がエナジーの減衰で
この次元への入口はエナジーを保持する力
681: 2020/04/19(日)16:24 ID:UbuHltnc(26/43) AAS
日本人だからって望月を無条件に支援する理由にはならないよね
むしろ今回の京大数理解析研の措置は日本人として恥ずかしいよね
いかにも内輪の都合で無理矢理アクセプトしたみたいでさ
そういう恥ずかしい真似してほしくなかったよ
682(2): 2020/04/19(日)16:28 ID:UbuHltnc(27/43) AAS
>>677
＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
外部ﾘﾝｸ:ja.wikipedia.org
683: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)16:33 ID:ijGx7lvx(9/27) AAS
>>677
>物理にも、パラレルワールド説はあるけど
スレチだが、行きがかりで、下記貼る
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
パラレルワールドは実在するか
パラレルワールドはSFでよく知られた概念であるだけでなく、実際に物理学の世界でも理論的な可能性が語られている。例えば、量子力学の多世界解釈や、宇宙論の「ベビーユニバース」仮説などである。
省11
684(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)16:36 ID:ijGx7lvx(10/27) AAS
>>682
>宇宙って数学用語、知らないんだね
>外部ﾘﾝｸ:ja.wikipedia.org
IUT読んだ？
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか？
おれは、厳密には違うと思うよ
省1
685(1): 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)16:37 ID:8BOyW/Ba(17/18) AAS
グロたん宇宙は良いが、こっちは貼らんのか？
宇宙 (数学) - Wikipedia
外部ﾘﾝｸ:ja.wikipedia.org
686: 2020/04/19(日)16:46 ID:JKVCGYoP(7/7) AAS
今さら名称の話？
full poly-isomorphismとかは確かに宇宙っぽい考え方なんじゃないの
知らんけど
687: 2020/04/19(日)16:51 ID:UbuHltnc(28/43) AAS
>>684
正規部分群の定義も誤読した人が何言ってるんだろう
＞単なる用語の濫用ならぬ、”乱用”の方と思うぜ
そんなこという人がなんで望月は正しい！と言い張るのか分からん
本当は望月の論文は無意味と思ってるんでしょ？
688: 2020/04/19(日)17:00 ID:UbuHltnc(29/43) AAS
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
省2
689(1): 2020/04/19(日)17:01 ID:mrf31oDM(1) AAS
>>562
それはオボちゃん一派でしょｗ
690(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)17:10 ID:ijGx7lvx(11/27) AAS
>>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. "
って、「宇宙」は、厳密には 大げさすぎる気がする（＾＾
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
省13
691(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)17:18 ID:ijGx7lvx(12/27) AAS
>>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氏がいうのはこういうところかも） ｗ（＾＾；
なお、
省15
692(1): 2020/04/19(日)17:30 ID:UbuHltnc(30/43) AAS
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
外部ﾘﾝｸ:ja.wikipedia.org
693: 2020/04/19(日)17:49 ID:N24RGaNy(1/2) AAS
>>689
仮にも専門家集団のなかから「派」と言える勢力が出てきた時点で単純詐欺では無いと言ってるようなものだ
それなりの理由があるから支持者が現れたんだよ
ノーベル賞候補とも言われた笹井氏が推したのにも理由がある
おまえらは矮小化し過ぎなんだよ
694: 2020/04/19(日)17:50 ID:N24RGaNy(2/2) AAS
>>690
単なる無知から来ている決め付け
695(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)17:55 ID:ijGx7lvx(13/27) AAS
>>692
wikipediaを引用するなら、>>685の粋蕎 さんの引用（下記）が適当だろう
下記では、1)ベン図のU、2)通常の数学の例えばSN、3)集合論のフォン・ノイマン宇宙 V、4)圏論のグロタンディーク宇宙
と、４つ解説されている
では、望月IUTの「宇宙」とは？ まさか、ベン図のUとか下記SNではない
集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
”INTER-UNIVERSAL”だから、最低2つ宇宙がいるけど、どれとどれだい？？ｗ（＾＾；
省15
696: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)17:55 ID:ijGx7lvx(14/27) AAS
>>695
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
任意の 順序数 i に対して Vi を定義する。 Vi のすべての和集合は次のようにフォン・ノイマン宇宙 V となる。
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
省4
697(3): 2020/04/19(日)17:58 ID:UbuHltnc(31/43) AAS
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
省1
698(2): 2020/04/19(日)18:01 ID:vQlbFnVo(1) AAS
>>604
もっちー降臨？！
699(3): 2020/04/19(日)18:03 ID:UbuHltnc(32/43) AAS
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
省11
700: 2020/04/19(日)18:09 ID:IvVUctq/(1) AAS
>>698
え…うそ…
701(1): 2020/04/19(日)18:09 ID:UbuHltnc(33/43) AAS
＞望月IUTの「宇宙」とは？
＞集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでｋが強到達可能基数ならば、グロタンディーク宇宙
702: 2020/04/19(日)18:13 ID:UbuHltnc(34/43) AAS
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL？ありゃ声がデカいだけだろ？」
とかいうとメイト(BABYMETALのファン）に張り倒される
703(1): 2020/04/19(日)18:18 ID:UbuHltnc(35/43) AAS
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
上下前次1-新書関写板覧索設栞歴
あと 299 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s