[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 50 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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の神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
704: 2020/04/19(日)18:28 ID:UbuHltnc(36/43) AAS
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
705(1): 2020/04/19(日)18:36 ID:Aiu1KqVk(1) AAS
そもそも望月や文元などは集合論が分からないから宇宙の意味を議論してもしょうがない
706(1): 2020/04/19(日)18:50 ID:YBBEAUTj(1/2) AAS
>>705
素数論て集合論じゃないの？？
707(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)19:10 ID:ijGx7lvx(15/27) AAS
>>697
>Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
>A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
>数学基礎論的・論理学的に非自明な操作をしているとは
>山下は (少なくとも現時点では) 思っていません.
"非自明な"とか、関係ない説明だよね。質問者の"非自明” or "自明”の定義を
回答者の山下氏自身が、まず定義説明しないと
省20
708: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)19:14 ID:ijGx7lvx(16/27) AAS
>>707 補足訂正
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
inter-ring で良いんじゃない？
↓
inter-ring structureで良いんじゃない？
かな？（＾＾；
709(1): 2020/04/19(日)20:07 ID:UbuHltnc(37/43) AAS
>>707
これは酷い・・・
＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか？
＞Grothendieck 宇宙は、1つだろ？
省3
710(2): 2020/04/19(日)20:26 ID:yMpHhz7D(3/6) AAS
>>707
グロタンディーク宇宙が一つとか、大丈夫か君
711: 2020/04/19(日)20:31 ID:UbuHltnc(38/43) AAS
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
ＩＵＴの前途は闇だよ
712(3): 2020/04/19(日)20:33 ID:uMwLCcbW(10/11) AAS
707は、擁護派の内部分裂かな
713: 2020/04/19(日)20:38 ID:yAKdOBQz(1) AAS
>>706
全然違う分野
714(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)20:40 ID:ijGx7lvx(17/27) AAS
>>709
>＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
>＞なら、inter-scheme logic が素直だろ？
>論をlogicって訳す馬鹿 はじめてみた
>theoryって言葉 知らんのか？
はい
じゃ、問題
省25
715(2): 2020/04/19(日)20:48 ID:UbuHltnc(39/43) AAS
>>714
な、コイツ正真正銘の馬鹿だろ？
716(1): BLACKX ◆SvoRwjQrNc 2020/04/19(日)20:48 ID:qnt75GLx(4/7) AAS
>>712
707はガロアスレの主やぞ一番取り合ったらまずい奴
717(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)20:52 ID:ijGx7lvx(18/27) AAS
>>712
＞ 707は、擁護派の内部分裂かな
お答えします（＾＾
１．私は、ＩＵＴ応援派であって、擁護派ではない
Ｄｕｐｕｙ先生みたいな、ＩＵＴ擁護なんて、とてもとてもとてもｗｗｗ（＾＾；
ただ、ＩＵＴへ エールだけは送ります、がんばれＲＩＭＳ＆ＩＵＴ！ （＾＾
２．そして、ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します〜！！！（＾＾
省3
718(1): 2020/04/19(日)20:53 ID:UbuHltnc(40/43) AAS
>>712
毎度恒例の馬鹿の自爆ショーです
第１回 正規部分群はgHg^(-1)がHと同型な群
第２回 数セミ記事「箱入り無数目」はマチガッテル！
第３回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第４回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
省2
719: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)20:54 ID:ijGx7lvx(19/27) AAS
>>716
> 707はガロアスレの主やぞ一番取り合ったらまずい奴
Ｙｅｓ！ よくお分かりですね！！ （＾＾；
720(1): 2020/04/19(日)20:58 ID:UbuHltnc(41/43) AAS
>>717
＞ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します〜！！！
◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張
「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチｗ
721(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)21:01 ID:ijGx7lvx(20/27) AAS
>>718
＞毎度恒例の馬鹿の自爆ショーです
もう降参ですか？ｗ（＾＾；
＜経緯＞
私の指摘は >>677
">次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
省18
722: 2020/04/19(日)21:14 ID:UbuHltnc(42/43) AAS
>>721
見当違いな自爆を嘲笑され逆上
見当違いな質問返しでさらに自爆し嘲笑される
いい加減学習しようよ
数学板は勉強嫌いの馬鹿が書くところじゃないって
723: 2020/04/19(日)21:16 ID:UbuHltnc(43/43) AAS
＞次元際なら上手く行くかもね
これも素人ならではの馬鹿発言
こんな馬鹿発言に喜んでレスする
◆e.a0E5TtKEは正真正銘の馬鹿
724(6): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)21:53 ID:ijGx7lvx(21/27) AAS
>>720
>「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
とどめを刺すか？（＾＾
１．グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）（下記）
２．グロタンディーク宇宙は、下記のグロタンディーク宇宙公理と、ＺＦＣ＋到達不能基数 を公理とする、2つの道がある
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
外部ﾘﾝｸ:ja.wikipedia.org
省15
725: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)21:53 ID:ijGx7lvx(22/27) AAS
>>724
つづき
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
集合論
省5
726(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)21:55 ID:ijGx7lvx(23/27) AAS
>>724 タイポ訂正
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
↓
３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
それタイポか？ おいおい（＾＾
ケアレスミスでした（＾＾；
727(2): 2020/04/19(日)21:56 ID:yMpHhz7D(4/6) AAS
>>724
グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
あと同型てのはどう言う意味での同型？
728(2): 2020/04/19(日)22:05 ID:yMpHhz7D(5/6) AAS
係数Rのn次元ベクトル空間は確かに同型だけど、じゃあR^nだけを考えるかというとそうじゃない
基底の取り換えとか、双対空間作ったりとか色々するでしょ
確かにそれは一つのR^nに固定してもできるかもしれないけど、そんなことは不自然で誰もしない（する必要もない）
グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
729(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)22:05 ID:ijGx7lvx(24/27) AAS
>>726 補足
>３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述にならい、各人の解釈に任せるものとする（＾＾；
>>691より
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
省6
730: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)22:10 ID:ijGx7lvx(25/27) AAS
>>727-728
ID:yMpHhz7Dさん
さすがの鋭いつっこみですね
（>>729 がちょっと遅かったな）
ザブトン １枚！（＾＾；
731: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)22:15 ID:ijGx7lvx(26/27) AAS
>>728
>グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
「グロタンディーク宇宙を複数作って、取り替える」は、ないな、多分
>>690 より、下記の記述ですな（＾＾；
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
省9
732(1): BLACKX ◆SvoRwjQrNc 2020/04/19(日)22:18 ID:qnt75GLx(5/7) AAS
なんでスレ分かれてるんだよ！帰れよ
733: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/19(日)22:46 ID:ijGx7lvx(27/27) AAS
>>732
おまえが、スレ主か？ ここの？ 何の資格で人に指図するの？
おれが、おまえに従う理由がない！！ｗ（＾＾
証明終りｗ
734: BLACKX ◆SvoRwjQrNc 2020/04/19(日)22:54 ID:qnt75GLx(6/7) AAS
定義も何もしてないのに証明とは笑
735(1): 2020/04/19(日)22:54 ID:YBBEAUTj(2/2) AAS
ABC予想なんて訳したやつは誰だー
conjectureは推論じゃねーか
毎回詰まる
736(1): 2020/04/19(日)23:11 ID:yMpHhz7D(6/6) AAS
>>735
数学一般にconjectureは予想て訳すし、意味的に推論じゃなくて予想の方が正しいでしょ
737: BLACKX ◆SvoRwjQrNc 2020/04/19(日)23:11 ID:qnt75GLx(7/7) AAS
OPコメント来たぞ
738: 2020/04/19(日)23:22 ID:Om6IlAxz(1) AAS
もっちーのブログ、そろそろ閉じられそうな気がする
せめてコメント欄閉じるだけで記事は残してね！
それにしてもコメントの改行、もしかしてガラケで返信してるんか？
まさかね…
739: 粋蕎 ◆C2UdlLHDRI 2020/04/19(日)23:23 ID:8BOyW/Ba(18/18) AAS
儂以外に居るんかガラケー
740: 2020/04/19(日)23:51 ID:uMwLCcbW(11/11) AAS
「京都大は３日、３０年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を
京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。
望月氏の論文が、同研究所が編集する国際専門誌「ＰＲＩＭＳ（プリムス）」の審査を
通過し採択された。同研究所は「重要かつ困難な問題を解決した」と評価した。」
ところで京大はこの後、どうするつもりなのか
741: 2020/04/20(月)00:09 ID:55beezTS(1/6) AAS
京都大学のサイトみたけど、ニュースリリースにそんな記事なかったから、
なかったことにしたんだすね
742: BLACKX ◆SvoRwjQrNc 2020/04/20(月)00:16 ID:5PJxxsfj(1) AAS
今のうちに魚拓とっとくべき
743(1): 2020/04/20(月)00:43 ID:nWvMZC6M(1/2) AAS
>>736
数学界の慣行とはいえ日本語で考えてるからpre-でつづり始めてしまってconjectureの単語が毎回出てこない…
ゲシュタルト崩壊みたいな
上下前次1-新書関写板覧索設栞歴
あと 259 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s