20/04/19 17:00:47 UbuHltnc.net
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
むしろ間違いに気づきながらをれを認めず隠し通して
体面を保とうすることこそよほど恥ずかしい
716:１３２人目の素数さん
20/04/19 17:01:56 mrf31oDM.net
>>562
それはオボちゃん一派でしょｗ
717:現代数学の系譜 雑談 ◆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.
つづく
718:現代数学の系譜 雑談 ◆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.
(引用終り)
以上
719:１３２人目の素数さん
20/04/19 17:30:12 UbuHltnc.net
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
720:１３２人目の素数さん
20/04/19 17:49:39 N24RGaNy.net
>>689
仮にも専門家集団のなかから「派」と言える勢力が出てきた時点で単純詐欺では無いと言ってるようなものだ
それなりの理由があるから支持者が現れたんだよ
ノーベル賞候補とも言われた笹井氏が推したのにも理由がある
おまえらは矮小化し過ぎなんだよ
721:１３２人目の素数さん
20/04/19 17:50:41 N24RGaNy.net
>>690
単なる無知から来ている決め付け
722:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:27 ijGx7lvx.net
>>692
wikipediaを引用するなら、>>685の粋蕎 さんの引用（下記）が適当だろう
下記では、1)ベン図のU、2)通常の数学の
723:例えばSN、3)集合論のフォン・ノイマン宇宙 V、4)圏論のグロタンディーク宇宙 と、４つ解説されている では、望月IUTの「宇宙」とは？ まさか、ベン図のUとか下記SNではない 集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？ ”INTER-UNIVERSAL”だから、最低2つ宇宙がいるけど、どれとどれだい？？ｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) 宇宙 (数学) (抜粋) 集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 ある特定の文脈において おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。 これは1870年代から1880年代にかけてゲオルク・カントールが実解析の応用として、初の現代的な集合論と濃度の開発に用いた宇宙である。 カントールが当時興味を持っていた集合は、R の部分集合だった。 この宇宙の概念はベン図の使用に反映されている。 ベン図において、作用は伝統的に宇宙 U を表す大きな四角形の内部に生じる。 一般的に集合が U の部分集合であれば、それは円によって表現される。 通常の数学 物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。 宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。 つづく
724:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:51 ijGx7lvx.net
>>695
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
任意の 順序数 i に対して Vi を定義する。 Vi のすべての和集合は次のようにフォン・ノイマン宇宙 V となる。
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
725:１３２人目の素数さん
20/04/19 17:58:49 UbuHltnc.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
726:１３２人目の素数さん
20/04/19 18:01:36 vQlbFnVo.net
>>604
もっちー降臨？！
727:１３２人目の素数さん
20/04/19 18:03:25 UbuHltnc.net
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのもの�
728:ﾏ形します. スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです. 一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません. 一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています. 厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし, 数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです. また, その新しい幾何学ではそこから生じる不定性を統制する ・剛性 (rigidity) で抑える ・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す ・(不定性のため像がはっきりしないがある入れ物には入っていることは分かるなどにより) 見積もること などや, ある不定性と他の不定性が連動している (synchronize) ことを用いることなどが大事になってきます. それにはそもそも不定性の存在に気付かないといけないわけですが, 不定性の存在を明確に意識するのにも役に立つ考え方です. “その新しい幾何学” と書きましたが, 従来の幾何学では (多項式写像であれ連続写像であれ可微分写像であれ) 環構造と整合的な射 (環付きトポスの射) を考えるのが幾何学であるという視点に立つならば, それは幾何学という枠組みすら超えているかもしれません.
729:１３２人目の素数さん
20/04/19 18:09:11 IvVUctq/.net
>>698
え…うそ…
730:１３２人目の素数さん
20/04/19 18:09:47 UbuHltnc.net
＞望月IUTの「宇宙」とは？
＞集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでｋが強到達可能基数ならば、グロタンディーク宇宙
731:１３２人目の素数さん
20/04/19 18:13:37 UbuHltnc.net
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL？ありゃ声がデカいだけだろ？」
とかいうとメイト(BABYMETALのファン）に張り倒される
732:１３２人目の素数さん
20/04/19 18:18:52 UbuHltnc.net
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
733:１３２人目の素数さん
20/04/19 18:28:47 UbuHltnc.net
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
734:１３２人目の素数さん
20/04/19 18:36:09 Aiu1KqVk.net
そもそも望月や文元などは集合論が分からないから宇宙の意味を議論してもしょうがない
735:１３２人目の素数さん
20/04/19 18:50:09.67 YBBEAUTj.net
>>705
素数論て集合論じゃないの？？
736:現代数学の系譜 雑談 ◆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つだろ？ 同型を除いて一意かもしれないがね
737:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:14:49 ijGx7lvx.net
>>707 補足訂正
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
inter-ring で良いんじゃない？
↓
inter-ring structureで良いんじゃない？
かな？
738:（＾＾；
739:１３２人目の素数さん
20/04/19 20:07:10.15 UbuHltnc.net
>>707
これは酷い・・・
＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか？
＞Grothendieck 宇宙は、1つだろ？
Grothendieckが見たら頭抱えるぞ・・・
＞同型を除いて一意かもしれないがね
訳も分からず呪文を唱えると自爆するよ
740:１３２人目の素数さん
20/04/19 20:26:03 yMpHhz7D.net
>>707
グロタンディーク宇宙が一つとか、大丈夫か君
741:１３２人目の素数さん
20/04/19 20:31:57 UbuHltnc.net
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
ＩＵＴの前途は闇だよ
742:１３２人目の素数さん
20/04/19 20:33:40.42 uMwLCcbW.net
707は、擁護派の内部分裂かな
743:１３２人目の素数さん
20/04/19 20:38:36.02 yAKdOBQz.net
>>706
全然違う分野
744:現代数学の系譜 雑談
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 宇宙を取り替えると考えてもいいですし,
数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
(引用終り)
の説明だと、「INTER-UNIVERSAL」と説明が整合しないぜ
”UNIVERSAL”が、Grothendieck 宇宙とするならば
”INTER-”って、どうなるの？ｗ
”INTER-”だったら、”UNIVERSE”が2つ要る
で、取り替えるんだろ？
グロタンディーク宇宙が2つあって、取り替える？ｗ（＾＾；
745:１３２人目の素数さん
20/04/19 20:48:16.57 UbuHltnc.net
>>714
な、コイツ正真正銘の馬鹿だろ？
746:BLACKX ◆SvoRwjQrNc
20/04/19 20:48:35 qnt75GLx.net
>>712
707はガロアスレの主やぞ一番取り合ったらまずい奴
747:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:52:34 ijGx7lvx.net
>>712
＞ 707は、擁護派の内部分裂かな
お答えします（＾＾
１．私は、ＩＵＴ応援派であって、擁護派ではない
Ｄｕｐｕｙ先生みたいな、ＩＵＴ擁護なんて、とてもとてもとてもｗｗｗ（＾＾；
ただ、ＩＵＴへ エールだけは送ります、がんばれＲＩＭＳ＆ＩＵＴ！ （＾＾
２．そして、ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！（＾＾
但し、数学の筋の通らない アンチＩＵＴ発言は つつきますよ！ （普通は、あっちの隔離スレで こっそりねｗ）
見かねると、今回のように 乱入します（＾＾；
３．なお、ＩＵＴ懐疑派、 ＩＵＴ否定派、ＩＵＴ擁護の数学バトル期待しています、ヤジウマとしてね。各位がんばってください（＾＾
748:１３２人目の素数さん
20/04/19 20:53:32 UbuHltnc.net
>>712
毎度恒例の馬鹿の自爆ショーです
第１回 正規部分群はgHg^(-1)がHと同型な群
第２回 数セミ記事「箱入り無数目」はマチガッテル！
第３回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第４回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
一度もまともに読めた試しはないと専らの噂
全部古書店に売って楽になればいいのに・・・
749:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:54:04 ijGx7lvx.net
>>716
> 707はガロアスレの主やぞ一番取り合ったらまずい奴
Ｙｅｓ！ よくお分かりですね！！ （＾＾；
750:１３２人目の素数さん
20/04/19 20:58:07 UbuHltnc.net
>>717
＞ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！
◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張
「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチｗ
751:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:01:33 ijGx7lvx.net
>>718
＞毎度恒例の馬鹿の自爆ショーです
もう降参ですか？ｗ（＾＾；
＜経緯＞
私の指摘は >>677
">次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
でも、RIMSももう一頑張りでしょう！（＾＾ "
だった
で 対して、おサルが >>682
”＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org) ”
に
私が >>684
”IUT読んだ？
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか？
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜｗ”
と切り返して
>>714
に至る
＜経緯終り＞
まだやりたいなら、どうぞ >>714の続きを書いてくださいｗｗ（＾＾；
752:１３２人目の素数さん
20/04/19 21:14:41 UbuHltnc.net
>>721
見当違いな自爆を嘲笑され逆上
見当違いな質問返しでさらに自爆し嘲笑される
いい加減学習しようよ
数学板は勉強嫌いの馬鹿が書くところじゃないって
753:１３２人目の素数さん
20/04/19 21:16:54 UbuHltnc.net
＞次元際なら上手く行くかもね
これも素人ならではの馬鹿発言
こんな馬鹿発言に喜んでレスする
◆e.a0E5TtKEは正真正銘の馬鹿
754:現代数学の系譜 雑談 ◆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）は次の性質をもった集合 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つの公理が同値である:
つづく
755:現代数学の系譜 雑談 ◆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 のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
756:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:55:55 ijGx7lvx.net
>>724 タイポ訂正
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
↓
３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
それタイポか？ おいおい（＾＾
ケアレスミスでした（＾＾；
757:１３２人目の素数さん
20/04/19 21:56:15 yMpHhz7D.net
>>724
グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
あと同型てのはどう言う意味での同型？
758:１３２人目の素数さん
20/04/19 22:05:15 yMpHhz7D.net
係数Rのn次元ベクトル空間は確かに同型だけど、じゃあR^nだけを考えるかというとそうじゃない
基底の取り換えとか、双対空間作ったりとか色々するでしょ
確かにそれは一つのR^nに固定してもできるかもしれないけど、そんなことは不自然で誰もしない（する必要もない）
グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
759:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:05:18 ijGx7lvx.net
>>726 補足
>３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述にならい、各人の解釈に任せるものとする（＾＾
760:； >>691より http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf 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.]
761:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:10:28 ijGx7lvx.net
>>727-728
ID:yMpHhz7Dさん
さすがの鋭いつっこみですね
（>>729 がちょっと遅かったな）
ザブトン １枚！（＾＾；
762:現代数学の系譜 雑談 ◆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.
763:BLACKX ◆SvoRwjQrNc
20/04/19 22:18:43 qnt75GLx.net
なんでスレ分かれてるんだよ！帰れよ
764:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:46:50 ijGx7lvx.net
>>732
おまえが、スレ主か？ ここの？ 何の資格で人に指図するの？
おれが、おまえに従う理由がない！！ｗ（＾＾
証明終りｗ
765:BLACKX ◆SvoRwjQrNc
20/04/19 22:54:16 qnt75GLx.net
定義も何もしてないのに証明とは笑
766:１３２人目の素数さん
20/04/19 22:54:43 YBBEAUTj.net
ABC予想なんて訳したやつは誰だー
conjectureは推論じゃねーか
毎回詰まる
767:１３２人目の素数さん
20/04/19 23:11:48.08 yMpHhz7D.net
>>735
数学一般にconjectureは予想て訳すし、意味的に推論じゃなくて予想の方が正しいでしょ
768:BLACKX
20/04/19 23:11:50.71 qnt75GLx.net
OPコメント来たぞ
769:１３２人目の素数さん
20/04/19 23:22:39.58 Om6IlAxz.net
もっちーのブログ、そろそろ閉じられそうな気がする
せめてコメント欄閉じるだけで記事は残してね！
それにしてもコメントの改行、もしかしてガラケで返信してるんか？
まさかね…
770:粋蕎
20/04/19 23:23:59.93 8BOyW/Ba.net
儂以外に居るんかガラケー
771:１３２人目の素数さん
20/04/19 23:51:43.28 uMwLCcbW.net
「京都大は３日、３０年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を
京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。
望月氏の論文が、同研究所が編集する国際専門誌「ＰＲＩＭＳ（プリムス）」の審査を
通過し採択された。同研究所は「重要かつ困難な問題を解決した」と評価した。」
ところで京大はこの後、どうするつもりなのか
772:１３２人目の素数さん
20/04/20 00:09:58.37 55beezTS.net
京都大学のサイトみたけど、ニュースリリースにそんな記事なかったから、
なかったことにしたんだすね
773:BLACKX
20/04/20 00:16:47.62 5PJxxsfj.net
今のうちに魚拓とっとくべき
774:１３２人目の素数さん
20/04/20 00:43:10.27 nWvMZC6M.net
>>736
数学界の慣行とはいえ日本語で考えてるからpre-でつづり始めてしまってconjectureの単語が毎回出てこない…
ゲシュタルト崩壊みたいな
775:１３２人目の素数さん
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 unaccep
776:table. >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. >… https://www.math.columbia.edu/~woit/wordpress/?p=11709&cpage=3#comment-236111
777:１３２人目の素数さん
20/04/20 01:04:37.06 lnvD9PiA.net
>>743
そんなこと言ったらリーマン予想とかRiemann hypothesisだし
固有名詞だと思うべき
778:１３２人目の素数さん
20/04/20 01:24:19.76 nWvMZC6M.net
>>745
はい先生わかりました
779:１３２人目の素数さん
20/04/20 03:24:44.56 210Latl8.net
>>744
これ、単純に、(1)から続く段落の部分については、もっちーや擁護派は間違いって
言っていることじゃねーの。こいつが無意味って言っている部分に深い意味がある
ってのがもっちーやブンゲンやフェセンコの言い分だろ。
780:BLACKX
20/04/20 04:02:55.18 YjnQQnaT.net
普通深い意味を要求する場合その話題にも触れ定義し命題とし証明する。そういうのがない時点で自明としても扱われることがないから餅が今時を経て指摘されてるのは重大な欠陥だろ
781:１３２人目の素数さん
20/04/20 04:56:57.52 ba5R664K.net
これほんとに査読終わったの？
ショルツ納得した？俺素人だからこのスレを眺めてるだけなんだけども
証明した！って主張してるのもしかして京大だけ？
782:１３２人目の素数さん
20/04/20 05:57:34.00 lDogB3OP.net
>>715
想像以上のイカレポンチだったわ
783:１３２人目の素数さん
20/04/20 07:18:24.29 BjIY/YLZ.net
>>749
査読は終わった
ショルツが納得するのは必要条件では無い
京大以外にもいる
784:現代数学の系譜 雑談
20/04/20 07:19:34.25 w4pNIZe5.net
>>750
ああ、その>>715は
ＳＳ vs 望月星 みたいなものよ
おれが、望月星側だな
で、>>744 W saysによれば
望月星側は、想像以上のイカレポンチだったわ
ということね
しかと、承ったｗ
しばし待て
今年中には、どっちがどうか決着しそうだ（＾＾；
785:１３２人目の素数さん
20/04/20 07:20:01.95 jmWfkEw+.net
>>724
>とどめを刺すか？
自分に？
＞グロタンディーク宇宙は、いわゆる同型を除いて一意と考えられる
＞（∵ 実際には、集合論のためのモデルを与える から）
もしかして、集合論のモデルは「同型を除いて一意」と誤解してる？
誤解じゃないというなら、根拠示してくれる？
・・・そんなもんないけど
786:現代数学の系譜 雑談
20/04/20 07:23:37.10 w4pNIZe5.net
>>751
同意
かつ、>>744 W saysは、ショルツの尻馬だ
彼自身は、ＩＵＴを直接批判する数学の能力なし！
”Scholze and Stix”と書いているけれど
いま（2020年）は、ショルツ氏のみ
Stix氏は沈黙（コメント拒否）だよ
787:１３２人目の素数さん
20/04/20 07:25:39.05 jmWfkEw+.net
>>727
＞グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
そりゃみんな同じところツッコむよね
だって、まったくの誤りだからｗ
>>729
＞なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の
＞ ”isomorphism”およびＮｏｔｅの記述にならい、
＞各人の解釈に任せるものとする
やれやれ😥 数学だけじゃなく英語もダメなんだな チミは
788:１３２人目の素数さん
20/04/20 07:29:28.80 jmWfkEw+.net
「集合論のモデルが同型を除いて一意」という主張は
有名なコーエンの「選択公理及び一般連続体仮説の決定不能性」
を否定するものなんだが、分かってるか？
分かってないんだろうな、こんな様子じゃｗ
789:現代数学の系譜 雑談 ◆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）がある。
790:１３２人目の素数さん
20/04/20 07:49:07 hY/oh56u.net
Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、
５ｃｈと同じレベルみたいだね。
791:現代数学の系譜 雑談 ◆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.]
792:１３２人目の素数さん
20/04/20 07:54:29 jmWfkEw+.net
>>757
ああ、やっぱり、自分の誤りが全然わかってないのね
>>756読んだ？え？読んだがわからん？
これはヒドイ
実数全体の集合をRとする
あるモデルでRはℵ1、別のモデルでRはℵ2
どこが同型なんだ ℵ1とℵ2は同じ濃度なのか？
それはℵの定義に反するなｗ
君みたいな馬鹿が支持することで望月の評価はどん底に下がるのだよ
もし、望月を支持したいなら、君がやれることは只ひとつ
・・・なにも書かないことだ
なにも書かなければ、ボロがでないからな
できるかな？ネットジャンキーの君に
793:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:56:05 w4pNIZe5.net
>>758
>Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、
> ５ｃｈと同じレベルみたいだね。
同意
５ｃｈと同じレベル は、可哀想と思うが
数学ではなく、手続き論でしょ
つまり、レフェリーがちゃんと指導しろとか、道義的にどうとか、云々
でも、ＲＩＭＳのレフェリーとか、柏原・玉川先生も理解できる
望月先生が、構想10年、営々と書いてきたＩＵＴ論文
「いまから書き直せ」って、さらに何年かかるって話にもなる
あと、遠アーベルになれていない人には、読みにくいかもしれんが、プロにはこの方が読みやすいってあるかも
それは、軽々に判断できない
でも、せめて分野外のＭ１、Ｍ２に読める解説書はいるよね（文元本以外にね）
794:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 08:00:10 w4pNIZe5.net
>>760
(引用開始)
実数全体の集合をRとする
あるモデルでRはℵ1、別のモデルでRはℵ2
どこが同型なんだ ℵ1とℵ2は同じ濃度なのか？
それはℵの定義に反するなｗ
(引用終り)
墓穴掘っているな
コンテキストが分かっていない
いまコンテキストは>>724の
グロタンディーク宇宙限定だよ
その例は�
795:A全くアサッテの例だ 分かっていないのは、おサルさん、あ な た ｗ（＾＾
796:１３２人目の素数さん
20/04/20 08:04:34 jmWfkEw+.net
>>761
玉川はともかく、柏原はIUT理解してないでしょ
あんた数学を舐めすぎ
＞遠アーベルになれていない人には、読みにくいかもしれんが、
＞プロにはこの方が読みやすいってあるかも
ない。望月論文の了解不能性は遠アーベルとは無関係
プロにも肝心なことが書いてないと突っ込まれてる
なんのための６００ページ？ 無意味だな
＞分野外のＭ１、Ｍ２に読める解説書はいるよね
そんなん、専門家に了解できる論文書いた後の話
教科書なんて望月本人が書かなくたって、
他の専門家がいくらでも書いてくれるだろうよ
・・・認められたら、の話だが
797:１３２人目の素数さん
20/04/20 08:08:01 jmWfkEw+.net
>>762
＞コンテキストが分かっていない
同型はコンテキストでは誤魔化せないｗ
＞グロタンディーク宇宙限定だよ
それでも誤魔化せないな
「集合論のモデル」と言い切ってしまったのは君
＞その例は、全くアサッテの例だ
アサッテなのは、君の口からデマカセ発言
全ての集合論のモデルが同型を除いて一意？
君、ほんと考え無しの馬鹿野郎なんだねえｗｗｗ
798:１３２人目の素数さん
20/04/20 08:13:02 RYoxWBTv.net
>>754
あれ、
望月星とショルツスティックスの
ミーティングでした。
はじめから星は沈黙ですよ、
緘口令が敷かれているのか。
799:現代数学の系譜 雑談
20/04/20 08:44:53.07 w4pNIZe5.net
>>765
望月星の関係は、代表望月、門下星で明確でしょ
ＳＳでは、二人は同角で独立
全く違うよ
800:現代数学の系譜 雑談
20/04/20 08:45:46.13 w4pNIZe5.net
>>766 誤変換訂正
ＳＳでは、二人は同角で独立
↓
ＳＳでは、二人は同格で独立
801:１３２人目の素数さん
20/04/20 08:48:03.25 wPwKBWOa.net
>>381
もう少しまともに引用するように
**********************
望月の方法が機能しないという*証明*はありません。
Scholze-Stixの原稿が証明しているのは以下の通りです。
定理 望月の理論でホッジシアターを特定し、同時にq-pilotとθ-pilotの「具体的な正規化」を課せると仮定すると、矛盾が生じる。
1) 「具体的正規化を同時に課す」という仮説は、固定素数の場合と等価である。 望月の理論はこの導出には使われていない。この同一化に対する抗議が望月の応答のC12でなされている。
にもかかわらず、ピーター・S.はこれが望月のいう意味であると主張している。
2) ホッジ劇場を特定できる、という仮説も、望月によって彼の述べた目的に反していると抗議された。
ガウス積分の調査のテーゼ、数学では元の物体について何かを証明するために、オブジェクトの「異質なコピー」を導入することがあるということを見ておくことは賢明です。これは、上記の定理でホッジ劇場を特定するという仮定に反している。
私は、望月の証明が正しい、あるいは正しいことが判明するという立場を取っているのではありませんが、現状のままでは、スティックス＝ショルツの論文を望月の証明を否定する理由として取り上げるべきではありません。
802:１３２人目の素数さん
20/04/20 08:48:09.68 Ign/v1Yp.net
若輩☆さんがモッチ様にたてつけるとは思えないな
何か一言いおうものなら100倍正論で帰ってくるだろうからな
803:１３２人目の素数さん
20/04/20 09:11:24.30 RYoxWBTv.net
>>766
森重文に依頼されたショルツが
スティックスと共にRIMSを訪問し
望月星.ショルツスティックス
ミーティングを行う
↓
S.Sレポートを提出
↓
望月レポート 星沈黙 ズーッと沈黙
↓
RIMS 2020 IUTカンファレンス
遠アーベル幾何学ワークショップで
スティックス講演予定
(IPMUカプラノフ参加予定)
↓
スティックス参加取りやめ
804: (カプラノフも参加取りやめ) ↓ 望月新一ブログで 内部告発 アクセプト査読過程を批判 ↓ 玉川柏原が会見 柏原はPRIMSの編集者でない。 ↓ RIMS封鎖 ↓ woitのブログでショルツ 「In my manuscript with Stix,」 と明言
805:１３２人目の素数さん
20/04/20 10:04:50.36 3oXodUa0.net
>>292
Ｒ-Ｕ１０６
─ 優しく温かく住む人の心に馴染む家具・・・籐(ラタン) ─ 家具って素敵ですよね。。。
ドレッサー(椅子付き)なんてあるんですね♪
素敵なステマ乙ありで～す♪♪
806:１３２人目の素数さん
20/04/20 10:28:21.90 LhH52yzr.net
モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、
異なる強到達不能基数κ、κ'が存在するならば、グロタンディーク宇宙Vκ、Vκ'は(それをドメインとして)ZFCのモデルだが、その間には全単射が存在しないので同型でなく、同型の違いを除いても一意ではないのでは
807:粋蕎
20/04/20 10:33:40.21 oyGS3XIo.net
理研の前に東電も遣ら化して呉れとる。儂は信じもしない｡其の前は誰？捏造ゴッドハンド佐田か？
勿論、Oversimplification & 十把一絡げ拡大解釈のｼｮｽﾃｨコンビも信じない｡
あー、ペレルマンをペロリマンしようとした、ヤウの伝手の二人組も居ったな｡
808:１３２人目の素数さん
20/04/20 10:39:10.73 jmWfkEw+.net
>>772
＞異なる強到達不能基数κ、κ'が存在するならば
強到達不能基数は無数に存在します
＞グロタンディーク宇宙Vκ、Vκ'はZFCのモデルだが、
＞その間には全単射が存在しないので同型でなく、
＞同型の違いを除いても一意ではないのでは
そうですね 「準同型」写像を設定できるかどうかは知りませんが
809:１３２人目の素数さん
20/04/20 10:42:54.98 jmWfkEw+.net
>>773
高卒の君は安達と遊んでなさい
810:１３２人目の素数さん
20/04/20 11:09:16.30 LhH52yzr.net
>>774
構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、詳しくないから俺には示せないな
＞強到達不能基数は無数に存在
そうなの？
811:１３２人目の素数さん
20/04/20 11:21:55.91 jmWfkEw+.net
>>777
ただし、巨大基数の存在を認めれば・・・だが
URLﾘﾝｸ(ja.wikipedia.org)
812:１３２人目の素数さん
20/04/20 11:24:59.24 ba5R664K.net
>>751
ありがと！
813:１３２人目の素数さん
20/04/20 11:25:27.47 QwBcY9W0.net
自己レス∞サイクル＠＠～
814:粋蕎
20/04/20 11:44:19.60 oyGS3XIo.net
>>775
まだ居たん？妄想出鱈目出任せ大法螺吹きな大嘘でIUTTを否定する風説流し中傷人間｡
もう御前は『例えIUTTが世界的に否定的証明されたとしても』風説流し中傷人間でしか無い、他ならん｡
要するに、SSコンビを初めとするアンチ勢の面汚し｡
いつまで中傷（=無根拠貶言）でスレを汚してく積もりなんじゃか｡
前に「アナーキスト」気取ったコテハン付けてたな。そう名乗れば許されるとでも思うとるんか？
815:１３２人目の素数さん
20/04/20 11:46:20 jmWfkEw+.net
>>697
＞数学基礎論的・論理学的に非自明な操作
おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ
そういうことは必要ない、というのがリンク先の文書の主旨
816:１３２人目の素数さん
20/04/20 11:51:17 jmWfkEw+.net
>>780
また統失が妄想書き散らかしてるなｗ
はよ病院に戻れ 勝手に隔離病棟（＝0.999スレ）�
817:ｩら出たらダメだぞ
818:現代数学の系譜 雑談 ◆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にあれば、同型
なければ、同型でない
そして、AとBで階層までは一致しているなら、じゃ準同型かな？とか（適当でスマンｗ）
こんな話じゃないでしょうか？（＾＾
で、へんなオッサン（おサル）がいて、私の数学ダジャレで書いた
（>>757） ”いわゆる同型を除いて一意と考えられる”に
顔を真っ赤にして、アサッテのツッコミ(>>762)をしてくるから
オッサン、なに血迷って、墓穴掘ってんだぁ～？ ってことですよｗ
（”同型”の意味、代数の同型と 集合基礎論の宇宙の同型では、違うでしょ（上記の通り）
厳密な話をしだしたら、一行のダジャレに１頁の解説いるわな、シャレにならんぜ！ｗｗ（＾＾； ）
まあ、スレチだから、この程度で
819:粋蕎 ◆C2UdlLHDRI
20/04/20 12:06:48 oyGS3XIo.net
妄想？
↓事実じゃろ
>>426-443にて
おどれ『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、正式に成立
IUTT主張派を犯罪者呼ばわりしても地獄の世界｡
IUTT否定派を犯罪者呼ばわりしても地獄の世界｡
数学者は数学的成果を挙げるに当たり品行方正さを欠かしては、闇に消える。所詮、数学界も人間界｡
820:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 12:11:03 jS1N2Wjo.net
>>781
>＞数学基礎論的・論理学的に非自明な操作
>おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ
>そういうことは必要ない、というのがリンク先の文書の主旨
おサル違うよ
望月IUTは、圏論ベースだから
そもそも、グロタンディークの数学だし
到達不能基数を含む グロタンディーク宇宙の数学だよ
それに”操作”というキーワード落として
”「巨大基数の存在を前提する」とかいう話かと思われ”なんて回答は
問いに正面から答えてないぜ
（国語でアウトだな）
（そもそもが、山下解説が怪しいのだけれどｗ（＾＾； ）
821:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 12:16:05 jS1N2Wjo.net
>>783 タイポ訂正
宇宙A,Bで、Aで到達できる階層がBにあれば、同型
↓
宇宙A,Bで、Aで到達できる階層がBにあれば、同型かも
（同型と断定するとまずいか（＾＾； ）
822:１３２人目の素数さん
20/04/20 12:46:55.78 lnvD9PiA.net
センセーショナルな内容の論文のギャップが指摘されたら、じゃあ俺がギャップを埋めてやるよという奴が現れるはず
でもIUTについてはそれは起きていない
それどころか、ショルツはIUTは間違っているとさえ主張している
これはなぜか？
823:１３２人目の素数さん
20/04/20 13:02:02.26 jmWfkEw+.net
>>783
＞あなたはレベルが高そうだねぇ
正規部分群の定義も間違える工学部卒の数盲の君より
レベルの低い人なんてまずいないよ
＞細かい定義抜きで、日常の雑談風でやりましょう
君は定義を読まずに 自分勝手な俺様定義をでっちあげるから間違う
雑談は馬鹿の証
824:１３２人目の素数さん
20/04/20 13:06:31.85 jmWfkEw+.net
>>785
＞おサル違うよ
そう私は君がおサルと思ってる人とは全く違う
以下は意味不明なので黙殺
論理的に思考できない統合失調症患者には困ったものだね
＞（そもそもが、山下解説が怪しいのだけれど）
君の読解がオカシイ
山下剛の解説は、実質的に宇宙の取り換えが便宜的であると述べている
つまり君がナイーブに言いたがってたことと同じ
君はそんなことも読み取れないのかね？
825:１３２人目の素数さん
20/04/20 13:13:38.10 OrFXa98B.net
モッチーの数学力はわからんが、
政治力はアインシュタイン級だな。
826:１３２人目の素数さん
20/04/20 13:17:54.28 jmWfkEw+.net
>>699
＞宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
＞スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
＞一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
＞一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
＞あくまで 1 つの Grothendieck 宇宙の中で考えて，その中に別々にスキーム論があって,
＞それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
下2行では、実際には宇宙そのものを取り換えるわけではない、と云ってる
別々のスキーム論というものが具体的にどういうものかは知らないが、
集合論の中で、異なる群が存在し得るように、
異なるスキームが存在し得るから、問題ないだろう
827:１３２人目の素数さん
20/04/20 13:29:42 jmWfkEw+.net
ｽﾚﾘﾝｸ(math板:157番)
こいつが社長だったら、部下は💩プロジェクトに金出させるの簡単そうだな
なんか見た目だけもっともらしいPPT一枚見せればいいんだから
チョロいチョロい
828:１３２人目の素数さん
20/04/20 13:36:02 /bB1O278.net
↑悪魔の囁き(やってます。)↑
829:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 13:40:34 jS1N2Wjo.net
>>791
>＞宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
>下2行では、実際には宇宙そのものを取り換えるわけではない、と云ってる
同意
１．「実際には宇宙そのものを取り換えるわけではない」は、正しい
２．しかし、”宇宙際”つまり ”Inter-universal”の説明がない
（蛇足だが、”国際-ｘｘ”なら、国は二つ以上必要だ）
３．なので、山下説明は、上記１はOKだが、上記２には不足です
830:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 13:43:27 jS1N2Wjo.net
>>792
PPTを見る前に、人を見る
おさるが100PPT出しても、おサルの顔を見て、「ボツ！」
柏原先生＆玉川先生二人なら、PPTなどいらない！ 「証明は正しい」の一言で「OK～！！」（＾＾；
831:１３２人目の素数さん
20/04/20 14:03:47 jmWfkEw+.net
>>794
＞”国際-ｘｘ”なら、国は二つ以上必要だ
こいつホント馬鹿だな
工学部ってこんな馬鹿でも卒業できるんだ
さすが工員の職業訓練機関だなｗ
832:１３２人目の素数さん
20/04/20 14:06:30 ysfKDHs1.net
なんか擁護派しんみりしちゃったな
833:BLACKX
20/04/20 14:10:29.67 zxPN9A/a.net
擁護派は残念な奴が図々しく入って来てまともな論議が出来なくなってしまったからな
834:粋蕎
20/04/20 14:16:00.35 oyGS3XIo.net
製造販売系の板は土日に人の出入りが変わる。…となると
もしやアンチは仕事で此のスレに居るんかのう？
835:現代数学の系譜 雑談
20/04/20 14:20:31.38 jS1N2Wjo.net
>>799
粋蕎さん、どうも
テレワークか、失業引きこもりか、多分後者か（＾＾；
836:現代数学の系譜 雑談
20/04/20 14:21:39.17 jS1N2Wjo.net
>>797-798
>擁護派は残念な奴が図々しく入って来てまともな論議が出来なくなってしまったからな
逆だな
アンチがひど過ぎるから
消毒薬を撒きに来たんだｗw（＾＾；
837:現代数学の系譜 雑談
20/04/20 14:22:50.65 jS1N2Wjo.net
どうせ、年内に「IUT白（OK）」で決着するけどな
別に、ワーワーいうまでもないけどね
祭だからな、IUT祭だよ
838:BLACKX
20/04/20 14:24:23.67 zxPN9A/a.net
アンチと否定派はきっちり分けてくれよ？
まぁ餅アンチ体質の奴が居るのは薄々感じてはいる
でもお前見たいな過激擁護派もこっちからしたら擁護派じゃなくてアンチの仲間入りだから気を付けてくれ
839:現代数学の系譜 雑談
20/04/20 14:28:34.62 jS1N2Wjo.net
>>796
＞＞”国際-ｘｘ”なら、国は二つ以上必要だ
まあ、「なんとか国際ホテル」なんてのもあって、それ場所が日本だけだったりねｗ
でもね～、英文の立派な論文の名前でさ、”Inter-universal”って銘打ってさ
Q：「"Inter-universe"って？」
A：「"universe"は、一つです」という説明も、なかろうぜ、山下先生よｗ（＾＾；
840:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:32:53 jS1N2Wjo.net
>>803
BLACKXさんよ
こっちからしたら
数学の議論と数学外の議論をきっちり分けてくれ
そして、数学外のアンチきちがいの議論は、別スレでやってほしい
そうすれば、IUTの数学なんて、おれら入れないレベルんだわ
本スレ：数学主体、数学外：アンチ主でも可、応援スレ：おれのスレ
の３分くらいでどうか？
以前、IUTスレの初期はそうだったんだ
いま、4月3日のプレス発表で、にわかが増えて、スレのレベルと話題が急速に数学自身からずれているんだ
だから、消毒薬まきに来ているんだ
841:BLACKX ◆SvoRwjQrNc
20/04/20 14:34:27 zxPN9A/a.net
だからお前主のスレあるだろ向こうでやってろって…
842:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:35:27 jS1N2Wjo.net
>>805 訂正と補足
訂正
そうすれば、IUTの数学なんて、おれら入れないレベルんだわ
↓
そうすれば、IUTの数学なんて、おれら入れないレベルなんだわ
補足
以前、IUTスレの初期はそうだったんだ
（初期のIUTスレは数学の議論が主だったってことね）
843:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:36:11 jS1N2Wjo.net
>>806
ここえね～～ｗ
おれは、だれの指図もうけないｗｗ（＾＾
844:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:37:25 jS1N2Wjo.net
>>808 タイポ訂正
ここえね～～ｗ
↓
きこえね～～ｗ
残ねですねｗ
845:BLACKX ◆SvoRwjQrNc
20/04/20 14:39:39 zxPN9A/a.net
はいNG
846:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:40:18 jS1N2Wjo.net
まあ、慌てなさんなってこと
勝負はついているんだ
十中八九、ショルツ氏の勘違いか、早とちり
今年の国際会議を経て、世界の数学界に認知されいくIUT
そういう流れは、もう止められない
（５ｃｈで議論すべきは、「なぜIUTが成立しているのか？」だけだよｗ（＾＾； ）
847:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 14:41:10 jS1N2Wjo.net
>>810
とうめいあぼ～んしてくれたかい？
黙ってなってことよｗ（＾＾；
848:BLACKX ◆SvoRwjQrNc
20/04/20 14:46:11 zxPN9A/a.net
擁護派ほんといないんだなスッカスカやん
849:１３２人目の素数さん
20/04/20 14:57:09 sKHamN7Z.net
>>813
うさんくらいレスばっかりだから逃げてしまった
850:BLACKX ◆SvoRwjQrNc
20/04/20 14:59:29 zxPN9A/a.net
>>814
だよな。
肯定派が可哀想過ぎる
851:１３２人目の素数さん
20/04/20 15:00:19 jmWfkEw+.net
>>808
＞おれは、だれの指図もうけない
◆e.a0E5TtKE サイコパス全開ｗ
852:１３２人目の素数さん
20/04/20 15:02:42 jmWfkEw+.net
>>801
＞アンチがひど過ぎるから消毒薬を撒きに来たんだ
といって、サイコパスが💩カキコ撒きまくる
例「Grothendieck宇宙は只一ぉぉぉぉぉつ！」（ドヤ顔）
853:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 15:08:25 jS1N2Wjo.net
>>815
肯定派は、余裕でしょ
だった、BLACKX さん、あんたが否定派か肯定派かなんかしらんけど
肯定派には、柏原、玉川両先生がついた
で、否定派が本気でIUT否定したいなら
今年の国際会議でもなんで、良いから
実名出して、RIMSに殴り込みかけなよ
「おれはSSの代理です。ショルツ先生とはメールで教えてもらいました～」ってやってくれやｗ（＾＾；
数学なんだからさｗｗｗ
854:１３２人目の素数さん
20/04/20 15:08:35 jmWfkEw+.net
💩サイコパス 阪大卒のくせに
東大の応援歌を唄う
ただ一つ
URLﾘﾝｸ(www.youtube.com)
855:I ♪ただ一つ 旗かげ高し いまかがやける 深空の光 天寵を負える子ら 友よ 友 ここなる丘に 東大の旗立てり 伝統の旗 東大の光 たたえ たたえん たたえ たたえん
856:１３２人目の素数さん
20/04/20 15:11:06 jmWfkEw+.net
>>802
◆e.a0E5TtKEは真っ黒
「Grothendieck宇宙は只一つ」発言で
◆e.a0E5TtKE祭り絶賛開催中ｗｗｗ
857:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 15:12:17 jS1N2Wjo.net
>>818 訂正と補足
訂正
だった、BLACKX さん、あんたが否定派か肯定派かなんかしらんけど
↓
だって、BLACKX さん、あんたが否定派か肯定派かなんかしらんけど
＜補足＞
本気で、「IUTダメ」って思うなら
学会で、プロ相手にやるべきでしょ
５ｃｈでそんな（IUT否定の）議論しても、時間の無駄
（いまや、素人の無駄な議論でしかない）
もう、IUT成立前提で、「IUTをどう理解するか」とか
５ｃｈで議論すべきは、後者です
858:１３２人目の素数さん
20/04/20 15:15:28 jmWfkEw+.net
>>804
”Inter-universal”に対する抗議は望月新一本人に行ってくださいね
◆e.a0E5TtKE
「Inter-universal マジワロスｗｗｗ universeはただ一つだっつーの」
望月
「誰だ？この●違いは つまみ出せ！！！」
山下
「はっ！」
┌┬┬┬┐
――┴┴┴┴┴―――、
/. ￣￣￣//.￣￣| ||￣￣￣|||￣ |｜ ＿＿＿＿＿＿＿＿＿＿
/. ∧// ∧ ∧| || ||| |｜ ／
[/＿＿__(ﾟ_//[ ].ﾟДﾟ,,) ||＿＿＿||| |｜ ＜ ◆e.a0E5TtKEを迎えに来ました
||_. * ＿|_|￣￣ ∪|.|. |ヽ. _|｜ ＼＿＿＿＿＿＿＿＿＿＿
lO|o―o|O゜.|二二 大|.|阪 精神病院 ||
| ∈口∋￣_l＿＿ｌ⌒ｌ_|＿＿＿__|_ｌ⌒ｌ_||
￣￣`ー'￣ `ー' `ー' `ー'
859:１３２人目の素数さん
20/04/20 15:17:56 jmWfkEw+.net
>>811
「勝負はついているんだ
十中八九、ショルツ氏の勘違いか、早とちり
今年の国際会議を経て、世界の数学界に認知されいくIUT
そういう流れは、もう止められない」
.／ 荒し ＼
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／>>1001＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ C⌒ ヽ
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼(⌒─⌒) (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ； ） うわー、こっち見てるよ
860:１３２人目の素数さん
20/04/20 15:20:06 jmWfkEw+.net
>>818
「肯定派は、余裕でしょ
肯定派には、柏原、玉川両先生がついた
で、否定派が本気でIUT否定したいなら
今年の国際会議でもなんで、良いから
実名出して、RIMSに殴り込みかけなよ」
.／ 荒し ＼
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／>>1001＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ C⌒ ヽ
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼(⌒─⌒) (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ； ） うわー、こっち見てるよ
861:１３２人目の素数さん
20/04/20 15:25:38 M7iV6HdW.net
NG ID推奨。一匹毎日ID真っ赤にしてる基地外がいるのがわかる。何書いてるかは知らんが
862:１３２人目の素数さん
20/04/20 15:25:48 jmWfkEw+.net
IUTスレッド読者の皆様へ
IUTスレッドは以下に移動致しました
Inter-universal geometry と ABC予想 否定派
ｽﾚﾘﾝｸ(math板)
本スレッドは これより
「◆e.a0E5TtKE トンデモ祭り」
の会場となります
863:現代数学の系譜 雑談 ◆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+
＞おサル違うよ
そう私は君がおサルと思ってる人とは全く違う
(引用終り)
864:１３２人目の素数さん
20/04/20 15:34:14.88 jmWfkEw+.net
>>825
＞一匹毎日ID真っ赤にしてる基地外がいる
＞何書いてるかは知らんが
◆e.a0E5TtKE
「Grothendieck宇宙は只一ぉぉぉぉぉつ！」（ドヤ顔）
865:１３２人目の素数さん
20/04/20 15:36:24.59 jmWfkEw+.net
>>827
誤 追いつめられると
正 相手が自爆すると
AA祭りだ！！！
866: | | | | | |＿ドｯドｯドｯドｯド! | | | /| |/〉|//| (⌒(⌒)⌒) //|_|//|⌒祭だ!祭だ!) / |_|// (⌒( ∧∧⌒))) | | |/ (⌒( (ﾟДﾟ)つ) |/〉∧⌒ (⌒(つ ｜ ⌒) //|∧｜遅れるな Ｏ⌒) /||L|/∧_∧)し⌒ミ)) ||/( (´∀`)つ ∧_∧ |/ ( (]つ / と(･∀･ ) / | (⌒) ヽ⊂[｜) （し⌒ ミ))(⌒) ｜ ￣(＿)) 突撃――!!
867:１３２人目の素数さん
20/04/20 15:37:32.92 jmWfkEw+.net
盛り上がろうぜ！！！
URLﾘﾝｸ(www.youtube.com)
868:現代数学の系譜 雑談
20/04/20 15:41:57.10 jS1N2Wjo.net
>>826
おサル頑張って
おれが思うに
”Inter-universal geometry と ABC予想 否定派”
って、無知丸出し
１．「ABC予想 否定派」ってネーミングがさ、アホ
”ABC予想”を否定したいのか？ｗ
”ABC予想と Inter-universal geometry 否定派”じゃない？ｗｗ
２．いまさら、RIMSが柏原＆玉川先生の二人の超大物で記者会見して
それを、５ｃｈで、ド素人たちが、否定の議論をすることに、どんな数学的意義があるのか？
３．おれは、そこには書かない。おそらく、数日でドボン（数学板の沼底に沈む）でしょ！
おサル頑張ってねｗ（＾＾；
869:１３２人目の素数さん
20/04/20 15:48:48.36 jmWfkEw+.net
>>831
なに拗ねてんだ、この馬鹿ｗ
数論幾何も分からん素人がIUTに興味もつだけ無駄だろ
数論幾何が分かる玄人はこんな駄スレに書かない 読むだけ脳味噌が腐る
こんなスレはないほうがみんなのためなんだよ
870:１３２人目の素数さん
20/04/20 16:03:30.12 jmWfkEw+.net
IUTは他の数学者に理解不能な点で
カラコルムの奥地フンザの住民の話す
ブルシャスキー語みたいなもん
URLﾘﾝｸ(ja.wikipedia.org)
871:現代数学の系譜 雑談
20/04/20 16:08:19.83 jS1N2Wjo.net
>>833
IUTはおサルに理解不能な点で
おサルの奥地フンザの住民の以下の数学レベルと判明しましたｗ（＾＾；
872:１３２人目の素数さん
20/04/20 16:11:22.42 jmWfkEw+.net
>>835
群論は◆e.a0E5TtKE に理解不能な点で
◆e.a0E5TtKEはおサル以下のイヌネコ並みと判明しました
873:現代数学の系譜 雑談
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略。元スレみてださい
874:１３２人目の素数さん
20/04/20 16:28:36.52 jmWfkEw+.net
>>836
＞同意だ
言葉は要らない
群論の初歩も理解できなかった素人の貴様は永遠に黙れ
＞IUT入門情報
そんなものはない
素人がいきなりフンザに行ったって住民と会話できないｗ
＞"エグゼクティブサマリー"
素人の貴様が
エグゼクティブ オフィサー（執行役員）
になれるわけなかろうが
875:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 16:43:57 jS1N2Wjo.net
>>837
>＞IUT入門情報
>素人がいきなりフンザに行ったって住民と会話できないｗ
同意だが
おれも、あの（>>836）PDFを見ても、最初はさっぱりだったが
加藤文元本みて、あと遠アーベルの復元とかを合わせてみると
なんとなく「IUTの狙いって、こういうことか」と
朧気に浮かんできたものがあるんだ
で、そういうイメージ無しに、IUT本体論文読んでも
富士の樹海に迷い込んだ旅人状態で
ショルツ先生みたいに、「富士の樹海のCor3.12は成立していない～！」というけれど
望月先生にしてみれば、「そこは、旅人がよく遭難するところで、しっかり遠アーベル勉強してください。学部から修士レベルに戻ってね」ということ
まあ、そのうちはっきりしてくるよ（＾＾；
876:１３２人目の素数さん
20/04/20 16:55:47.23 jmWfkEw+.net
ｽﾚﾘﾝｸ(math板:135番)
のリンクのpdfを全部ダウンロードしてざっと目を通した
半分は望月でなくてもその筋の人なら誰でも考えそうなこと
（複素、ｐ進、整数上のスキームの全体的統制）
しかも研究の方向性を述べているに過ぎない
（例えば、「絶対数学」のようなもの）
もう半分は望月独自のものだが正当性の証拠がない
具体的にいえばテレンス・タオがいうような「他の有意義な結果」
そもそもの施政方針が大袈裟であればあるほど、
ABC予想以外の有意義な成果が得られそうなものなのに
そういうものがまるでない これは不可解というより不審
877:１３２人目の素数さん
20/04/20 16:59:22.54 Ya5bb82q.net
理解するぞ、理解するぞ、理解するぞ、理解するぞ、理解するぞ
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ
878:粋蕎
20/04/20 17:01:52.57 oyGS3XIo.net
>>811
…瀬田氏。何やっとるん？儂の存在を忘れた訳じゃなかろう？儂から修正くらいたいん？
> 早とちり
早とちり？あんた何を言うとるん？
確かにSS兄弟はOversimplification & 十把一絡げ拡大解釈をしとる節が有るが
其れを早とちりと言うのは余りにも、其れこそ 十把一絡げ & 高括り & プロに唾する 解釈じゃろ｡
んなもん「ホーストも右に回らないと」言うとるんと同じ｡
→ ホーストに代わり佐竹とマッチング SUNTORY BOSS
879:粋蕎
20/04/20 17:04:30.29 oyGS3XIo.net
なかなか中立は居らん様じゃのう｡
BLACKX氏は中立で居て呉れるじゃろうか？
880:１３２人目の素数さん
20/04/20 17:05:06.34 jmWfkEw+.net
>>837
＞＞素人がいきなりフンザに行ったって住民と会話できないｗ
＞同意だが
同意というなら即、黙れ 永遠に
＞あの（>>836）PDFを見ても、最初はさっぱりだったが
群論も分からん馬鹿にわかるわけないだろ
＞加藤文元本みて、あと遠アーベルの復元とかを合わせてみると
＞なんとなく「IUTの狙いって、こういうことか」と
＞朧気に浮かんできたものがあるんだ
素人の妄想ｗ
＞で、そういうイメージ無しに、IUT本体論文読んでも
＞富士の樹海に迷い込んだ旅人状態で
ガロア理論で、迷子になるヤツがなにほざいてんだｗ
＞ショルツ先生みたいに
＞「Cor3.12は成立していない～！」
＞というけれど 望月先生にしてみれば、
＞「そこは、旅人がよく遭難するところで、
＞ しっかり遠アーベル勉強してください。
＞ 学部から修士レベルに戻ってね」
＞ということ
ショルツが遠アーベルで間違ったと思ってる時点で馬鹿
ショルツが指摘しているのは、望月が目指している
「スキームの全体的統制」の方法がそもそもオカシイ
んじゃね？ということ
おかしくないというなら、説明し切って見せる必要がある
デキなければ？ 望月の完全敗北！
881:BLACKX
20/04/20 17:10:06.57 3+c+yW/D.net
>>842
私の研究ともリンクするところあって中立
だけど証明の方法など立証の立場は否定派
882:１３２人目の素数さん
20/04/20 17:11:09.89 jmWfkEw+.net
>>843
＞望月の完全敗北！
こう書いたが、もしそうだとして、勝ったのはショルツではない
数学だ
要するに 数学者は数学と戦ってるのであって
数学者同士が戦ってるわけではない
偽りの勝利に意味はない
だからショルツも厳しく指摘しているのであって
別に望月に個人的な恨みがあるわけではない
（自分の指摘を真摯に考えない望月に対して
内心不快感を感じているかもしれないが）
883:１３２人目の素数さん
20/04/20 17:12:56.47 jmWfkEw+.net
>>844
数学者が5chなんか見ててなんか役にたつ？
884:１３２人目の素数さん
20/04/20 17:20:26.95 jmWfkEw+.net
Dessin d'enfant
URLﾘﾝｸ(en.wikipedia.org)
885:１３２人目の素数さん
20/04/20 17:30:07.59 jmWfkEw+.net
Belyi's theorem
URLﾘﾝｸ(en.wikipedia.org)
886:１３２人目の素数さん
20/04/20 17:40:10.98 jmWfkEw+.net
Klein quartic
URLﾘﾝｸ(en.wikipedia.org)
887:１３２人目の素数さん
20/04/20 17:52:02.14 55beezTS.net
>>769
なるほど この問題の原因は
M氏のパーソナリティにもあると思われる
手続きが進んでるからとか、誰それがいってるから
反論があっても大丈夫とか、正論（？）で
１００倍返せるとか、
全く、数学（科学も）の真理を探究する姿勢から
ほど遠いものである
（K大のページからは
IUTによるABC定理証明のニュース発表は完全に
抹消されているようだが）
888:１３２人目の素数さん
20/04/20 17:53:21.92 jmWfkEw+.net
Triangle group
URLﾘﾝｸ(en.wikipedia.org)
889:１３２人目の素数さん
20/04/20 18:05:00.73 jmWfkEw+.net
>>850
>K大のページからは
>IUTによるABC定理証明のニュース発表は
>完全に抹消されているようだが
なんで記者会見したんだろう？
890:粋蕎
20/04/20 18:07:40.12 oyGS3XIo.net
>>844
ふむ。其処迄は儂も同じ
でも儂はSS側のSS兄弟はOversimplification疑惑 & 十把一絡げ拡大解釈疑惑 も疑問
891:１３２人目の素数さん
20/04/20 18:18:55.51 55beezTS.net
>>852
おそらく、Ｍ氏とその周辺の人たちに押され
十分な状況の確認がされないまま、勇み足で記者会見を開き
発表してしまったものと思われます
実際は、証明になっておらず つまり
査読は通過したが、当該分野の世界的に認められた数学者から
認められていない状況です
892:BLACKX
20/04/20 18:29:13.32 YjnQQnaT.net
>>853
でかい枠組からだんだん狭めてやるのはまだ分かるが紙発表はまだまだ先だろうと思った
全然狭められてねぇわ簡略化し過ぎて本質捕らえてねぇわ説明多すぎてそのシンプルのが使えるか書かれてねぇわで。はい。
コラッツのタオも同列だと思う。はい。
893:粋蕎
20/04/20 18:56:23.79 oyGS3XIo.net
>>855
日本に限らず世界的に数学界がおかしくなってるんかも。企業の特許取り合戦かって勢い｡
成果分配されん為の解答権独占の為のゴールポスト遅延戦法かも知れん｡
894:１３２人目の素数さん
20/04/20 19:09:01.41 Yw7vZjeM.net
>>850
同意見です。
今回のIUT騒動の最大の原因は、M氏のパーソナリティに起因すると思います。
M氏にワイルズのような素直さがあれば、証明に疑義が出た時点で、素直に引き下がるはずです。
真理が確立された数学で、証明に疑義があるものなどないのですから、こういう疑問が出た時点で、素直に批判を受けなくてはいけません。
3.12の原文を見ても、何々はどこと関係があるっと言うエッセイ風の文章が続くばかりで、証明の体をなしていません。
うがった見方をすれば、こういう弱点をカムフラージュするために、あえて「系」と表現して、
「この論証は自明であり、わからないお前らの頭が悪い」という風に思わせようとしたのかもしれません。
こういうこと言いたくありませんが、いい年した独身者は人格的にどこか未熟、という世間の常識を想起したくなります。
895:１３２人目の素数さん
20/04/20 19:11:58.41 WUjgQRtq.net
墓場まで持って行かなきゃあ
896:かんのやもんな
897:BLACKX
20/04/20 19:12:58.71 YjnQQnaT.net
>>856
私はコラッツ視点からではあるが、どちらの欠けてるピースも同じピースだと考えている。
それが分かってないから餅もTTも先行出しして、誰かが埋めて、ね？私のがベースになったでしょ？ってやりたいみたいな気がする。ただどちらも違うアプローチでどちらも同じ証明方法でピースを埋められる気がする。私はそんな研究をしてる
898:１３２人目の素数さん
20/04/20 19:16:25.80 jmWfkEw+.net
>>855
そのコメント
Mに対して？
Sに対して？
899:１３２人目の素数さん
20/04/20 19:16:34.15 Obs4c8So.net
>>857
～ いい歳した既婚者でも人格的にどこか未熟 ～
自ら“５歳児”を標榜された鬼才中の鬼才というべき方もいらっしゃいましたね…
離婚者もいらっしゃいますし…
900:１３２人目の素数さん
20/04/20 19:18:06.86 jmWfkEw+.net
>>859
＞コラッツ視点からではあるが
素人？
タオはともかく、望月の研究ってコラッツに関係するか？
901:BLACKX
20/04/20 19:18:23.72 YjnQQnaT.net
>>860
M
902:BLACKX
20/04/20 19:23:04.98 YjnQQnaT.net
>>862
私の中では行き着いた。
ちょっと闇が深すぎたよう考えられた。
定義された中の籠の鳥は外の繋がりが見えないように思えた。この先はちょっと失礼。
903:１３２人目の素数さん
20/04/20 19:25:37.57 jmWfkEw+.net
>>864
＞私の中では行き着いた。
論理皆無の直感だろ？
じゃ妄想だな
904:１３２人目の素数さん
20/04/20 19:27:04.24 ktZv8fNh.net
いい年した独身だから人格的に問題がある、というのは暴論じゃないでしょうか？
世の中性格が非常に良くても致命的にモテない人もいます。
特にMさんはとじ込もって研究ばかりしてたそうですし、むしろその異様な生活のなかでも狂わず、
イケメンリア充Bさんをして「ふつーの気さくな人」と言わしめたほど、至ってまともな男性ではないでしょうか？
905:BLACKX
20/04/20 19:28:56.90 YjnQQnaT.net
>>865
まぁまぁ焦るでないまっておれ。
すぐにたどり着く
906:１３２人目の素数さん
20/04/20 19:33:35.09 jmWfkEw+.net
Mが独善的な論文書いて、独善的な態度とるのは本人の勝手だけど
京大数解研は簡単にアクセプトしたらあかんよな
TはMに弱み握られてんのか？
Kは・・・巻き込まれただけだろう
907:１３２人目の素数さん
20/04/20 19:34:10.20 55beezTS.net
>>857
そうですね
証明と主張されるのであれば、論理を追えるように書き直し、
反論があれば、修正すべきで
そうでなければ、これは予想であり、今後のたたき台あるいは
プラットフォームになるものであるとかを宣言する形に
直すとか
このまま、証明ができた、と言い張るのは
いけない気がしますね
908:１３２人目の素数さん
20/04/20 19:35:06.63 jmWfkEw+.net
>>867
焦ってるのは君だろ
つっこまれたときの返しが◆e.a0E5TtKE そっくり
あいつ「も」中身がカラッポだったな
909:１３２人目の素数さん
20/04/20 19:38:18 jmWfkEw+.net
>>869
「べき」とはいわない
書き換えたくないなら書き換えなくても結構
そのかわり、誰にも証明と認められない
あまり興味を示されないところを見ると
アプローチとしても有望ではないんだろうな
910:１３２人目の素数さん
20/04/20 19:46:36 55beezTS.net
>>871
そうすね
このまま認められず●ミのように浮遊
破棄同然になることもあり得ますね
911:１３２人目の素数さん
20/04/20 19:49:28 jmWfkEw+.net
望月は
「俺様の論文を誰も理解できんとは馬鹿ばっかりだな」
とかいってればいいが、京大数解研は
「なんであんなわけのわからん論文をアクセプトした？」
と世界中からつっこまれて踏んだり蹴ったりですな
912:BLACKX ◆SvoRwjQrNc
20/04/20 19:52:37 YjnQQnaT.net
>>870
それならば少し踏み込んだ
913:話を。 ?どちらも複素的にやるとpまたはqのどちらかが示せない。餅に至っては条件によってどちらも示せない。 ?どちらも整数を示す問題でGCDを使用し大枠である程度示せるかによる問題にフォーカスしている。 ?どちらも別問題に実装すると非負整数では実装すると一部条件内で成立するが別の類似問題で不適。 ?どちらも実数の鏡がないと証明不可だがどちらも書かれていない。 では。
914:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 20:04:50 w4pNIZe5.net
>>841
粋蕎さん、ご苦労さん
聞くけど、あなた、ＩＵＴの成否の判断できるほど
ＩＵＴの数学に精通しているのかね？
問い
１）ＩＵＴプロに近い（遠アーベルとかばりばり）
２）ＩＵＴセミプロ（遠アーベルを深く勉強した）
３）数学科ＤＲ持ちだが、ＩＵＴから遠い（遠ＩＵＴｗ）
４）数学科Ｍ修了
５）数学科学部卒
さて、どれですか？（＾＾；
あと、自分の数学のレベル自慢できることがあったら
書いていいよ（＾＾
915:１３２人目の素数さん
20/04/20 20:18:21 z2oDTInM.net
ここの奴全員バカって書き込みですぐ分かるからどっち側の論評も
バカ同士の数学力のマウントもいらない
916:１３２人目の素数さん
20/04/20 20:19:24 Obs4c8So.net
泣けてきた
917:１３２人目の素数さん
20/04/20 20:20:54 jmWfkEw+.net
>>874
それ、論理じゃないから
唐突にｐとかｑとかいう馬鹿に用はないよ
頭オカシイのか？
918:１３２人目の素数さん
20/04/20 20:23:38 wo6VgAtP.net
>>874
BLACKX氏はMとSの中立って事だけど、何を支持してるの？
919:１３２人目の素数さん
20/04/20 20:24:17 lnvD9PiA.net
しかし進展がないな
論文がいつfinal versionになるかわからないし、研究集会は延期だし
ブログの議論も止まったし
結局ショルツの「IUT理論によるabc予想の証明は不成立」という主張は変わらないままだな
920:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 20:26:24 w4pNIZe5.net
>>875
粋蕎さん、ご苦労さん
あと、追加で書いておくと
１．数学はディベートではない。つまり、討論で成否を決めるものではない
つまり、正しいか正しくないか、それは神の目で考えるべきもの
（一時的にそのときの人間たちのレベルが低く、その判断を誤っても、時間が経てば、正しいことは正しいと認められるものです）
２．ある理論Ｍがあり、Ｍに関する論文が出された
下記の３つの場合しかありえない
１）論文は数学的に正しく、証明も正しい
２）論文は数学的に正しいが、証明は正しくない
３）論文は数学的に正しくなく、証明も正しくない
３．さて
上記 ２）論文は数学的に正しいが、証明は正しくない は
さらに場合分けできる
２-a）証明は正しくないが、小さな修正でカバーできる
２-b）証明は正しくなく、根本的に書き直しが必要
４．上記 ３）論文は数学的に正しくなく、証明も正しくない は
論文査読でボツですね
さて、4月3日のRIMS記者会見で言えば、RIMS側（レフェリー含め）
上記の”１）論文は数学的に正しく 証明も正しい”と判断した
（”３）論文は数学的に正しくなく 証明も正しくない”は、あり得ないというに等しい）
一方、ショルツ氏は、”３）論文は数学的に正しくなく 証明も正しくない”ということで、真っ向対立です
私は、RIMSが記者会見した以上
上記”１）論文は数学的に正しく、証明も正しい”か、
せいぜい、”２-a）証明は正しくないが、小さな修正でカバーできる”だろうと思っています
921:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 20:29:39 w4pNIZe5.net
>>881 追加
なお、ショルツ氏の最終意見は下記です、ご参照ください（＾＾
半歩、IUT側へ譲歩していますよｗ（＾＾；
URLﾘﾝｸ(www.math.columbia.edu)
woitブログ
(抜粋)
Peter Scholze says:
April 17, 2020 at 7:15 pm
PS: I just realized that maybe the following in
922:formation is worth sharing. Namely, as an outsider one may wonder that the questions being discussed at length in these comments (e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments), and feel almost philosophical, so one might wonder that one is not looking at the heart of the matter. However, the discussions in Kyoto went along extremely similar lines, and these discussions were actually very much led, certainly initially, by Mochizuki. He first wanted to carefully explain the need for distinct copies, by way of perfections of rings, and then of the log-link, leading to discussions rather close to the one I was having with UF here. He agreed that one first has to understand these basic points before it makes sense to introduce all further layers of complexity. (I should add that we did also go through the substance of the papers, but kept getting back at how this reflects on the basic points, as we all agreed that this is the key of the matter.)
923:BLACKX ◆SvoRwjQrNc
20/04/20 20:31:32 YjnQQnaT.net
>>879
何って何？餅の？SSの？なら餅の次元拡張の着眼点は未来あると思うが内容が不適
924:１３２人目の素数さん
20/04/20 20:34:54 jmWfkEw+.net
>>875
＞１）ＩＵＴプロに近い（遠アーベルとかばりばり）
＞２）ＩＵＴセミプロ（遠アーベルを深く勉強した）
＞３）数学科ＤＲ持ちだが、ＩＵＴから遠い（遠ＩＵＴｗ）
＞４）数学科Ｍ修了
＞５）数学科学部卒
◆e.a0E5TtKE は上記のどれにも入らないな
６）数学科以外（🐶・🐈・🐄・🐎・🐵並）
925:１３２人目の素数さん
20/04/20 20:37:36 jmWfkEw+.net
>>881
＞ １）論文は数学的に正しく、証明も正しい
＞ ２）論文は数学的に正しいが、証明は正しくない
＞ ３）論文は数学的に正しくなく、証明も正しくない
「論文は」じゃなく「論文中の定理は」だろ
１）論文中の定理は数学的に正しく、証明も正しい
２）論文中の定理は数学的に正しいが、証明は正しくない
３）論文中の定理は数学的に正しくなく、証明も正しくない
926:１３２人目の素数さん
20/04/20 20:41:42 lnvD9PiA.net
何をどう読んだら譲歩に見えるんだ？
むしろショルツはIUTの基本的な概念を理解した上で、それでも反対意見を出したってことだろ