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
私の研究ともリンクするところあって中立
だけど証明の方法など立証の立場は否定派
891:１３２人目の素数さん
20/04/20 17:11:09.89 jmWfkEw+.net
>>843
＞望月の完全敗北！
こう書いたが、もしそうだとして、勝ったのはショルツではない
数学だ
要するに 数学者は数学と戦ってるのであって
数学者同士が戦ってるわけではない
偽りの勝利に意味はない
だからショルツも厳しく指摘しているのであって
別に望月に個人的な恨みがあるわけではない
（自分の指摘を真摯に考えない望月に対して
内心不快感を感じているかもしれないが）
892:１３２人目の素数さん
20/04/20 17:12:56.47 jmWfkEw+.net
>>844
数学者が5chなんか見ててなんか役にたつ？
893:１３２人目の素数さん
20/04/20 17:20:26.95 jmWfkEw+.net
Dessin d'enfant
URLﾘﾝｸ(en.wikipedia.org)
894:１３２人目の素数さん
20/04/20 17:30:07.59 jmWfkEw+.net
Belyi's theorem
URLﾘﾝｸ(en.wikipedia.org)
895:１３２人目の素数さん
20/04/20 17:40:10.98 jmWfkEw+.net
Klein quartic
URLﾘﾝｸ(en.wikipedia.org)
896:１３２人目の素数さん
20/04/20 17:52:02.14 55beezTS.net
>>769
なるほど この問題の原因は
M氏のパーソナリティにもあると思われる
手続きが進んでるからとか、誰それがいってるから
反論があっても大丈夫とか、正論（？）で
１００倍返せるとか、
全く、数学（科学も）の真理を探究する姿勢から
ほど遠いものである
（K大のペ
897:ージからは IUTによるABC定理証明のニュース発表は完全に 抹消されているようだが）
898:１３２人目の素数さん
20/04/20 17:53:21.92 jmWfkEw+.net
Triangle group
URLﾘﾝｸ(en.wikipedia.org)
899:１３２人目の素数さん
20/04/20 18:05:00.73 jmWfkEw+.net
>>850
>K大のページからは
>IUTによるABC定理証明のニュース発表は
>完全に抹消されているようだが
なんで記者会見したんだろう？
900:粋蕎
20/04/20 18:07:40.12 oyGS3XIo.net
>>844
ふむ。其処迄は儂も同じ
でも儂はSS側のSS兄弟はOversimplification疑惑 & 十把一絡げ拡大解釈疑惑 も疑問
901:１３２人目の素数さん
20/04/20 18:18:55.51 55beezTS.net
>>852
おそらく、Ｍ氏とその周辺の人たちに押され
十分な状況の確認がされないまま、勇み足で記者会見を開き
発表してしまったものと思われます
実際は、証明になっておらず つまり
査読は通過したが、当該分野の世界的に認められた数学者から
認められていない状況です
902:BLACKX
20/04/20 18:29:13.32 YjnQQnaT.net
>>853
でかい枠組からだんだん狭めてやるのはまだ分かるが紙発表はまだまだ先だろうと思った
全然狭められてねぇわ簡略化し過ぎて本質捕らえてねぇわ説明多すぎてそのシンプルのが使えるか書かれてねぇわで。はい。
コラッツのタオも同列だと思う。はい。
903:粋蕎
20/04/20 18:56:23.79 oyGS3XIo.net
>>855
日本に限らず世界的に数学界がおかしくなってるんかも。企業の特許取り合戦かって勢い｡
成果分配されん為の解答権独占の為のゴールポスト遅延戦法かも知れん｡
904:１３２人目の素数さん
20/04/20 19:09:01.41 Yw7vZjeM.net
>>850
同意見です。
今回のIUT騒動の最大の原因は、M氏のパーソナリティに起因すると思います。
M氏にワイルズのような素直さがあれば、証明に疑義が出た時点で、素直に引き下がるはずです。
真理が確立された数学で、証明に疑義があるものなどないのですから、こういう疑問が出た時点で、素直に批判を受けなくてはいけません。
3.12の原文を見ても、何々はどこと関係があるっと言うエッセイ風の文章が続くばかりで、証明の体をなしていません。
うがった見方をすれば、こういう弱点をカムフラージュするために、あえて「系」と表現して、
「この論証は自明であり、わからないお前らの頭が悪い」という風に思わせようとしたのかもしれません。
こういうこと言いたくありませんが、いい年した独身者は人格的にどこか未熟、という世間の常識を想起したくなります。
905:１３２人目の素数さん
20/04/20 19:11:58.41 WUjgQRtq.net
墓場まで持って行かなきゃあかんのやもんな
906:BLACKX
20/04/20 19:12:58.71 YjnQQnaT.net
>>856
私はコラッツ視点からではあるが、どちらの欠けてるピースも同じピースだと考えている。
それが分かってないから餅もTTも先行出しして、誰かが埋めて、ね？私のがベースになったでしょ？ってやりたいみたいな気がする。ただどちらも違うアプローチでどちらも同じ証明方法でピースを埋められる気がする。私はそんな研究をしてる
907:１３２人目の素数さん
20/04/20 19:16:25.80 jmWfkEw+.net
>>855
そのコメント
Mに対して？
Sに対して？
908:１３２人目の素数さん
20/04/20 19:16:34.15 Obs4c8So.net
>>857
～ いい歳した既婚者でも人格的にどこか未熟 ～
自ら“５歳児”を標榜された鬼才中の鬼才というべき方もいらっしゃいましたね…
離婚者もいらっしゃいますし…
909:１３２人目の素数さん
20/04/20 19:18:06.86 jmWfkEw+.net
>>859
＞コラッツ視点からではあるが
素人？
タオはともかく、望月の研究ってコラッツに関係するか？
910:BLACKX
20/04/20 19:18:23.72 YjnQQnaT.net
>>860
M
911:BLACKX
20/04/20 19:23:04.98 YjnQQnaT.net
>>862
私の中では行き着いた。
ちょっと闇が深すぎたよう考えられた。
定義された中の籠の鳥は外の繋がりが見えないように思えた。この先はちょっと失礼。
912:１３２人目の素数さん
20/04/20 19:25:37.57 jmWfkEw+.net
>>864
＞私の中では行き着いた。
論理皆無の直感だろ？
じゃ妄想だな
913:１３２人目の素数さん
20/04/20 19:27:04.24 ktZv8fNh.net
いい年した独身だから人格的に問題がある、というのは暴論じゃないでしょうか？
世の中性格が非常に良くても致命的にモテない人もいます。
特にMさんはとじ込もって研究ばかりしてたそうですし、むしろその異様な生活のなかでも狂わず、
イケメンリア充Bさんをして「ふつーの気さくな人」と言わしめたほど、至ってまともな男性ではないでしょうか？
914:BLACKX
20/04/20 19:28:56.90 YjnQQnaT.net
>>865
まぁまぁ焦るでないまっておれ。
すぐにたどり着く
915:１３２人目の素数さん
20/04/20 19:33:35.09 jmWfkEw+.net
Mが独善的な論文書いて、独善的な態度とるのは本人の勝手だけど
京大数解研は簡単にアクセプトしたらあかんよな
TはMに弱み握られてんのか？
Kは・・・巻き込まれただけだろう
916:１３２人目の素数さん
20/04/20 19:34:10.20 55beezTS.net
>>857
そうですね
証明と主張されるのであれば、論理を追えるように書き直し、
反論があれば、修正すべきで
そうでなければ、これは予想であり、今後のたたき台あるいは
プラットフォームになるものであるとかを宣言する形に
直すとか
このまま、証明ができた、と言い張るのは
いけない気がしますね
917:１３２人目の素数さん
20/04/20 19:35:06.63 jmWfkEw+.net
>>867
焦ってるのは君だろ
つっこまれたときの返しが◆e.a0E5TtKE そっくり
あいつ「も」中身がカラッポだったな
918:１３２人目の素数さん
20/04/20 19:38:18 jmWfkEw+.net
>>869
「べき」とはいわない
書き換えたくないなら書き換えなくても結構
そのかわり、誰にも証明と認められない
あまり興味を示されないところを見ると
アプローチとしても有望ではないんだろうな
919:１３２人目の素数さん
20/04/20 19:46:36 55beezTS.net
>>871
そうすね
このまま認められず●ミのように浮遊
破棄同然になることもあり得ますね
920:１３２人目の素数さん
20/04/20 19:49:28 jmWfkEw+.net
望月は
「俺様の論文を誰も理解できんとは馬鹿ばっかりだな」
とかいってればいいが、京大数解研は
「なんであんなわけのわからん論文をアクセプトした？」
と世界中からつっこまれて踏んだり蹴ったりですな
921:BLACKX ◆SvoRwjQrNc
20/04/20 19:52:37 YjnQQnaT.net
>>870
それならば少し踏み込んだ話を。
?どちらも複素的にやるとpまたはqのどちらかが示せない。餅に至っては条件によってどちらも示せない。
?どちらも整数を示す問題でGCDを使用し大枠である程度示せるかによる問題にフォーカスしている。
?どちらも別問題に実装すると非負整数では実装すると一部条件内で成立するが別の類似問題で不適。
?どちらも実数の鏡がないと証明不可だがどちらも書かれていない。
では。
922:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 20:04:50 w4pNIZe5.net
>>841
粋蕎さん、ご苦労さん
聞くけど、あなた、ＩＵＴの成否の判断できるほど
ＩＵＴの数学に精通しているのかね？
問い
１）ＩＵＴプロに近い（遠アーベルとかばりばり）
２）ＩＵＴセミプロ（遠アーベルを深く勉強した）
３）数学科ＤＲ持ちだが、ＩＵＴから遠い
923:（遠ＩＵＴｗ） ４）数学科Ｍ修了 ５）数学科学部卒 さて、どれですか？（＾＾； あと、自分の数学のレベル自慢できることがあったら 書いていいよ（＾＾
924:１３２人目の素数さん
20/04/20 20:18:21 z2oDTInM.net
ここの奴全員バカって書き込みですぐ分かるからどっち側の論評も
バカ同士の数学力のマウントもいらない
925:１３２人目の素数さん
20/04/20 20:19:24 Obs4c8So.net
泣けてきた
926:１３２人目の素数さん
20/04/20 20:20:54 jmWfkEw+.net
>>874
それ、論理じゃないから
唐突にｐとかｑとかいう馬鹿に用はないよ
頭オカシイのか？
927:１３２人目の素数さん
20/04/20 20:23:38 wo6VgAtP.net
>>874
BLACKX氏はMとSの中立って事だけど、何を支持してるの？
928:１３２人目の素数さん
20/04/20 20:24:17 lnvD9PiA.net
しかし進展がないな
論文がいつfinal versionになるかわからないし、研究集会は延期だし
ブログの議論も止まったし
結局ショルツの「IUT理論によるabc予想の証明は不成立」という主張は変わらないままだな
929:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 20:26:24 w4pNIZe5.net
>>875
粋蕎さん、ご苦労さん
あと、追加で書いておくと
１．数学はディベートではない。つまり、討論で成否を決めるものではない
つまり、正しいか正しくないか、それは神の目で考えるべきもの
（一時的にそのときの人間たちのレベルが低く、その判断を誤っても、時間が経てば、正しいことは正しいと認められるものです）
２．ある理論Ｍがあり、Ｍに関する論文が出された
下記の３つの場合しかありえない
１）論文は数学的に正しく、証明も正しい
２）論文は数学的に正しいが、証明は正しくない
３）論文は数学的に正しくなく、証明も正しくない
３．さて
上記 ２）論文は数学的に正しいが、証明は正しくない は
さらに場合分けできる
２-a）証明は正しくないが、小さな修正でカバーできる
２-b）証明は正しくなく、根本的に書き直しが必要
４．上記 ３）論文は数学的に正しくなく、証明も正しくない は
論文査読でボツですね
さて、4月3日のRIMS記者会見で言えば、RIMS側（レフェリー含め）
上記の”１）論文は数学的に正しく 証明も正しい”と判断した
（”３）論文は数学的に正しくなく 証明も正しくない”は、あり得ないというに等しい）
一方、ショルツ氏は、”３）論文は数学的に正しくなく 証明も正しくない”ということで、真っ向対立です
私は、RIMSが記者会見した以上
上記”１）論文は数学的に正しく、証明も正しい”か、
せいぜい、”２-a）証明は正しくないが、小さな修正でカバーできる”だろうと思っています
930:現代数学の系譜 雑談 ◆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 information 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.)
931:BLACKX ◆SvoRwjQrNc
20/04/20 20:31:32 YjnQQnaT.net
>>879
何って何？餅の？SSの？なら餅の次元拡張の着眼点は未来あると思うが内容が不適
932:１３２人目の素数さん
20/04/20 20:34:54 jmWfkEw+.net
>>875
＞１）ＩＵＴプロに近い（遠アーベルとかばりばり）
＞２）ＩＵＴセミプロ（遠アーベルを深く勉強した）
＞３）数学科ＤＲ持ちだが、ＩＵＴから遠い（遠ＩＵＴｗ）
＞４）数学科Ｍ修了
＞５）数学科学部卒
◆e.a0E5TtKE は上記のどれにも入らないな
６）数学科以外（🐶・🐈・🐄・🐎・🐵並）
933:１３２人目の素数さん
20/04/20 20:37:36 jmWfkEw+.net
>>881
＞ １）論文は数学的に正しく、証明も正しい
＞ ２）論文は数学的に正しいが、証明は正しくない
＞ ３）論文は数学的に正しくなく、証明も正しくない
「論文は」じゃなく「論文中の定理は」だろ
１）論文中の定理は数学的に正しく、証明も正しい
２）論文中の定理は数学的に正しいが、証明は正しくない
３）論文中の定理は数学的に正しくなく、証明も正しくない
934:１３２人目の素数さん
20/04/20 20:41:42 lnvD9PiA.net
何をどう読んだら譲歩に見えるんだ？
むしろショルツはIUTの基本的な概念を理解した上で、それでも反対意見を出したってことだろ
935:１３２人目の素数さん
20/04/20 20:42:27 jmWfkEw+.net
>>881
＞ ２-a）証明は正しくないが、小さな修正でカバーできる
＞ ２-b）証明は正しくなく、根本的に書き直しが必要
甘い
例えば、フェルマーの定理の証明は、
フェルマーが想定していたとされる方法では
全く不十分である
つまり
2-c)証明は正しくなく、そもそも根本的なアイデアが欠如しているのでどうしようもない
望月の論文が2-c)に該当する可能性はおおいにある
936:１３２人目の素数さん
20/04/20 20:46:49 MD1aA7p6.net
証明には多分なってないよ
Dupuyは単純に関わっちゃってるから擁護してるだけ
非常にややこしいよね、同時にSSが十分な反証ではないとしたら
でもこれはメタレベルで考えたら簡単に納得できる
つまり、ABC予想とIUTに関係するメタ命題が難しいから簡単に反証はできないってこと
同時にIUTは普通に読んだら理解不可能だから、証明ではないだろうってこと
937:BLACKX ◆SvoRwjQrNc
20/04/20 20:47:28 YjnQQnaT.net
>>878
だから内容の概要は遠アーベルでもSもいっているようにフォーカスが違うんよ
938:１３２人目の素数さん
20/04/20 20:48:23 jmWfkEw+.net
>>881
RIMSが会見しようが論文読者が「証明になっていない」と思えば１）に該当しない
１）でない論文をアクセプトした時点でRIMSは査読を放棄したといっていい
ショルツは「単純化すれば成り立たないが」といってるが
あれはIUTの仕掛けの意図を説明させるための発言だろう
ショルツの真意は以下
2-c)（系3.12の）証明は正しくなく、そもそも根本的なアイデアが欠如しているのでどうしようもない
そしてそこから一歩もIUT側に近づいてない
939:１３２人目の素数さん
20/04/20 20:50:59.79 jmWfkEw+.net
>>889
ｐとかｑとかの説明は一切しないんだな・・・口からデマカセかよ
940:１３２人目の素数さん
20/04/20 20:52:13.02 jmWfkEw+.net
>>888
＞Dupuyは単純に関わっちゃってるから擁護してるだけ
理解できてないのに支持するとか不誠実だよな
数学者というより詐欺師
941:１３２人目の素数さん
20/04/20 20:53:34.82 jmWfkEw+.net
>>883
＞次元拡張
また素人がわけのわからん新語使ってるな
統合失調症か？
942:１３２人目の素数さん
20/04/20 20:59:49.75 MD1aA7p6.net
>>887
本質的な情報が欠けている（ギャップがある）が尤もらしいアイデアで尤もらしく
943:理論も展開できてしまった というほうがしっくりくる どのみち、当該分野の研究者は別のアプローチを考えたほうが精神衛生上いい 文元さんはその辺関係ないから無責任なんだよ
944:１３２人目の素数さん
20/04/20 21:05:59.83 lnvD9PiA.net
>>894
そうなんだろうね
新しい数学の1つとしてはアリかもしれないけど、abc予想とは結び付かないだろうな
絶対数学みたいなもんだろ
945:BLACKX
20/04/20 21:08:00.42 YjnQQnaT.net
>>891
ここより先は研究にさわるので興味あるならツイッターのDMで来いよ
946:１３２人目の素数さん
20/04/20 21:08:07.84 ysfKDHs1.net
ご本尊、実は正しくても間違っていても自分個人には被弾しない、っていう深い読みがあったりするのかな
だったらやだな。
947:１３２人目の素数さん
20/04/20 21:11:26.61 /wvd6pc6.net
>>642とか、反証可能性を過大評価する人をたまに見かけるが、反証可能性による科学の線引きは、カールポパーによる線引き問題の一つの説でしかない
例えばトーマスクーンは科学を謎解きによって線引きすることを主張したし、ラリーラウダンは線引きは不可能であり過去の哲学者の行いは無意味だとしている(というラウダンの結論もセバスチャンルッツなどに反論されている)
反証可能性によって科学を定めるのは尚早過ぎる行いでしかない
948:１３２人目の素数さん
20/04/20 21:13:40 ysfKDHs1.net
ドン・キホーテ的なスタンスを貫けば被弾するのはRIMSだ、みたいな
949:１３２人目の素数さん
20/04/20 21:27:28 Obs4c8So.net
⊃♀ ＞ドン・キホーテ
(↑鏡)
950:１３２人目の素数さん
20/04/20 21:27:36 55beezTS.net
>>898
その人たちは科学者になりきれなかった
くずれの哲学者・思想家達、社会科学
ですね
哲学なんかほぼ何言っても自由と思いますよ
ニーチェみたいに
951:BLACKX ◆SvoRwjQrNc
20/04/20 21:33:09 YjnQQnaT.net
>>897
SとDはその可能性が捨てきれない
952:１３２人目の素数さん
20/04/20 21:57:38 GgsVPm+R.net
>>279
なお「falsifiable」とは「反証可能な」という意味です。
953:１３２人目の素数さん
20/04/20 23:20:06.40 jmWfkEw+.net
>>897
＞正しくても間違っていても自分個人には被弾しない
被弾とは何か？によるけどね
ギャップのある証明による論文を書いたところでクビにはならない
学会には成果として認められないだけのことで
ギャップのある証明による論文を掲載したところで処罰もされない
査読がなってなかったというだけのことで
しかし、実際には
学界における当人の評価は下落する
掲載した雑誌の評価も下落する
だからダメージは全くない、と考えるのはおめでたい
望月の評価が下がるのは「自業自得」だが
望月を庇った玉川のせいで京大数解研の評価が下がるのは
日本数学界における莫大な損失
954:１３２人目の素数さん
20/04/20 23:31:14.40 z2oDTInM.net
バカは話を精神科の待合室でやれ！
955:粋蕎 ◆C2UdlLHDRI
20/04/21 02:12:55 gIPp5okj.net
遂に儂にまで慇懃無礼し始めよったな？
>>875
そうやって自慢さえできりゃ決め付け肯定して良いみたいな物の言い方をせん方が良えんと違うか？
それしたら、やってる事が猿βと裏表に成るじゃろ。犬猿の仲にしか見えなくなって来よったぞ｡
956:粋蕎 ◆C2UdlLHDRI
20/04/21 02:23:46 gIPp5okj.net
p進の話が頻発するIUTT上でpとqったら有理数qちゃんと素数pちゃんと違うんQp3分クッキング？
957:１３２人目の素数さん
20/04/21 08:18:49 fAYIQAuH.net
小学生の娘から聞かれて困っています。
比の表記の問題です。
たとえば、
2 : 3
などの表記は日本だけで外国(米国)では使わないのでしょうか？
使わない�
958:ﾆしても、だいたいは通じるものなのでしょうか？ スレチですが、ネットで調べてもどこにも書いてないので、 一流の数学者が集うこのスレで質問させてもらいました。 よろしくお願いいたします。
959:１３２人目の素数さん
20/04/21 08:25:40 V1vFTd32.net
1. wikipedia で日本語の項目を調べる
URLﾘﾝｸ(ja.wikipedia.org)
2. 左下「多言語版」のリストに対応する英語(English)の項目へのリンクがあるからそれをクリック
URLﾘﾝｸ(en.wikipedia.org)
3. 右上に "4:3" の表記があるので、英語でも同じように表記するんだな、とわかる。
960:１３２人目の素数さん
20/04/21 08:30:43 PDe5gzQS.net
>>908
アメリカでもratioは a:b です
unit rate は a/b です
961:１３２人目の素数さん
20/04/21 08:52:53.21 fNdyonvY.net
ｽﾚﾘﾝｸ(math板:173番)
>双曲的なリーマン面Xの不変被覆X~は 上半平面Hに同型である（Koebe）
◆e.a0E5TtKEはそもそもリーマンの写像定理とか一意化定理とか知らなそう
URLﾘﾝｸ(ja.wikipedia.org)
URLﾘﾝｸ(ja.wikipedia.org)
962:１３２人目の素数さん
20/04/21 08:59:43.11 fNdyonvY.net
>>911
>双曲的なリーマン面Xの不変被覆X~は 上半平面Hに同型である（Koebe）
つまりXはH/Γとなる （ΓはHの等角自己同型群Aut（H)の離散部分群）
963:１３２人目の素数さん
20/04/21 12:34:39 ZDo5kOJk.net
有効な説明が現れない以上餅付さんの妄想であり取り巻きの個人崇拝でしかないんだよなぁ。
964:１３２人目の素数さん
20/04/21 12:36:58 ZDo5kOJk.net
ドンキホーテも最後は正気に戻って今までやってきたことの羞恥心にもがきながら死に絶え、
取り巻きサンチョに財産を奪われるというオチだったな。
965:１３２人目の素数さん
20/04/21 12:37:11 fNdyonvY.net
ｽﾚﾘﾝｸ(math板:177番)
＞山下先生サーベイは、学部1000～2000ｍくらいからの
＞コンパクトなガイドになっている感じ
◆e.a0E5TtKEは海抜0m付近
まず雲取山(2017m）まで登ってこい
葛城山(959.2m)じゃないぞ
966:１３２人目の素数さん
20/04/21 12:49:54 kSbymxl4.net
>KS says:
>April 20, 2020 at 11:32 am
URLﾘﾝｸ(www.math.columbia.edu)
このコメントの人はこのスレ見ていそうだな
967:１３２人目の素数さん
20/04/21 12:53:38 SIkboWSK.net
ABC予想のABCは大文字なんだろうか小文字なんだろうか？
英語版のWikipedia見るとタイトルは小文字でabc conjectureだし
The abc conjectureで書きだしてるけど予想自体はABC conjecture
名称がrad(abc)から来てるなら変数の通り小文字じゃないかなと思うけど
968:１３２人目の素数さん
20/04/21 13:45:00 RBkmWQJ3.net
URLﾘﾝｸ(ja.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(mathworld.wolfram.com)
ABC予想について、書いてあるε(イプシロン)の条件がそれぞれ異なるようだ。
・任意の ε > 0
・For every positive real number ε (すべての正の実数)
・for any infinitesimal ε>0 (任意の極小の)
どれを参考にするのかとか自由なんだろうな。
969:１３２人目の素数さん
20/04/21 14:17:12.14 kq14Fi9E.net
京大はこのところ、松沢・正高とビックネームの不正に揺れているなあ。
そしてIUT証明ニュースはひっそり削除・・・
970:１３２人目の素数さん
20/04/21 14:33:49.01 BtDP
971:14N4.net
972:１３２人目の素数さん
20/04/21 14:53:17.94 /b738xCK.net
そもそも霊長類関連の不正の発表とIUT論文の発表が同時だったから、
当て馬だろ。より分かりにくい不正でより分かりやすい不正を隠蔽してる。
973:１３２人目の素数さん
20/04/21 15:27:26.62 SIkboWSK.net
ええ…不正なの？
974:１３２人目の素数さん
20/04/21 15:38:44.57 kSbymxl4.net
プレス発表のタイミングは確かに不自然
論文のアクセプトが決まったのは2月だし、あのタイミングで発表する理由がない
掲載予定日が決まったわけでもなく、ただアクセプトが決まったことだけを2か月遅れで発表したのはなぜだ？
975:１３２人目の素数さん
20/04/21 15:54:36.69 d1U3qbON.net
削除マジか
976:１３２人目の素数さん
20/04/21 15:59:01.39 fNdyonvY.net
>>918
異なりますか？
977:１３２人目の素数さん
20/04/21 16:03:19.64 fNdyonvY.net
jin、OPのレフェリー辞退＆リジェクト勧告発言に激怒
守秘義務に反すると猛抗議
こいつ、正真正銘の●違いだな
978:１３２人目の素数さん
20/04/21 16:13:50.18 fNdyonvY.net
諸法無我 @MugaShohou も●違いだな
OPをウソツキ呼ばわりしてるし
979:１３２人目の素数さん
20/04/21 16:14:46.31 ZDo5kOJk.net
諸法無我 まずお前が本名出せよ基地外w
980:１３２人目の素数さん
20/04/21 16:14:50.92 wCkz5trp.net
まーたデマ流してら
981:１３２人目の素数さん
20/04/21 16:15:09.19 SIkboWSK.net
ｽﾚﾘﾝｸ(math板:519番)
>519 ：１３２人目の素数さん：2012/12/06(木) 22:32:19.56
>既に証明されている、というか、これが成り立つので、
>整数のabc予想が考えられただろうと思われる、関数体上の類似の予想
>も、ABC予想と呼ぶから、（関数体の場合ABC,整数の場合abcと大文字、
>小文字で区別の場合がある）ヒットするのはそっちでは？
なるほど小文字のほうがより正解っぽいな
982:１３２人目の素数さん
20/04/21 16:21:13.34 D0wyLLCh.net
削除なんてされたっけ？
京大のホームページ、ツイッター、リムスのホームページ、最初からABC解決やもっちーがやりました的な掲載はされてなかったはず
983:１３２人目の素数さん
20/04/21 16:26:40.33 fNdyonvY.net
現代でもタイヒミューラーみたいな政治的にイタい数学者っているんだろうな
「ナチ党の信奉者で1931年に突撃隊へ入隊し、
1933年にはユダヤ系教授エトムント・ランダウの排斥運動にもかかわっている。」
「1936年、ユダヤ人の影響を排しドイツ人の数学的業績を誇示するとして、
ビーベルバッハ予想で知られるルートヴィヒ・ビーベルバッハの主導で
『ドイツの数学（英語版）』誌が発行され、タイヒミュラーの論文も掲載された。
その内の一つによるものがタイヒミュラー空間（英語版）の理論である。」
「1939年にナチス・ドイツ軍に従軍し、1943年に東部戦線ドニエプル川の戦いで死亡した。」
984:１３２人目の素数さん
20/04/21 16:28:17 5dOMI/jC.net
>>931
最初から京大の広報には一度も掲載されていない、が正しいな。
985:１３２人目の素数さん
20/04/21 16:30:28 +MxRNSDb.net
自分たちがＫＩＴＩＧＡＩって気づこうか
986:１３２人目の素数さん
20/04/21 16:36:34 fNdyonvY.net
規定外ですね
987:１３２人目の素数さん
20/04/21 16:38:45 arbp67tB.net
jinだよ
なんか質問ある？
988:１３２人目の素数さん
20/04/21 16:40:08 5dOMI/jC.net
おまえに訊くことなんかなにもないよ。
989:１３２人目の素数さん
20/04/21 16:44:04 fNdyonvY.net
jinに聞きたい質問
・皇位の継承で男系維持は必須と考えますか
・旧宮家の皇族復帰は問題ないと考えますか
え？数学に関する質問はないのか？
ええ だって数学知らない素人さんでしょ？
990:１３２人目の素数さん
20/04/21 16:57:02 fNdyonvY.net
ｽﾚﾘﾝｸ(math板:182番)
>ある人から見れば、（わけわからん）お経でも
>ちゃんと、仏教の修行をした坊さんとか 分かる人が見れば
>「これは ありがたい仏の教えだ」となるわけ
誤 仏教
正 オウム真理教
>自分には、「（わけわからん）お経」か「ありがたい お経か」判断は つかないが
だったら信徒やめればいいのに
頭おかしいよな こいつ
991:１３２人目の素数さん
20/04/21 17:03:34 fNdyonvY.net
ｽﾚﾘﾝｸ(math板:182番)
>このあとの展開 どうなるか知らないが
望月およびその周辺から、詳細な説明がなされる可能性は
否定しないがかなり絶望的
（説明できるなら、すでになされていた筈だから）
一方、ショルツら他の数学者からIUTの矛盾が示される可能性も
否定しないがかなり小さい
（そもそも理論としての体をなしてないから）
一番可能性があるのは
「IUTはこのまま忘れ去られる」
「望月とRIMSは、意味不明な論文を執筆＆受理した件で、世界の数学界から忌避される」