Inter-universal geometry と ABC予想 42

**１３２人目の素数さん** · 2019/10/27(日) 13:21:26.21

IU幾何やABC予想に関する会話のサロンと
して使って下さい。
 荒らしはご遠慮願います。  

**１３２人目の素数さん** · 2019/12/03(火) 06:36:11.17

ポール・ノフラー
https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%8E%E3%83%95%E3%83%A9%E3%83%BC

STAP細胞へのコメント
１．STAP（とされている）細胞の自己蛍光現象についての誤った解釈
２．人目をひく要素がそろい過ぎ：論文テーマ、大物の共著者、投稿誌、すべてにおいて「派手さ」が際立つ
３．名前だけ連ねて何もしない共著者
４．Nature誌では画像・文書の「盗用防止スクリーニング」が行われていないという欠陥があった。欧州分子生物学機構の雑誌The EMBO Journalならば、このような論文は採択されなかった。

・・・似ている

**１３２人目の素数さん** · 2019/12/03(火) 06:52:51.10

>>626-628
具体例が１つも存在しない抽象論にどんな意味があるんだ？
「論文が書ける」とかいう●●丸出しの主張は却下ねｗ

**１３２人目の素数さん** · 2019/12/03(火) 11:45:16.25

芸術は托鉢だ！

**１３２人目の素数さん** · 2019/12/03(火) 12:03:58.00

複雑に間違ってるから他人にパクられる心配がない論文ネタとして意図的に使っている、
というのが実際ありえないわけではないからな。

**１３２人目の素数さん** · 2019/12/03(火) 19:22:14.15

https://rio2016.5ch.net/test/read.cgi/math/1573769803/275
>IUTに一番近いと思われる圏を選んで

なんか圏論だけでIUTが語りきれると思い込んでる馬鹿素人がいるな（嘲）

**１３２人目の素数さん** · 2019/12/03(火) 19:39:59.11

>>624
いや大した言及ではないよ
「よくわからないけどアラケロフ理論の一般化としてモノイドを経由してるから自分らの関心と関係あるよね」
と言ってるだけ
従って全くミスや責任はない

**１３２人目の素数さん** · 2019/12/03(火) 19:47:15.75

このスレ一般人もいるのかw

**１３２人目の素数さん** · 2019/12/03(火) 23:27:04.48

圏論だけで語るというか、如何に普通の圏論ではないかってのは結構簡単に言える
まあケドラヤが公にIUTのプリント出さなかったらもう難しいと思っていいだろうな
現実にはDAGとリジッドで最近忙しいらしいが、こっそりIUT関連論文を準備している可能性もあるw

**１３２人目の素数さん** · 2019/12/04(水) 06:56:02.33

https://rio2016.5ch.net/test/read.cgi/math/1506152332/130
>おまえには、IUTは無理だよ
>「このスレ一般人もいるのかw」なんて言われているな、
>おまえのことよ！

一般人にもなれない正真正銘の馬鹿◆e.a0E5TtKE
毎度恒例の発狂

↓馬鹿の数学理解レベル
https://rio2016.5ch.net/test/read.cgi/math/1570237031/574
>ノイマン構成から、一番右の要素のみを残して、他の元を抜くと、Zermelo 構成になる
>ω := {0, 1, 2, 3,・・,n・・・} = {{}, {{}}, {{}, {{}}},・・・,{{}, {{}},・・・, {{}}・・・}}
>　↓(0, 1, 2, 3,・・, n,・・を抜く)
>ω := {・・・{{}}・・・} (0 := {}の外がω重）(Zermelo 構成)

ｗｗｗｗｗｗｗ

https://rio2016.5ch.net/test/read.cgi/math/1506152332/133
>おれは、あそこは基本ROMですよ

あたり前田のクラッカーｗ

「ωには一番右の要素がある」とほざくトンデモが書いたら
速攻三秒で焼き殺されるｗｗｗ

**１３２人目の素数さん** · 2019/12/04(水) 06:57:42.81

https://rio2016.5ch.net/test/read.cgi/math/1506152332/133
＞来年のワークショップの成功を祈るだけさ
＞多分成功するよ

「ωには一番右の要素がある」とほざくトンデモ馬鹿に
訳も分からず成功を祈られても迷惑だとさｗｗｗｗｗｗｗ

**１３２人目の素数さん** · 2019/12/04(水) 07:07:03.83

https://rio2016.5ch.net/test/read.cgi/math/1573769803/277
>おれはIUTを応援しているんだ

ωの要素に最大元があると思ってる
トンデモ馬鹿に応援されるようじゃ
Mも終わってるな

>IUTは、ものになっていると思っている
>それは、数学的な根拠では全くないけれど

ωの要素に最大元があると思ってる
トンデモ馬鹿はIUTどころか
集合論も理解できないｗ

>まあ、望月一人ではなく、その弟子とかだけでなく、
>日本の数学者何人か（加藤、田口など）
>それに、海外ではフェセンコさんを筆頭に何人も支持者がいる

しかしその支持者の誰一人として
S&SのCol.3.12に対する指摘に答えられない

実にナサケナイ

>これらの賛同者たちが、まさか集団催眠か集団狂気でも無い限り
>全員が間違うのは変（というか、その確率的には極めて低いだろう）

理解もせずに願望だけで賛同してるようじゃ
全然信頼できないけどな

>反対している人たちは、理論の文献があまりにも膨大すぎて
>未消化あるいは消化不良のためじゃないかと思っているんだ

賛同している人達ですら、全然消化できてないのが問題なんだが
馬鹿は全然分かってないな

**１３２人目の素数さん** · 2019/12/04(水) 07:16:53.50

https://rio2016.5ch.net/test/read.cgi/math/1506152332/130
>ラベル付けが普通の圏論と識別の仕方が異なる
>Peter Scholze and Jakob Stixが指摘したのは、
>IUTを単純化した圏論モデルで、IUTのラベル識別が矛盾する
>ということ

だろ？
だから望月のラベルの議論は圏論の外
圏論では正当化できない
1秒で気付けよ　馬鹿ｗ

ScholzeとStixはわかっていて単純化してみせた
望月はこの「挑発」に対して、自分の理屈を
十二分に説明し切って反駁する必要がある

しかし結局できていない
要するにラベルの取り扱いが
望月一人の「秘儀」「密教」
になってるということ

**１３２人目の素数さん** · 2019/12/04(水) 07:19:09.39

https://rio2016.5ch.net/test/read.cgi/math/1506152332/134

数学のスの字もわからんトンデモ馬鹿が
なにをトチ狂ったのか
「謝れ！望月大先生に謝れ！」
と泣き叫んでおりますｗｗｗｗｗｗｗ

**１３２人目の素数さん** · 2019/12/04(水) 07:26:05.13

…ということであとは専門家の皆様にお任せしますｗ

**１３２人目の素数さん** · 2019/12/04(水) 07:46:53.83

「現代数学の系譜工学物理雑談古典ガロア理論も読む」スレも
IUT公式認定スレになる日が近い

**１３２人目の素数さん** · 2019/12/04(水) 16:34:58.75

ユニバースの人とマルチバースの人の論争だから議論が噛み合わないと誰かが言ってたな
そもそも立場が違うって事か

**１３２人目の素数さん** · 2019/12/04(水) 16:36:59.79

ヒント
行き詰まったけど abc予想が解きたい！

**１３２人目の素数さん** · 2019/12/04(水) 17:36:23.60

>>645
確かに一定の支持者もいるんだが、そもそもあの論文は結構裏では読まれてるんだよね
いくら忙しいとは言え、新しい理論好きの天才達が未だになかなか反応できないのも事実なんだよな
勿論だから駄目だとは言い切れないが

**１３２人目の素数さん** · 2019/12/04(水) 18:14:27.64

ついにIUT局地戦が始まってるのか

**１３２人目の素数さん** · 2019/12/04(水) 19:34:04.08

>>652
誤　新しい理論好きの天才
正　新しい理論好きの馬鹿

**１３２人目の素数さん** · 2019/12/04(水) 19:37:37.46

https://rio2016.5ch.net/test/read.cgi/math/1573769803/280

充満多重同型とラベルの使用こそIUTの核心
これが枝葉末節だと思う奴は文章が読めない馬鹿ｗｗｗ

**１３２人目の素数さん** · 2019/12/04(水) 20:00:06.72

>>650
ああ、それは今日もこのスレにいる人が言っていたことだと思う（間違っていたらゴメン）
私は圏論的な問題として「universal property v.s inter-universal」で、レベルが高いのか低いのか分からん論争と書いたことがあるｗ
立場が違うというのはちょっと違うかな。IUT側はSSの「嗜好・美学」＋勉強不足にして、立場の違いにしたいようだけど、
SSに限らず外野（IUTコミュ以外の人）にとっては理解可能で納得できる説明ができるのどうかが問題

IUTはマルチバースとは厳密にはちょっと違う。「母宇宙→子宇宙→孫宇宙→・・・」ではなく、オカルトというか笑い話で例えると、
母親の輪廻転生の物語になる。
「母→前世の記憶を失ったコピー母１→母１の記憶を失ったコピー母２→……→ｎ代目コピー母……→魔改造された最初の母」
みたいな感じかなｗ

**１３２人目の素数さん** · 2019/12/04(水) 20:20:58.81

SSの単純化には2種類あって、radicalなものとdrasticなものがある
前者はアナロジーに頼らない普通の数学用語で書くということ
後者は充満多重同型とラベルの使用を「不必要・無意味」(望月レポによる)として採用しないということ
とくに後者はIUTの核心部分を損なうとSS自身が書いているが、面白いことに実はそれすら本質的な問題ではないと書いている

要するにSSにとって本質的な問題はpilot objectの抽象v.s.具象で、彼らが納得できなかったのが充満多重同型とラベルということ
つまり、原因を探ればこのような問題を生じさせているのは同型とラベルの問題で、それをクリアにするためには
drasticな単純化が必要であった、ということになる

ちょっと分かりにくいけどね。まあ、IUT側からすれば絶対に受け入れられないし、IUTではないということになる
その通りなんだが、SSがなぜそこまでしたのかということをIUTコミュは検討すべきだと思うけどね
Kimの検証云々の話も合ったけど、詳細に真剣にやればかなり大変な作業になると思うよ。
特にIUTは正しいを結論付ける場合はね

**１３２人目の素数さん** · 2019/12/04(水) 21:09:29.91

ユニバースv.s.マルチバースという対立について当てはまるとすれば、
スキーム論的な環論的枠組みv.s.遠アーベル的な群論的枠組み、ということはできるかな

まあ、実際SSはIUTを前者にして書き換えているわけだし。もはやIUTと呼べるシロモノではないけどね
望月がSSレポ5月版を読んだとき青天の霹靂だったんじゃないかな
望月が初夏に書いたらしい反論レポを読んだ上でのSSレポ8月版では、脚注などで強烈な皮肉を書いているしね

**１３２人目の素数さん** · 2019/12/04(水) 21:23:41.25

どっちが嘘ついてるのかな？

**１３２人目の素数さん** · 2019/12/04(水) 21:44:56.78

マルチバースとか言ってる時点でダメだろw

**１３２人目の素数さん** · 2019/12/04(水) 22:00:02.84

望月新一HPから個人的に整理した

[10] 数論的log schemeの圏論的表示から
見た楕円曲線の数論　
（北海道大学 2003年11月)

⑴ 圏のIU幾何
① abc予想を解決したい
・abc予想を解きたい
↓
・技術レベル。
(スキーム理論のHA理論では不十分
局所環付き空間のスキーム理論だけでは
不十分。)
F.1上の幾何が必要。
数体上の大域的ホッジ理論が必要。
↓
・本質的な技術的な問題。
( 通常の集合論ではありえないが)
「属性方程式」a∈aを解きたい
↓
・通常の集合論を拡大する必要がある。

② IU幾何によるabc予想の解法
・宇宙の拡大を使ってラベルを貼る
a1∈〔a1 b1｝=a2∈〔a2 b2｝=a3∈〔 a3 b3
そしてaiたち→a biたち→b と、
同一視する quotientを作る

cf
図 a∈a →点からループしてまた点へ
→線上の点列があり円弧の矢印＋1が作用

**１３２人目の素数さん** · 2019/12/04(水) 22:18:31.89

>>661
これが本当に必然的な「数体のホッジ理論」なのかっていう根本的な問題でもある
実際、これを読んで「確かになるほど」と思う人は世の中にいるんだろうか？w
しかし、この問題について何か発言すると趣向・嗜好が丸出しになる可能性があるので、
あまりこういう所では推奨できない

**１３２人目の素数さん** · 2019/12/04(水) 22:24:39.63

>>662
基本的に望月新一氏が書いたことを
丸写ししただけだよw
字が汚くて読めないから。
quotientで良いのだろうか？

**１３２人目の素数さん** · 2019/12/04(水) 22:38:03.43

>>657
別に異議ではないんですが、IUTは単にマルチバースというかイデアのイデア、つまりメタユニバースみたいな
観点で考えているとも読めますね
これは第四論文で似たような話が出てくる。種の言語というのは実は色んな所にあると見なせて
それを徹底して突き詰めたものがIUTである。そういう話に加藤さんも貢献しているw

しかし何度も同じような事ばかり言ってあれだけども、ScholzeとKedlayaが納得してサーベイを書けないってのは
相当な事なので、来年度のプロジェクトイヤーにでもプレプリントすら出てこないようなら完全に終わりです

**１３２人目の素数さん** · 2019/12/04(水) 23:55:13.96

>>663
quotientですね。これだけでは何のこっちゃということになるので、mutationを持ち出しています
そういうことがガロア圏ではアナベリオイドや絶対遠アーベルを使えば可能であろうということでしょうね

>>664
以前何度も書いたんですが、IUT・Ⅳ最終節を始めに持ってきて、全体の眺望を示したうえで本論に入ればいいと思うんですけどね
如何せん、この辺だけは（？）本人が謙虚で「専門家ではない」と断っているのでどうしようもありませんｗ
佐藤賢太郎氏にアドバイスを受けたと謝辞にありますが、佐藤氏も見解を発表していないしよく分かりません
いわゆる代替集合論の話になれば厄介なので、無理やりZFCに収まる話だと強弁しているようにも見えますね

**１３２人目の素数さん** · 2019/12/05(木) 00:06:00.52

否定派の心境は本当は正しかろうと正しくなかろうとどうでも良い。
どっににしろあんな長々しい論文読む気にならないからスルーでいいってとこ

**１３２人目の素数さん** · 2019/12/05(木) 00:22:36.23

あと、IUT・Ⅳ最終節に名前が出てくる2人ですが、一人は拝聴していただけではないでしょうかｗ
その人は以前Twitterで西田哲学の絶対矛盾的自己同一について書いていたと思うので、
そういう貢献はあったかもしれません。どのみちIUTは数学版京都学派、近代の超克論だと思っています

もう一人はKimなんですが、本人がMOでのロバーツとのやり取りで「IUT・Ⅳ最終節についてはよく分からない」と言っていますｗ
彼はホッジ・アラケロフからの動機付けをよく理解していたので、MOなどでIUT公開当時は水先案内人でしたね
オックスフォード2015の直後にはレポートを書いていましたが、その後は勢いが落ちてきているように思えます

**１３２人目の素数さん** · 2019/12/05(木) 00:38:18.80

>>666
IUT語でなく日本語でお願いします

**１３２人目の素数さん** · 2019/12/05(木) 00:58:11.16

IUTわからん馬鹿は黙ってろ

**１３２人目の素数さん** · 2019/12/05(木) 02:40:26.40

IUTをわかっているのは密教の御本尊しかいない

**１３２人目の素数さん** · 2019/12/05(木) 03:25:24.81

>>669
2003年望月新一北大講演会講義録には
参考 >>661
「属性方程式」a∈aを解きたい、
の隣に('基礎の公理'により、通常の集合論では
有り得ない。)と注ある。
この'基礎の公理'とは具体的に何ですか？

**１３２人目の素数さん** · 2019/12/05(木) 04:52:36.39

正則性の公理じゃないの？
ラッセルのパラドックを回避するためにフォン・ノイマンが導入した公理。
ZF公理系の一つ。

**１３２人目の素数さん** · 2019/12/05(木) 07:00:30.27

>>672
ラッセルのパラドクスを避けるだけなら
内包公理を分出公理に弱めれば十分
（ZFではより強力な置換公理を使ってるが内包公理よりは弱いから
　ラッセルのパラドクスは導けない）

**１３２人目の素数さん** · 2019/12/05(木) 07:06:19.38

>>661
そもそも「属性方程式」a∈aがどうして出てくるのか不明なんだが

>>665
a∈aが本質的なら、ZFC-AFAでもなんでも使うべきだと思うが
そもそもそこが不明なので、なんともいいようがない

**１３２人目の素数さん** · 2019/12/05(木) 07:21:35.57

IUT IVとはこれか？
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf

最終節って§3ね？

**１３２人目の素数さん** · 2019/12/05(木) 09:26:40.89

属性方程式が出てきた構造的理由は個人的には推測できる
単純に元々のお題目と上手く結びつければよい（HA理論の一般化）
しかし、だからといってそれで世界の数学者が必然性に納得するかといえば別
遠アーベル幾何によるディオファントス幾何という関連したもうひとつのお題目に引き寄せられて
そういう特殊なアイデアに向かったのだろう

一体ディオファントス理論に遠アーベル幾何が不可欠なんて思ってる数学者が世界にどれだけいるのか

**１３２人目の素数さん** · 2019/12/05(木) 14:47:07.37

>>656
オカルトマニアだけど、人間に当てはめるならばまず人間を量子情報として表す必要性がある
その母のコピーの例えとか認知症がどうのって例え毎度見て違うって思うんだよね
母単体でコピーが復元されることはないってところが単遠アーベル幾何学の肝でしょ？

俺の考えを書いてくけど、まず人間が存在する宇宙そのものを量子情報として考える必要性がある
そのとき、前に俺とオカルトマニア氏は嫌いじゃないって言ってた人と俺の議論と同じく
膜宇宙論のような無限のループ構造を持つループ重力理論によって、IUT的に幾何学的不変量である素粒子から宇宙が復元されなければならないだろう

加えて言えば、単遠アーベル幾何学的な要素を人間の量子情報に適用すると
それは恐らくは男女になるだろうと推測できる
男女というそれぞれでは遠アーベルな構造を持つ量子情報が
男女という2つの舞台で考えて組み合わせられた時、可換となって二人の男女から要素を受け継いだコピーが作られ
そしてコピーである子は可能な限り二人の情報を対称性通信で受け継ぎつつも、子供単体としては新たな舞台であるから遠アーベルな構造を持つ量子情報でなければならない
男女それぞれがエタール的部分であり、フロベニウス的部分なんだよ
これもたぶん子供の性別によって、親のどちらの量子情報がエタール的かフロベニウス的に扱われるかも入れ替わる

しかし、現実問題として人間は子に自らの記憶(意識)そのものは基本的には受け継がないとされる
つまり、全てが量子情報として考えられるということを起点とした場合
無限の入れ子構造的に、人間の意識が肉体とは別立ての量子情報として成立している事を示唆し
それは生殖では受け継がれない事が予測される

ガワである肉体はほぼ完璧に対称性通信を通じて復元される
しかし中身である意識はどのようにして両親から受け継がれるか？っていうのが重要なわけ
だから俺はこれが万物の理論の超有力候補であると思ってて、集合的無意識たる量子情報が存在するって思ってるの

**１３２人目の素数さん** · 2019/12/05(木) 14:47:35.31

星さんの入門にも書いてある、

＞ある一例と等価なデータ　—　簡単のため, 以下, もうこれをフロベニオイドと言い切っ
てしまいますが) が与えられたとき,

あくまでも等価なデータが与えられなければならない、つまり最低でも2つセットでなければならない
単体でほぼ完全な復元ができるわけではなく、絶えずペア以上の等価なデータにおける舞台で復元がなされる

**１３２人目の素数さん** · 2019/12/05(木) 14:53:53.79

こう考えると実に自然な話にしか見えないだろ
その単一データで全てが成立してるように見える、訳わからない例えを使うのはやめたほうがいいよ
端からそんなことをIUTは言ってないんだから

**１３２人目の素数さん** · 2019/12/05(木) 15:54:21.06

オカルトマニア氏へ　まず最初に言っておく
「母のコピーの例えとか認知症がどうのって例え」と「前に俺とオカルトマニア氏は嫌いじゃないって言ってた人」と、
「俺の議論と同じく膜宇宙論のような」ということを書いたのは私、つまり同一人物ですｗ

「オカルトマニア氏は嫌いじゃない」というのはあなたがひどい罵倒をしなかったというだけの理由
膜宇宙みたいなことを言っているね、というのは完全に嫌味・皮肉

あなたが書いていることは双遠アーベルであって単遠アーベルではない
ちなみに以前書いた認知症徘徊老人のたとえは若干双遠アーベル的だったので反省しているくらいですｗ

あなたの解釈を読むと、星入門の「不正確な記述」が最悪の形で解釈されたもののように思われる
・単遠アーベル的復元/構成を（おそらく）視覚的にわかりやすくするために双遠アーベル的とも取れるようになっている
・上記と同様の理由と思われるが、対数テータ格子をあたかも可換図式のように説明している

星が続入門を英訳して投稿しても、入門１を英訳して投稿しない理由がよくわかったよｗ

再度オカルトマニア氏へ
あなたにふさわしいスレは他にある（そこのスレ主がIUTに関心を持っているらしい）
また、望月ブログのコメント欄もあなたにふさわしい

では、さようなら。先日のあなたレスもNGを入れたが、今度もNG入れます

**１３２人目の素数さん** · 2019/12/05(木) 16:56:25.34

いや同一人物であろうことなんて文章見ればだいたい察しが付くけど
でももしかしたら別人かもしれないし、決めきった書き方なんてしないよ

膜宇宙論みたいって話は嫌味でも皮肉でもないでしょ
貴方がどういう意図で言ったのかは別にして実際そうだと俺も思うもの

それと最悪の形で解釈もクソもない
＞・単遠アーベル的復元/構成を（おそらく）視覚的にわかりやすくするために双遠アーベル的とも取れるようになっている

これは視覚的に分かりやすくするためじゃなくて、そういうものなんだって言ってるんだわ
あと双遠アーベルじゃないって読めば分かるよね、2つあると可換でどちらか一方だけだと遠アーベルなの
2つだと可換になるのは、2つのどちらか一方の舞台から見た時
2つで遠くなるのは、2つを1つとして見た時に単遠アーベルになる
これは全く別の話

それは貴方が言ってる先日のレスで挙げた例で、鏡像世界と現実世界を例にして俺の考えを述べてるよね

というか先日の俺のレスをNGした理由が分からないから教えて欲しい
そうでなければ、どうやら合ってそうな単純例で反論できなかったから
反論が面倒＝できなさそうだからNGに入れたって受け取ってしまうよ

**１３２人目の素数さん** · 2019/12/05(木) 17:57:00.75

最初から「複数」の舞台（ホッジ劇場）があると思っている時点で何も分かっていない
これはB本の弊害ね
クンマー理論＋単遠アーベル的復元/構成による充満多重同型とラベルの使用と管理が、宇宙際幾何学たる所以
これをBが全く解説していないため（望月・星-SS討論で互いに相容れなかったから避けたのだろうか？）、
おちょっこちょいで妄想過多なトンデモ気質の人が遥か斜め下の妄想を膨らませるのもありうるｗ

B本というのは肝心かなめの部分を全く書いていない。それに魅せられトンデモを相手にするのは馬鹿らしいということ

昨日から話題になっている“simulate a∈a”、“loops of mutations”について概要を分かっている人たちは、
こんなマヌケな解釈などしないだろう

**１３２人目の素数さん** · 2019/12/05(木) 18:24:28.42

例えば>>661氏が引用している北大講演の3頁にこうある

・「通常は、relativeな理論を考える」　
・「ここでは、absoluteに考えたい」　　

上はノイキルヒ・内田のような双遠アーベル的復元
下は絶対遠アーベルの単遠アーベル的復元/構成

>>665の前段で書いたのはそういうこと

**１３２人目の素数さん** · 2019/12/05(木) 19:09:36.68

IUTについての私個人の考えというか関心事だが、キーワードとしては
副有限群、ガロアの逆問題、アナベリオイドのslimアナベリオイドとslimカテゴリー、そしてスタック
望月の図では二次元的に●と→（水平射）、↑（垂直射）で図を書いているが、
これらはコピーされて作られたもので（生み出されたもの）、それらを貼り合わせて単解的に所望の不等式を導くというもの

図だけしか見ていないと、最初から●（ホッジ劇場）が複数あってそれらの関係性だけにしか見えないが、
それらは「非常に似ている対象の異質な環構造」のコピーたちであり、これらは貼り合わされていく
これが初期構想で書かれている“simulate a∈a”、“loops of mutations”のガロア圏版ということだろう

望月がエイリアン論文で不満を述べているのは、上記のslimアナベリオイド、slimカテゴリー、スタックが
いかがわしいものと見做されているのではないかということね。“general nonsense techniques”だから、と。
スタック自体はいかがわしいものとは思わないけどね

デ・ヨングがIUTを研究しないのは端に面倒くさいという理由だけではないと私は思う（憶測、邪推）

**１３２人目の素数さん** · 2019/12/05(木) 19:16:36.16

>>675
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
>there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V

こう書かれると、望月氏は集合論を正しく理解してるのかどうか疑わしくなる

１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する

２．任意の自然数nについて
　　V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V　という有限列も存在する

３．しかし
　　V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
　　という"無限列"と書かれると、
　　「∈ V　の左に書かれるものは何ですか？」
　　と尋ねざるを得ない

**１３２人目の素数さん** · 2019/12/05(木) 20:28:33.63

>>666
世の中キチガイじみた数学者がたくさんいるからそれはないよ
世界スケールで見ると溜め息がでるくらいマッドな（ある意味誉め言葉）猛者がいるからな
今の日本がJリーグなら世界は四大リーグみたいなもんだ

**１３２人目の素数さん** · 2019/12/05(木) 20:32:06.54

>>666
それはない。
もう日本人の中にも、SSなみに「望月論文は間違っている」と確信している人間はいると思う。
発言する必要はないから黙っているだけ。
もしでなければ日本の数学界は情けない。

**１３２人目の素数さん** · 2019/12/05(木) 22:03:17.85

思い込んだまま突き進んで本来研究者として一番脂が乗っている時期を無駄にして大ゴケ。
それだけならまだしもおかしな取り巻きに神輿担がれて研究者生命致命傷あら残念。
山のようなナンセンス・ジャーゴンの中からピンポイントで破綻(の一部)を特定したSSはさすがだな。

ほとんどの数学者の理解はこんなもんだろ。

**１３２人目の素数さん** · 2019/12/05(木) 22:51:51.77

おかしな取り巻きは若手なら取り敢えずの職を得たが
研究者人生の重要な時期に無駄な労力を割いて将来が厳しい
本人の苦労をちょっと横に見て解説本書くのが一番の成功者
焼肉おいしい

**１３２人目の素数さん** · 2019/12/06(金) 01:17:34.15

量子情報量子情報言ってる人がいるけど、確かに最近代数位相幾何のアプローチで
これは量子論であると言って憚らない怪しい圏論が増えているw
名前は挙げないが、ちゃんとした研究者も量子情報を代数幾何から論じたりしている
眉唾物に見えてもいつの間にか存在感があったりする理論とか、数学の世界はわからない

ただ一つ確かなのは、一度注目を集めたにも関わらず上手く流布しない理論というのは基本的に駄目
いくら難しいと言っても、例外はほとんどないんじゃないか

**１３２人目の素数さん** · 2019/12/06(金) 06:35:32.35

>>685
>１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
>２．任意の自然数nについて
　　V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V　という有限列も存在する

IUTに必要な性質が上記２点ならa∈aは必要ないがそれでよいのか？

**１３２人目の素数さん** · 2019/12/06(金) 22:03:16.45

>>691
いや横槍で間違いだったら申し訳ないけど、多分両方考えるのがIUTなんです。整合性を作る
だからこういう不可思議な事を考える時点で普通なら足踏みするよな、とも以前に書いた記憶がある

スキームを一般化するには色んな考えがありうる。そういう中で望月さんはこの一般化にコミットした

**１３２人目の素数さん** · 2019/12/06(金) 22:14:18.46

中身空っぽ

**１３２人目の素数さん** · 2019/12/06(金) 22:19:10.73

IUTに40歳前後の時期をかけたMも敗北者
その査読に時間をかけて潰したSSも敗北者

真の勝者は争いを横目で見つつ解説本で話題をさらい賞をもらって
売れた名前で低レベルのチャート式で大儲けして焼肉うめ～～

**１３２人目の素数さん** · 2019/12/06(金) 23:26:10.97

これね、望月の着想の系譜学みたいになるんだけど、「同義反復的解決をしたい」というものがあったわけ
その表現として、最初の北大講演では「属性方程式a∈aを解きたい」となり、
後の講演では、“simulate a∈a”、“loops of mutations”となり、
IUT・Ⅳ最終節では、“simulate ∈-loops”となる

つまり、彼は厳密な意味で a∈a なんてやってないｗ
単に「同義反復的解決をしたい」という着想から、言っちゃ悪いけどテキトーなことを言っているｗ

**１３２人目の素数さん** · 2019/12/06(金) 23:53:09.46

>>695
そうですね。中身が空と言われようがなんだろうがいちいち流れは書かないけども、
それもHA理論の一般化というに尽きます。やりたい事は一応論理的にははっきりしているし、
正否を一体忘れれば凄いアイデアかも、とは思うかもしれない
問題は正しい一般化かどうか

**１３２人目の素数さん** · 2019/12/06(金) 23:54:19.07

まあ、もっと辛辣な言い方をすれば、数体の遺伝的アルゴリズムみたいなものをやりたかったわけで、
計算機科学的な説明をするよりも高尚な（？）基礎論的な話がしたかったんじゃないかな

でも実際、計算機科学者でIUTに関心を持っている（持っていた）人たちもいたし、
彼らの中には代替集合論に関心を持っている人もいたね
望月の場合は、新奇性という名のものとに傍目にはいかがわしく見えることをやっているので、
安易に代替集合論を持ち出さず、正則性公理には反してませんよ、ZFCに反してませんよと強調したかったのだと思う
完全に私の邪推だけどね

**１３２人目の素数さん** · 2019/12/07(土) 00:10:17.92

普通この理論をまず目にして一番最初に思うだろう疑問は、HA理論なんて何処にあるんだっていうのと、
何で「宇宙」なんだっていうこと。理由を一旦納得してしまうと、確かに本人にとっては論理的な理論なのかな
という気はしてくる。一応数論幾何学的な問題意識から始まっているからね
でも加藤さんはその点慎重なのか理解していないのか、数学者がなるほどと思う書き方はしていない

**１３２人目の素数さん** · 2019/12/07(土) 09:36:56.95

>>692
＞両方考えるのがIUT

両方とは？

>>691の１．と２．は両立しますよ
例えば

１．{}∈{{}}∈{{{}}}∈…　という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
　　任意の有限重{{{…}}}について
　　{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する

それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです

**１３２人目の素数さん** · 2019/12/07(土) 09:51:58.46

>>695
＞「同義反復的解決をしたい」
＞「属性方程式a∈aを解きたい」
＞“simulate a∈a”
＞“loops of mutations”
＞“simulate ∈-loops”

これは問題の解決に立ちはだかる本質的な困難なんでしょうか？
特に”loop”である必要はどこから出てくるんでしょうか？

**１３２人目の素数さん** · 2019/12/07(土) 09:59:15.64

>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった

しかし∈-loopsは、正則性公理とは矛盾しますけどね

「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）

∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう

上半平面の幾何学がユークリッド幾何とすることはできず
双曲幾何にならざるを得ないというようなもの

**１３２人目の素数さん** · 2019/12/07(土) 12:31:45.08

新一ブログ、来年初めにまた更新あるかな？
紅白歌合戦の話。

**１３２人目の素数さん** · 2019/12/07(土) 15:38:30.45

前日の「坂道テレビ」も忘れずに
https://www4.nhk.or.jp/P5659/

**１３２人目の素数さん** · 2019/12/07(土) 18:20:03.95

>>700-701
まず最初に、あなたは最終節をすべて読んだのでしょうか？それとも最初の3頁ぐらいでしょうか？
もし後者なら最後まで読んだ上で質問なり、あなたの理解・意見・感想なりを述べてください

では、私なりの理解・感想・意見などを簡単に述べてみます
まず、望月の同義反復的解決の「～的」とは、同義反復「による」解決ではなく、「～みたいな」、「～一見そのように見える」ぐらいの意味です
ですから厳密な意味で∈-loopsもしていません。そのように見えるということにすぎず、数学で数学のアナロジーを語っているにすぎません

speciesやmutations、挙句の果てにはobservablesなんて語も出てきます。トンデモのおいしい食材のオンパレードです
で、この最終節は何のためのものかというと、単遠アーベル的復元/構成の論理学みたいなものです
それを集合論的に書こうとしたもので、実際は望月流の圏論＝IU幾何、IU形式主義です
speciesがデータや圏、mutationsが関手に相当します

私も最初はあなたと同じくなぜAFAなどを考えないのかと思いました。しかも謝辞に佐藤憲太郎氏の名が出ているので当然そう思います
しかし、書かれていることは初期構想からあった望月の着想や「願望」と、IUTで記述されている論理のそれっぽい説明にすぎません
まともに取り合っていいのかよく分からないシロモノです。

この最終節をBなどは「基礎論を刷新するもの」と捉えているようです
彼はだいぶ前にTwitterで西田哲学の絶対矛盾的自己同一を書いていましたが、その前後でこの最終節に触れていたと思います

**１３２人目の素数さん** · 2019/12/07(土) 19:01:02.07

>>704
最終節は読んでません　そもそも数論幾何を知らないので
数論幾何において、ａ∈ａが現れるのかどうか知りたいわけです

AFAは別にトンデモではないので、
AFAを使った数学が受け入れられない
ということはありませんよ

ただ、実際にはａ∈ａではなく、
正則性公理の成立する範囲内で
おさまるというのであれば
別にかまいません

宇宙の拡大とやらも、今の集合論の巨大基数の範囲よりも
全然小さいレベルのようですから、集合論研究者も
大して関心持たないでしょうね

**１３２人目の素数さん** · 2019/12/07(土) 19:16:24.75

>>704
＞「基礎論を刷新するもの」
それはないですね

**１３２人目の素数さん** · 2019/12/07(土) 19:25:07.06

>>705
私もAFAそれ自体はトンデモとは思っていません。ただ、集合論の専門家と話したことがあるのですが、
新しいアイデアを展開するために安易に代替集合論に頼るのは如何なものか？と彼は言っていました
代替集合論それ自体の研究は当然重要だけれども、これらを使って何でもできると思うのはトンデモへの道だ、と

上で書いたように私の理解では、実際は厳密な意味でａ∈ａも∈-loopsもやっていないので、望月はくどい位繰り返し
「正則性公理には矛盾しない」と書いているわけです

数理論理学者の中には「IUTのABC予想証明が成功していると証明されたら、IU形式主義を考えてみるけどね」という人もいて、
そっけない返事でしたね。まあ、専門家の認識は大体こんな感じではないでしょうか

**１３２人目の素数さん** · 2019/12/07(土) 19:27:34.43

＞西田哲学の絶対矛盾的自己同一

学生の頃、A=Aでない数学をやりたい、と云った友人がいたが
その後、予備校教師になったようだ・・・

**１３２人目の素数さん** · 2019/12/07(土) 20:23:30.67

>>707
個人的にはAFAよりsubstructural logicのほうが興味がありますけどね

**１３２人目の素数さん** · 2019/12/07(土) 20:48:42.47

https://rio2016.5ch.net/test/read.cgi/math/1506152332/138-140

勉強もせずにこんなことばっかり臆面もなく書くとか
つくづく恥ずかしい人ですね

**１３２人目の素数さん** · 2019/12/07(土) 21:18:13.74

>>710
あなたの疑問は至極真っ当なもので、ａ∈ａや∈-loopsと書かれたら当然出てくる疑問です
ただ、IUTではこう述べられているよ、と私なりの理解を大雑把に書いただけです

あとお願いなんですが、よそのスレ、特にあなたがリンクしているようなスレはトンデモさんが現れた時に
誘導するだけにしてくれませんか？
そこのスレ主はここではほとんど書いていないようですし、書いても内容次第で即NG入れればいいだけなんで

**１３２人目の素数さん** · 2019/12/07(土) 21:25:14.03

>>698
多くの人はコンラッドのオックスフォード・レポと同じ感想を持ちますよね

望月本人にとっては間違いなく「自然な論理」、先行研究からの自然な流れ、着想ですよ
遠アーベルでのアナベリオイド、「そもそも復元とは何か」という問題意識（後に絶対遠アーベルとなる）、
p進タイヒミュラーから数体のタイヒミュラー理論の構想、HA理論からのディオファントス幾何への展望など。

後はまあ、ひたすら大域、大域ということですね
「多輻的アルゴリズム表現は局所の総計ではなく、大域的なものだ」（反論レポ）とあるように、
Θリンクも対数テータ格子も大域的なもので、充満多重同型などもホッジ劇場総体として捉えなければ、
やろうとしていることすら分かりません

**１３２人目の素数さん** · 2019/12/07(土) 21:31:41.29

>>711
要するにIUTでは正則性公理に反する「集合」は出てこないということですか

IUT支持者の中にはおかしな人が少なくないようです
専門家はそういう人を抹殺したいでしょうね
どうぞ抹殺してください　

とある方も著書でこう云ってます
「人を殺していけない根拠などありません」

**１３２人目の素数さん** · 2019/12/07(土) 21:55:23.90

>>713
そうですね。そもそもクンマー理論＋単遠アーベル的復元/構成によってできる「非常に似ているが異質な環構造のコピーたち」
の貼り合わせの話で、ガロア圏における望月流の圏論＝宇宙際幾何学、“private fan dance”（ロバーツの評）の話なんでｗ
それを集合論風にやっているだけです

あと、おかしな人たちは何を言っても効かないしゾンビのように立ち上がってきます
こちらの対応としては無視する、NGを入れる、おかしなことでもそれをダシにして何か言えるなら少し相手してみる、
といったことぐらいしかできません

**１３２人目の素数さん** · 2019/12/07(土) 22:03:27.56

>>714
世の中には「おかしな人たち」を観察する趣味を持ってる人もいます
そういう人たちにとっては無視とかＮＧとかいうのはあり得ないでしょうね
彼らの「おかしな発言」を記録して後世に残すことが楽しみなんですから

**１３２人目の素数さん** · 2019/12/07(土) 22:24:42.35

>>712
志甫さんの名前をわざわざ出した理由は、加藤さんや玉川さんよりはやはり専門が近いからですね
敢えてわかりにくく一言で言えば、例えばvirtualなarithmetic compactificationみたいなものをIUTは考えている
HA理論やホモロジー代数の非Quillenホモトピー代数的一般化になっているのかどうかを専門家として
一番素直に語れるであろう近しい人物が志甫さん。Kedlayaは明らかに距離を置いています
つまり、ScholzeらのようなラングランズプログラムとDAGを最重要視したままです。Kimもこれは同じですね

**１３２人目の素数さん** · 2019/12/07(土) 22:34:00.12

>>699
つまり、a∈aというのは出発点として、ということです
別の方がおっしゃってるように、後にはループした入れ子構造の話に向かいました
a∈aをどうするか考えるというのはお題目通り、関数体のHA理論のspecZ版を考えることなんですが、
そういうArithmetic deformationを構成するために考案されたのがIUTだったわけです
両方というのは動機付けとして同根だという意味です

**１３２人目の素数さん** · 2019/12/07(土) 22:40:43.41

ここで、本当にa∈aを解かなければならないのかという話が問題になってくる
答えは個人的にはNO。だから変な話になってくるわけだ。「奇抜でad-hocに」arithmetic deformationを
やろうとしてこうなったんだと理解している
自然な幾何学ではないからバーチャルな宇宙の話をしなければならなくなった

**１３２人目の素数さん** · 2019/12/07(土) 23:57:36.43

>>716
ああ、それはホッジ・アラケロフやフロベニオイドに限って言えばの話ですね。それなら志甫氏は近いでしょう
しかし、その辺はあまり問題視されておらず、かといってHAやフロベニオイドが盛んに研究されているとは言えない状況ですね
私はやはり玉川氏らが裏方に徹して星氏や山下氏にアドバイスはしているみたいですが、
自分からは何も表明しないというのが気になります

あとショルツは望月からすれば相性は最悪ですよ。そもそも二人の数学者としての考え方も違います
ショルツは「数学者とは何か？」と訊かれて、「私はそんなことは考えたこともない。ひたすら数学をやるだけだ」と断言する人ですから。
そういう意味では気質的にもファルティングスの後継者ですね
望月は間違いなく「数学とは何か？数学者とは何者か？」を深く考えるタイプでしょう

私はショルツのようなタイプが無難だと思います
望月のようなタイプは自分と同格かそれ以上かつ異質な他者を絶えず置いて、外部から検証してもらわないとマズイと思います
拝聴するだけの人ばかりではダメになります。むしろ同僚や弟子らが離反して初めて正しく先に進めるのではないでしょうか
失敗するなら上手く失敗せよ、そのためには友達選び弟子選びも重要だということですね

**１３２人目の素数さん** · 2019/12/08(日) 10:22:28.02

https://rio2016.5ch.net/test/read.cgi/math/1506152332/142
＞日本の刑法で、殺人は禁止されています。

これは典型的な誤読ですね

「（殺人）刑法第199条
　人を殺した者は、死刑又は無期若しくは5年以上の懲役に処する。」

あくまで殺人後の処置について規定されているだけ
殺人そのものは禁止していない、そもそも禁止できていない
（実際に殺人事件は多数起きている）

＞まさに、サイコパス発言ですな
＞この発言は、サイコパスの心の闇を表わしていますね

国家による戦争は、軍隊による殺人を伴う
政府も軍隊もサイコパスだというならまったくその通り

**１３２人目の素数さん** · 2019/12/08(日) 17:06:03.79

「自らが集団の一部になり、相手を集団とみなせば人間は人を殺すことができる」
https://headlines.yahoo.co.jp/hl?a=20191208-00000010-kana-l14

（カンボジアでポル・ポト派による虐殺を伝える施設を訪れ）
「見ながら思った。日本の保守的な政治家なら、
　日本の恥として知らせようとはしないのではないか」

「アジア太平洋戦争後、日本人には精神に変調を来した兵士が
　米兵に比べて少なかったことも紹介。
　”おそらく彼ら（日本兵）は主語を戦争に行く時になくしていた。
　　陸軍、皇軍、日本という大きなものの一つだったのではないか”
　と、虐殺の背景には「集団化」があると分析した。」

**１３２人目の素数さん** · 2019/12/09(月) 13:33:55.99

https://rio2016.5ch.net/test/read.cgi/math/1506152332/145
>何をしたいのかね

君は？

https://rio2016.5ch.net/test/read.cgi/math/1573769803/346
>来年は、日本数学会でも議論してほしいね
>普通、学会は、春と秋の２回
>来年は、しっかりIUTを取り上げて議論してほしいね
>RIMSの外でもね

全く理解できないIUTを熱狂的に信奉

●違い？

**１３２人目の素数さん** · 2019/12/09(月) 13:40:02.41

http://rio2016.5ch.net/test/read.cgi/math/1506152332/145
誤　殺人願望の正当化
正　殺虫願望の正当化

ゴキブリ退治は日常的に実施されています
https://www.youtube.com/watch?v=NFol9GpLokQ

**１３２人目の素数さん** · 2019/12/09(月) 14:20:31.60

革マル野郎が危ないことは事実。

**１３２人目の素数さん** · 2019/12/09(月) 14:26:03.33

内ゲバの時代
http://agora-web.jp/archives/1548695.html
そのうち梅田はサークルに出てこなくなり、生協の前でアジ演説をやり始めた。
「こんな所にいたら危ないぞ」といったら、「大丈夫だよ。みんなの見ている前が一番安全なんだ」
と笑っていたが、1975年10月、衆人環視の中で数人に取り囲まれて鉄パイプでなぐられた。
頭蓋骨骨折で、即死だった。おびただしい血が食堂前まで広がって一帯が立入禁止になった。
革労協が犯行声明を出したが、犯人は不明だった。

**１３２人目の素数さん** · 2019/12/09(月) 16:41:00.12

>>725
http://agora-web.jp/archives/1548695.html
「山本太郎のやっているちゃちな反原発運動なんてお遊びみたいなものだが、
　彼を傀儡にして中核派が国政に議席を得ると大変だ。
　かつて菅直人氏のやっていた「反原発勉強会」にも、
　中核派の幹部が常駐していたことは公然の秘密だ。
　そういう連中のやっている反原発運動が「命を守れ」とは悪い冗談である。」

耄碌爺ちゃんの妄想乙

**１３２人目の素数さん** · 2019/12/09(月) 16:58:44.20

http://blog.goo.ne.jp/ikedanobuo/e/4391df362a640df2759037142edeb395
池田信夫は２００６にゲーデルについて
トンチンカンな言辞を発し
専門家どもに凹られた経験あり

ついでにいうと
https://academy6.5ch.net/test/read.cgi/sociology/1094986423/786
IQ　　分野　　　　（学んでる分野と平均IQの関係）
130.0　物理学
129.0　数学
128.5　コンピュータ科学
128.0　経済学　　　＜－－－－－－－－－
・・・
115.0　社会学　　　＜－－－－－－－－－
114.0　心理学
114.0　医学
112.0　対人コミュニケーション
109.0　教育学
106.0　行政学

なんて戯言が書いてあるが、もちろん嘘である
経済学者のIQはそんなに高くない

**１３２人目の素数さん** · 2019/12/09(月) 17:05:48.71

https://rio2016.5ch.net/test/read.cgi/math/1506152332/146
>IUTスレに投稿する意味がわからん

IUTを理解もできずに狂信する意味がわからん

**１３２人目の素数さん** · 2019/12/09(月) 17:09:53.23

>>719
＞望月は間違いなく
＞「数学とは何か？数学者とは何者か？」
＞を深く考えるタイプでしょう

その問、数学とは無関係ですね

**１３２人目の素数さん** · 2019/12/09(月) 17:14:24.67

というかあの対応が数学について深淵に考えてるものだとは思えない。

**１３２人目の素数さん** · 2019/12/09(月) 17:58:10.51

https://rio2016.5ch.net/test/read.cgi/math/1506152332/148
>IUTスレに、IUTと殆ど無関係なカキコをするキチガイ

ガロア理論どころか正規部分群すら誤解していたのに
臆面もなくガロアと名の付くスレッドを立てた
●違い野郎もいましたねえ

どこで野垂れ死んだことやら・・・

**１３２人目の素数さん** · 2019/12/09(月) 18:25:00.52

枝野議員、革マル派とのつながりを指摘される・・・まとめサイトより

これに対し首相は、政府が革マル派活動家が浸透しているとする
ＪＲ総連などから献金を受けていた枝野氏の過去に触れ、
「そのような団体が影響力を行使しているのは由々しき問題だから
当然答弁を求めた」と反論した。

**１３２人目の素数さん** · 2019/12/09(月) 18:30:05.46

反天皇制運動連絡会
https://ja.wikipedia.org/wiki/%E5%8F%8D%E5%A4%A9%E7%9A%87%E5%88%B6%E9%81%8B%E5%8B%95%E9%80%A3%E7%B5%A1%E4%BC%9A
中核派や革労協などの新左翼党派も共産主義暴力革命の一貫として
反皇室闘争そのものは行うが[2]、反天連は反皇室闘争そのものを主要な活動とし
皇室や靖国神社に関する様々な活動を繰り広げた。

**１３２人目の素数さん** · 2019/12/09(月) 19:25:01.30

安倍って暴力団とつながってるんだろ？
https://biz-journal.jp/2019/11/post_128149.html

**１３２人目の素数さん** · 2019/12/09(月) 19:27:45.88

安倍は統一教会ともつながってる
https://ja.wikipedia.org/wiki/%E5%9B%BD%E9%9A%9B%E5%8B%9D%E5%85%B1%E9%80%A3%E5%90%88

**１３２人目の素数さん** · 2019/12/09(月) 19:30:51.16

ウォール街を占拠せよ
https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A9%E3%83%BC%E3%83%AB%E8%A1%97%E3%82%92%E5%8D%A0%E6%8B%A0%E3%81%9B%E3%82%88

**１３２人目の素数さん** · 2019/12/09(月) 19:32:21.23

https://en.wikipedia.org/wiki/David_Graeber

**１３２人目の素数さん** · 2019/12/10(火) 07:02:22.77

https://rio2016.5ch.net/test/read.cgi/math/1506152332/148

今日も隔離病棟から訳の分からぬ咆哮の声が聞こえる・・・

**１３２人目の素数さん** · 2019/12/10(火) 08:41:10.59

>>727
GREだと数学では何故か物理専攻のほうが微妙に上だった気がするな
で、言語系セクションは哲学専攻が一番高い。向こうは分析哲学だから
具体的な図形や計算問題などが多いIQテストやGREでは数学の才能は測りきれないだろうけど、
今は物理学者もトポロジーやることが多いし、結構やってることは似るよね

**１３２人目の素数さん** · 2019/12/10(火) 09:42:29.44

>>727
何かそういうデータあるんですか？

**１３２人目の素数さん** · 2019/12/10(火) 19:34:34.99

https://rio2016.5ch.net/test/read.cgi/math/1573769803/347
>なんで、日本国内でしっかり議論しないんだ
>しっかりと日本数学会で議論を
>日本の数学者はなにやっているんだろう

数学に日本は関係ないよな

望月って半分アメリカ人だし
卒業したのも学位とったのも
アメリカの大学だろ？

なんで日本なんて発展途上国の
しかも京都なんて今や首都でもなんでもない
忘れ去られた小都市の大学にいるんだ？

しかもせっかくの成果を自分とこの大学の雑誌に投稿するとか
なんか胡散臭いよな

ああ、そうそう
「しっかり」ってアホの安倍の常套文句
安倍なんて世襲馬鹿を有難がるヤツも
正真正銘の馬鹿

**１３２人目の素数さん** · 2019/12/10(火) 20:19:25.66

IUTスレで安倍w

**１３２人目の素数さん** · 2019/12/10(火) 21:42:02.68

「枝野がいい」とか言ってるバカよりはマシ

**１３２人目の素数さん** · 2019/12/10(火) 21:47:07.46

IUTなんて全然理解できないくせに、Gスレ1が憎さのあまりこのスレまで来て
暴れてるお前がウザいんだよ。
言ってることはIUTの数学的な問題点じゃなくて、「自分のとこのジャーナルで」
みたいな話しかできないくせして偉そうにするんじゃない。
しかもカマかけてIUTの話を聞き出そうとかして姑息。
政治的には左翼話の押し付け。ホントうざい。
Ｄｒ．Ｇで暴れていたときより劣化している。

**１３２人目の素数さん** · 2019/12/10(火) 21:58:04.52

>>727
荒らしにマジレスするのもナンセンスだが
経済学者のＩＱはそれであってるぞ
そのデータは日本で採ったデータじゃないからな

日本で採ったら医学部のＩＱが一番上くるだろうよ

**１３２人目の素数さん** · 2019/12/11(水) 01:40:56.09

ポジションとＩＱなんて言ってもしょうがないわな

**１３２人目の素数さん** · 2019/12/11(水) 05:32:18.82

巣へお帰り

**１３２人目の素数さん** · 2019/12/11(水) 06:15:35.57

>>745
お前もな

**１３２人目の素数さん** · 2019/12/11(水) 06:26:07.35

>>743-744
安倍なんてただの世襲馬鹿だけどな
おまえこそ妄想全開でウザいよ

**１３２人目の素数さん** · 2019/12/11(水) 06:43:13.18

https://rio2016.5ch.net/test/read.cgi/math/1506152332/153
>ガロアスレ

今や完全にIUT翼賛スレですが

**１３２人目の素数さん** · 2019/12/11(水) 06:59:43.51

>>749
お前は気づいてないかもしれないが、「世間のひと」は意外に賢いんだよ。
お前の正体なんてとっくにバレてるんだよ。驚いただろ？
お前なんて受験勉強が得意だっただけのアスペじゃん。
それで全般的に世間一般のひとの知性を上回ってると思い込んでるのが錯覚。
お前がバカと罵倒するGスレ1に勝てないと感じる点があるのもそれが原因。

**１３２人目の素数さん** · 2019/12/11(水) 07:05:34.72

こいつはIUTは全然理解できない。「3ページくらい読んだか」
みたいに言ってたひとがいたが、おそらく1ページも読んでない。
それでこのスレで暴れるのが血迷ってる。
得意分野は基礎論。それで、何とか基礎論の話に翻訳してもらえば
何とかなるかもと思って、カマかけて話を訊き出そうとしてたこともバレてるんだよ。

**１３２人目の素数さん** · 2019/12/11(水) 07:06:13.72

>>751
妄想全開乙

◆e.a0E5TtKEは数学の初歩すら分かってないのに
「ガロア理論がー」とか粋がってるのが滑稽

この厚顔無恥ぶりには誰もかないませんよｗ

**１３２人目の素数さん** · 2019/12/11(水) 07:08:26.69

>>752
妄想全開乙

ScholzeとStixも理解できなかったIUTが
私ごとき浅学菲才の者にわかるわけないでしょ
あなたも理解してないんでしょ　
ワカランチン同士仲良くしようぜｗ

**１３２人目の素数さん** · 2019/12/11(水) 13:57:28.44

どうやら動物園に迷い込んでしまったようだ
ブラウザそっとじ

**１３２人目の素数さん** · 2019/12/11(水) 17:41:40.83

IUTも落ちぶれたな

**１３２人目の素数さん** · 2019/12/11(水) 19:36:08.55

https://rio2016.5ch.net/test/read.cgi/math/1573769803/348
>>せっかくの成果を自分とこの大学の雑誌に投稿するとか
>>なんか胡散臭いよな
>まあ、確かに、胡散臭いと思われても仕方ない

だろ？

>なので、査読を透明化した方が良いだろうね
>査読者がきちんと実名を出して・・・

そこまでは必要ない

査読者が「身内」でなければ問題ない

**１３２人目の素数さん** · 2019/12/11(水) 19:39:07.42

今日はSholzeの誕生日。32歳。

**１３２人目の素数さん** · 2019/12/11(水) 19:39:20.56

https://rio2016.5ch.net/test/read.cgi/math/1573769803/354
>はっきりしてやれよ、日本数学会としてさ

おまえ、日本数学会好きだな（呆）

>（これから勉強ないし研究する方としては、はっきりしないの困るよね）

全然困らない

他人の後追いするヤツなんて自分のアイデアがないカス

**１３２人目の素数さん** · 2019/12/11(水) 19:39:48.60

間違えた。 Scholze。

**１３２人目の素数さん** · 2019/12/11(水) 21:09:10.34

https://rio2016.5ch.net/test/read.cgi/math/1506152332/159
妄想全開乙

◆e.a0E5TtKEは実数の定義も分かってないが
線形独立も分かってないんだろうな

**１３２人目の素数さん** · 2019/12/11(水) 21:21:27.76

https://rio2016.5ch.net/test/read.cgi/math/1573769803/359-360

なんか見当違いなこといってるな

ペレルマンの論文はarXivで公開されたのであって
どこかの雑誌に投稿されたわけではない

しかも誰も理解できないような摩訶不思議な呪文を唱えたわけではない
トポロジストにはなじみがなくても微分幾何の研究者なら読める

**１３２人目の素数さん** · 2019/12/11(水) 21:33:16.61

https://rio2016.5ch.net/test/read.cgi/math/1573769803/362

宿題も自分でやらないクソガキ安倍を支持する国粋馬鹿が
「IUTは絶対正しい！！！大日本帝国バンザァァァァァイ！！！」
と発●してるな

こんな奴らがロクに仕事もせずに部下をこき使って搾取してるから
日本はブラック企業ばかりになったんだ

**１３２人目の素数さん** · 2019/12/11(水) 21:42:05.03

父方の祖父　安倍寛　東大法学部卒
母方の祖父　岸信介　東大法学部卒
父　安倍晋太郎　東大法学部卒
本人　安倍晋三　成蹊大法学部卒

やっぱ世襲はダメだね

**１３２人目の素数さん** · 2019/12/11(水) 22:12:44.95

>>743
安倍が乃木坂だとすると枝野は所詮欅坂なんだよね
https://www.youtube.com/watch?v=gfzuzDrVRVM

山本太郎は・・・BiSHか
https://www.youtube.com/watch?v=ox8WVRnb8GA

BABYMETALは・・・日本にはないな
https://www.youtube.com/watch?v=Y_mKnOP-3ZU

**１３２人目の素数さん** · 2019/12/11(水) 22:23:20.75

>>765
正解に近いが、山本太郎がBiSHは持ち上げ過ぎ
似たようで違うBiSのほうだな

**１３２人目の素数さん** · 2019/12/11(水) 23:15:34.39

日立のおっさんのコメントを誇らしげにしてたアホがいたが内実はこの程度
https://www.jiji.com/jc/v4?id=foresight_00248_201812270001

**１３２人目の素数さん** · 2019/12/12(木) 07:53:49.21

無知なおサル（下記）

１．望月論文も公開されている。いまどき、正規の雑誌に載る前に、arXivで公開は普通。望月論文は、自分のホームページ公開が異例だが
２．ペレルマンの論文は、単に”微分幾何の研究者”じゃ読めなかった
　それが事実。実際に、各チーム複数人の専門家で時間を掛けて議論して、
　２年くらいだったかな時間を掛けてようやく解読できたのが事実

（参考）
Inter-universal geometry と ABC予想 42
https://rio2016.5ch.net/test/read.cgi/math/1572150086/762-
762 名前：１３２人目の素数さん[] 投稿日：2019/12/11(水) 21:21:27.76 ID:8HE/i5uB [8/11]
https://rio2016.5ch.net/test/read.cgi/math/1573769803/359-360

なんか見当違いなこといってるな

ペレルマンの論文はarXivで公開されたのであって
どこかの雑誌に投稿されたわけではない

しかも誰も理解できないような摩訶不思議な呪文を唱えたわけではない
トポロジストにはなじみがなくても微分幾何の研究者なら読める

**１３２人目の素数さん** · 2019/12/12(木) 07:54:44.43

>>768
誤爆すまん（＾＾；
元の巣に貼るｍ（＿＿）ｍ

**１３２人目の素数さん** · 2019/12/12(木) 08:18:28.43

>>766
＞山本太郎がBiSHは持ち上げ過ぎ
＞似たようで違うBiSのほうだな

ゆっふぃー　元気か？
https://www.youtube.com/watch?v=HYjFnxYMFU0

**１３２人目の素数さん** · 2019/12/12(木) 11:02:58.34

逸話ばっかり捏造するところはフランス現代思想フォロワーのニューアカそっくりだな
あいつらはwebが出来て誰でも参加できるような討論できるようになったらすぐに滅んだ

**１３２人目の素数さん** · 2019/12/12(木) 11:04:27.38

>>750
バカがひとりでかいてるだけじゃん
日本語わかる？ことばえらべてる？

**１３２人目の素数さん** · 2019/12/12(木) 11:15:06.34

ペレルマンもショルツも極々真っ当なメインストリームの数学やってる人
有名ハイブランドをそつなく着こなすようなものだ
IUTは全身100万かかってるが奇抜過ぎてむしろ気持ち悪がられる意識高いお洒落さんみたいなものだ

**１３２人目の素数さん** · 2019/12/12(木) 11:40:33.30

オカルトマニアだけど、面白い研究記事見つけたわ
これまた俺の理論に合致する研究
電子そのものが個ではなく集合的な量子力学的体制を引き起こしつつ電荷を運んでいるっぽいって研究

電荷輸送の新しい理解により、エキゾチックな量子力学的体制が明らかになりました
https://phys.org/news/2019-12-reveals-exotic-quantum-mechanical-regime.html

＞室温付近での電荷輸送は、材料中の原子振動による電子散乱の単純な標準図では説明できません。
＞むしろ、輸送は、電子が個々ではなく集合的に電気を運ぶ微妙な量子力学的体制で発生し、電荷輸送の理論的限界に違反することを可能にします。

これずっと前からこのスレにも書いてるけど、IUTを基本とした原理で万物の理論が導けるならば
電子はそれ自体がもつれている量子マイクロブラックホールでなければならない
っていう俺の数秘術を端にした論理的予測と完全に合致している

**１３２人目の素数さん** · 2019/12/12(木) 17:56:10.00

仮にIUTが否定されたとすると
将来にわたってガロアスレのスレ主みたいのが
「IUTは正しい、日本数学会は望月に謝罪せよ」って
素人がうじゃうじゃ湧いてくるだろうw
あるいは「IUTのギャップを埋めました」メールがどっさり

**１３２人目の素数さん** · 2019/12/12(木) 20:08:16.49

普通の数学の枠組からIUTを見ると
奇異で違和感ギャップがある。
が、IUT一派がIUTはまったくあたらしい
言語概念を基盤としているから
IUT一派には間違いがないだろう。
オカルトマニア氏の数秘術の話も否定しない。

**１３２人目の素数さん** · 2019/12/12(木) 20:43:06.88

Ｄｒ．Ｇを知らないひとが多数だとか隔世の感だな。
（おれも直接知ってるわけではないけど。）
掲示板でいくら暴れても名前は残らないんだな。
モッチーの場合は正しくても間違っていても
伝説にはなるだろうな。
むしろ世間は忘れてくれない。

**ID:1lEWVa2s** · 2019/12/12(木) 20:46:58.45

>>777
素数の式書いた人は私ですよ.。

**ID:1lEWVa2s** · 2019/12/12(木) 20:49:45.95

>>777
Gなんて頭文字は名前につきませんが。
そもそもどくたーはやめてほしいです。
killerですか。名前付けた人。

**ID:1lEWVa2s** · 2019/12/12(木) 20:55:08.55

800ゲットウ
寝る.。

**１３２人目の素数さん** · 2019/12/12(木) 23:06:33.48

数学板らしくていいなあ

1: 軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。 (20)
2: フェルマーの最終定理の簡単な証明3 (615)
3: 現代数学の系譜工学物理雑談古典ガロア理論も読む79 (397)
6: Inter-universal geometry と ABC予想 42 (780)

**１３２人目の素数さん** · 2019/12/13(金) 07:41:45.66

>>779
GはゲーデルのG。
他にも十数個ハンドルネーム知ってるよ。
そのときどきで関心があることをハンドルにする傾向があった。
理系でアスペが妙に持ち上げられることがあるけど、総合的に見てバカなんだと思う。
このスレやGスレ見れば分かるでしょ。
繰り返しを好む傾向がある。これは時間のロス。

**ID:1lEWVa2s** · 2019/12/13(金) 08:06:20.95

>>782
クルトゲーデルのほんはソフトバンクから出版されてる数学がーるで持ってる。
気分が良いときに4ぺぇじよんで
わかりません。まったく。って
そっとじ。

**１３２人目の素数さん** · 2019/12/13(金) 15:51:45.61

>>782
Ｄｒ．Ｇとおっちゃんは面識ないけど、Ｄｒ．Ｇの政治のレスには受けたw
政治の話は余り興味ないけど、今までのを見ていると、日本の政治家は自民も野党もダメ。
政治家が各官庁の官僚を統率する仕組みからしてよろしくない。
官僚のビューロクラシーによる天下りの仕組みもダメ。
これでは、庶民と官僚の待遇がまるで違って来る。

**１３２人目の素数さん** · 2019/12/13(金) 16:21:30.75

>>782
「Gスレ」という表現に「G」を用いている点が発音上紛らわしいが、
果たしてガロアスレのスレ主とＤｒ．Ｇとは別人なのか？
両者とも政治の話をしている点では共通している。

**１３２人目の素数さん** · 2019/12/13(金) 17:32:04.37

>>782
念のため、ガロアスレのスレ主とおっちゃんも別人。
これまでのを見る限りでは、ガロアスレのスレ主とＤｒ．Ｇに性格的な共通点があることからも、
おっちゃん的には両者が同一人物か区別が付かない。

**１３２人目の素数さん** · 2019/12/13(金) 18:17:34.51

長いことこのスレにいるなら、オカルトマニアの俺が書いてきた予測が
物理方面から尽く論文出てきてる事をそろそろ不思議に思っていいんじゃないかって思うよ
近似でしかない宇宙、そしてそれに伴い予言される磁気単極子(カブリIPMUから出たやつ)
電子はそれ自体がもつれている量子マイクロブラックホールだっていう予測に合致する研究結果のこれ
https://phys.org/news/2019-12-reveals-exotic-quantum-mechanical-regime.html

これらは俺の数秘術を端にした直感から
IUTを基本として導かれる8つの幾何学的不変量によって構成される3+1次元宇宙において予測された事柄

**１３２人目の素数さん** · 2019/12/13(金) 19:21:52.31

来年からRIMSプロジェクトが始まる前の2019年の暮れにふさわしい
IUTスレになっておりますなあ

**１３２人目の素数さん** · 2019/12/13(金) 20:26:25.39

今日の動画
https://www.youtube.com/watch?v=rJ_lRlr7bWM

私のおすすめは生田絵梨花ではなく唯月ふうか

**１３２人目の素数さん** · 2019/12/13(金) 21:12:48.18

>>784
＞日本の政治家は自民も野党もダメ
そもそも議会制がクソだから

議員ってのは官界財界の寄生虫

＞官僚のビューロクラシーによる天下りの仕組みもダメ。

官僚制は無駄仕事ばかり増やす根源

官僚ってのは有用な仕事は何もせずに
民衆から金を毟り取るヤクザ

**１３２人目の素数さん** · 2019/12/13(金) 21:18:18.33

だいぶ前に「正準同型と等式」ついて或る数学者が書いたブログを紹介したけど、
最近彼がまた面白いことを書いています。最後の段落ではIUTについて触れています

このスレで少なくとも2人は先のブログを知っていると思うのでリンクは貼りません
ぜひ感想をお聞かせください
私の感想は、IUTに関しての彼の文章は完全に嫌味ですね

日曜日からほとんど荒らしばかりなのでこのような書き方をしてすみません
スレが落ち着いたらちゃんと書きます（あまり期待できませんが……）

**１３２人目の素数さん** · 2019/12/13(金) 21:29:15.78

警察と軍隊を有難がるのは最低最悪の馬鹿

警察と軍隊は一般人を嬲り殺す敵

**１３２人目の素数さん** · 2019/12/13(金) 21:36:53.50

カネがヒトを腐らせる

貨幣制度は害悪そのもの

**１３２人目の素数さん** · 2019/12/13(金) 21:45:32.35

標準的な同型

**１３２人目の素数さん** · 2019/12/13(金) 22:40:09.16

国家のポチが隔離病棟で発●中

https://rio2016.5ch.net/test/read.cgi/math/1506152332/163
＞「唯月ふうか」・・・って、IUTとどんな脈絡があるんだ？

官能小説愛読者のあいみょんはIUTと関係あんのか？（嘲）
https://rio2016.5ch.net/test/read.cgi/math/1573769803/129

ちなみに唯月ふうかはもともと
スタダ所属のアイドルmomoこと川上桃子
その頃から歌はずば抜けて上手かった
そのせいでももクロに入れなかった
といわれてるｗ

https://www.youtube.com/watch?v=bJaXVr_W8k8

**１３２人目の素数さん** · 2019/12/14(土) 07:30:20.86

>>787
数秘術はIUTらしけど、
あなたもいわしのあたまも信心から

**１３２人目の素数さん** · 2019/12/14(土) 13:10:02.44

数秘術はIUTらしいけど、
あなたも「いわしのあたまも信心から」
類推よりなんでもあり

**１３２人目の素数さん** · 2019/12/14(土) 20:27:51.43

まあ、仮定に仮定を重ね、仮説に仮説を重ねた挙句、数学用語では説明できなくなって、
自分の発想を大仰な文学的・哲学的な言い回しをしたり、造語を作ったのだろうね
で、これらの文体でしか表現できないから独特の言い回しや造語が増殖していった、と
サンスクリット語を少しでもやっていれば気持ちが分からないでもない

「環構造の解体」とか「乗法構造と加法構造を分離する」とかいう表現も、Teichmuller dilationで乗法構造のみを変形し、
それに伴って復元の際に加法構造もそれに合わせて変形されるということ
要するに、このように少しずつズレた環構造のコピーを作ってそれらを貼り合わせていくということ

このスレの他の人がよく「微分の一般化」とか「宇宙際ガウス積分」と言っていたのはこういうことだろう
ただ、ここでいう微分やガウス積分は、望月流のスキームの圏のIUT的な大域的な微分、ガウス積分ということね

**１３２人目の素数さん** · 2019/12/14(土) 20:29:28.90

私から見れば、今のところIUTは現代数学版・天動説

**１３２人目の素数さん** · 2019/12/14(土) 21:28:46.16

これだけは言える
世界にはSSのペーパーを完全に理解し、
IUTの評価についてはSSに完全に同調している人がたくさんいるということ。
勿論その中には日本人もいるだろう（そうであってほしい）

**１３２人目の素数さん** · 2019/12/14(土) 22:10:52.01

このスレ住人の意見で多数決取っても意味ないんだよなぁ

**１３２人目の素数さん** · 2019/12/14(土) 22:24:12.29

望月のサーベイからしてポエミーだけど、下地がしっかりしてるから分かりやすい

**１３２人目の素数さん** · 2019/12/14(土) 22:42:48.50

https://rio2016.5ch.net/test/read.cgi/math/1573769803/415
>日本数学会全体としても、しっかりサポートしてほしいね

●違いですね

日本数学会にはMを支援する義務などないよ

**１３２人目の素数さん** · 2019/12/14(土) 23:31:16.19

>>802
望月反論レポートには文元動画が参照にあり
サッパリわかりませんというかそれがIUTで、
IUTの成り立ちから追っていけば
意外と手口が簡単な気もします。

**１３２人目の素数さん** · 2019/12/14(土) 23:35:31.41

1年ぶりにみたけどまだやってんのかこのスレ
Scholze-Stixにまともな反論できなかった時点で話は終わってるだろ

・身内で固めてたから客観的な検証が進んでなかった
・その間に研究費せしめるためにRIMSで大々的な宣伝をしてた
周りがそれに振り回されてたってだけでしょ

**１３２人目の素数さん** · 2019/12/14(土) 23:56:28.86

不定性についても当初はネガティブな言い方をしていて、それを剛性で抑えるんだということで、
円分剛性同型、クンマー理論などが必要だという話だったが、SSとの討論の後は不定性の効用を強調するようになったね

結局、何とでもいえる理論もどき、後から付け足して説明すればよいという態度（しかもレトリックを多用して）、
それらが多くの数学者から見放された原因だと思う
しかも、これ以上の説明と言っても上で書いたようにIUT語、IUT文体の増殖しかできないわけで……

**１３２人目の素数さん** · 2019/12/15(日) 01:06:45.89

物理実験屋の先生が文元本を読んで
「なんとなく望月教授が目指すものがわかった気になりました」と
どんな意味合いのコメントか分かりませんが
なんとなく様子見でしょうか

素粒子物理モデルでは満たすべき実験
データと望む結果を睨んで、SUSYだの
ブレーンだのサブクオークだの余剰次元だの色々と張り合わせれば形式的にはモデルが
完成する。
不都合な事実は測定不可能な高エネルギー
領域へ逃げる手もあるし
結局不自然でシンプルでないモデルは
測定値の予測不可能で相手にされません。
また非相対論的な物性モデルもローレンツ
対称性がないから素粒子標準モデルからの
類推だけでは成り立ちません。

SSレポートではディオファントス幾何の
ヴォイタの不等式とabc予想から始めて
IUTの矛盾をみちびいている。
数学証明の話しですが興味深いです

**１３２人目の素数さん** · 2019/12/15(日) 01:43:23.97

このスレ42ではなかなかの動きがあった
・2019/11/24(日) に加藤文元がTwitterに連ツイ（17時ごろ）
・翌日11/25(月) ID:ub/eJojY はB本人が降臨　423 426 429
https://rio2016.5ch.net/test/read.cgi/math/1572150086/397-445n

**１３２人目の素数さん** · 2019/12/15(日) 02:30:22.81

>>807
IUT理解者は「sensitiveな感覚が大事」と言い、フォロワーは「微妙な何か」とか言ってしまうんですよね
お友達は何の根拠もなく「自然な論理」とか言い出すし

上記の理解者などは長大なコピペサーベイで「単遠アーベル的復元/構成は種の言語と突然変異で厳密に定式化できる」と
書いておきながら一向にそれはやらないで、多輻的アルゴリズム表現で説明しますと言うだけ
定理3.11→系3.12、特に3.12がブラックボックスになっているのだから、IU形式主義で厳密に定式化できているのなら
まずそれを説明することから先でしょ、と

まあ、圏論や数理論理学者に「圏論や集合論に精通していないのではないか？」と当初から言われていましたから
これに関しては望月も含めて誰も納得のいく説明などできないのでしょう

**１３２人目の素数さん** · 2019/12/15(日) 02:40:00.96

>>808
さすがにあれがB本人だとは思えないんですけどね
なんで私のレス>>430に答えられないの？ということです
あれはjinかjin同様のIUT関係者のパパラッチだと思うのですよ

ただ、B本人の可能性も全く捨てきれないのは、ひょっとしたらIUT説法を拝聴していただけで、
概要と結論だけを鵜呑みにしている可能性もあるからです
Bが詳細なサーベイやレポートを書かない限りは彼の理解など分かりませんからね

**１３２人目の素数さん** · 2019/12/15(日) 12:01:18.94

ない証明の破綻を具体的に指摘せよという悪魔の証明を求めるだけで
人事予算やりたい放題　本まで売れて　人生バラ色

**１３２人目の素数さん** · 2019/12/15(日) 12:24:23.74

何か進展ないの？

**１３２人目の素数さん** · 2019/12/15(日) 15:24:09.31

>>791
スマホで読んだら広告で切れてるのでどこにABC予想の話があるのかとしばらく気付きませんでしたw
自然同型といえば、例えばunique up to isomというのも近い話で、こういうものは結構強い条件ですから、
ある程度具体的な話をしている時にはあまり間違えないんですね
ところが、∞圏とか三角圏みたいな自由度も抽象性も高い理論になればなるほど間違いが増える
というか、後で見てみたら結構雑だったと言われる論文は多分たくさんあるでしょう
確かFaltingsのホッジ理論の完全系列も最初は大間違いだったみたいですね
これは古典的にはオイラーの時代の解析とコーシー以降の解析の違いにも言えるかもしれません
勿論、厳密ではなくとも話は伝わるという事もあるわけで、Scholzeとかの件の論文がどういう話なのかは
よくわかりません。要するに厳密ではなくても意義がある、という事は普通にありえますからね

IUTについての言及は、どの程度否定的なのかはわからないけど、皮肉なのは間違いないでしょうねw
自然同型というのは便利な言葉だけど、ある議論の目的ありきで話をしている時には
よく見たら情報が抜けているとか、逆に恣意性が加わっている可能性に注意しなければならない
特に過度の術語を駆使した理論というのは非常に危険ですね。皮肉を言われても仕方ありません

**１３２人目の素数さん** · 2019/12/15(日) 16:41:11.52

個人的にはAnabelioidの計算の議論だけ取ったら特に問題ないと思うんですけどね
スリム圏というのは加法的な計算を1関手で済ませるための構成だろうし、エタールテータを局所的な対数殻で
計算するのは、関数の定義と単遠アーベルの定義から
必然的なのは確かです
重度の問題は基本的に乗法部分でしょう。何が一番おかしいのかと言えば、モノイド対象の標準的分裂を
利用して計算するという中で、宇宙全体で非自明な計算を実現するために非可換性とラベルを合わせて
辻褄を合わせなければならないことです。まあ、実際にはもう少しおかしいと思う所もあるけど

**１３２人目の素数さん** · 2019/12/16(月) 12:29:20.47

>厳密ではなくても意義がある、
という事は普通にありえますね

IUTの場合　オカルトマニア氏を
想起してしまうんだが、、

**１３２人目の素数さん** · 2019/12/16(月) 13:37:00.15

>厳密ではなくても意義がある、

まずは本人や取り巻きが「厳密ではない」と認めないと
「IUTは将来の数学の目標」という方向にすら進めないんだなあ

**１３２人目の素数さん** · 2019/12/17(火) 22:06:56.34

>>814
まあ、アナベリオイドやラベルの発想があったからこそ、対数テータ格子とその非可換性という着想が得られたわけですね
2015年にショルツとメールでのやり取りで「対数テータ格子の非可換性」が問題になったそうなので、
やはり当時からラベルの問題、アナベリオイド幾何学の使用がショルツらには引っかかっていたのかもしれません
SSレポにアナベリオイド関連論文の参照がないのもそういうことでしょう。SSにとっては不必要・無意味だ、と
でも、この部分こそがIUTの基礎なんですけどね

ホッジ・アラケロフ、絶対遠アーベル、組合せ論的遠アーベル、p進タイヒミュラーについて問題があるとは聞いたことがないです
やはりIUTの構築自体の問題と捉えられているようです

ちょっとぼかして書きますが、RIMSに行った知り合いの中にも、IUTそのものはよく分からないが、
絶対遠アーベルやアナベリオイド幾何学に対する関心のほうが強い人が多い感じがします
実際、弟子を除けば論文やレポを書いたのはKirti Joshiぐらいで、これはIUTそのものではなく絶対遠アーベルと形式群の話
弟子だって南出を除けば遠アーベル関連しかないでしょう

あと、バザードのブログの件は後で書きます。感想ありがとうございます

**１３２人目の素数さん** · 2019/12/18(水) 20:10:29.94

中学数学からはじめる微分積分
https://www.youtube.com/watch?v=4p1rwfXbCoY&;t=4341s
高校と大学の積分は決定的に違う？微分積分学の基本定理は実はすごい！
https://www.youtube.com/watch?v=V9i_zlbssbs&;t=475s
中学数学からはじめる相対性理論
https://www.youtube.com/watch?v=voFHToRM4xI&;t=10s
理学部と工学部の違いとは？
https://www.youtube.com/watch?v=eJH4nKU6mJA&;t=80s
線を描くだけ！万能視覚的かけ算【インド式計算】
https://www.youtube.com/watch?v=Sj6Y43D76GA
大学と大学院の違い
https://www.youtube.com/watch?v=xBKAEvTegN8
東大院生がYouTuberになった理由
https://www.youtube.com/watch?v=pEqdjYJoyms
塾講師をはじめる君へ【新人講師・教師の方へ】
https://www.youtube.com/watch?v=z-EtLRtDlzY
なぜ勉強するのか
https://www.youtube.com/watch?v=Kpfae1U2uFE

**１３２人目の素数さん** · 2019/12/19(木) 06:16:28.20

IUT翼賛スレ
https://rio2016.5ch.net/test/read.cgi/math/1573769803/485-486

大阪の愛国馬鹿が発狂中ｗｗｗｗｗｗｗ

**１３２人目の素数さん** · 2019/12/19(木) 07:25:47.73

巣へお帰り

**１３２人目の素数さん** · 2019/12/19(木) 21:12:11.06

北大の森田って死んだの？

**１３２人目の素数さん** · 2019/12/19(木) 21:44:35.73

ホッジ予想のコンラッドの弟子も消えたよ

**１３２人目の素数さん** · 2019/12/20(金) 02:06:38.42

0645
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/huwa_cororon/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2019/12/20(金) 02:42:27.44

IUTから消える人は・・・？

**１３２人目の素数さん** · 2019/12/20(金) 14:45:41.22

１）アイデアがある
２）発達する
３）完成する
４）その部分ではだれも間違わなくなる（何が間違いかの議論の余地がなくなる）

近代では４）をもって３）とし、３）をもって数学的確かさとするという信念が
科学者に共有されていて、いわゆる数学的プラトニズムとして世界観として共有されてきた。

ところが今の時代を動かす技術のディープラーニングであるとかビッグデータであるとかは
３）の水準を満たさず、しかし技術としては有用さの水準を満たしている。

数学は数学的プラトニズムとの近接性から、数学自体が数学的プラトニズムの性質を
満たして表現ないし存在すべきという方向性で発達した経緯がある。

ところが望月さんの数学はおそらくその表現の性質が数学的プラトニズムの要件を満たしていない。
つまり誰がどの部分を読んでも同じように理解され疑問の余地がないものとして
自然に普及する性質を持たない。

なので形式への拒否が強い。しかしその拒否はディープラーニングやビッグデーターへの
拒否感、つまり何か中身がわからないのに一定の手続きを踏むと十分に有用な結果が出るという
そのブラックボックス感の得体のなさへの恐れと同一の恐れではないか。

その恐れはあるいはコンピューターの数学研究への利用への拒否と同じ動機によるものかも
しれない。それは数学者が大航海時代に対数表を計算するためにひたすら計算を繰り返した
職人の地位に転落する恐れともいえるようなものだ。

それはともあれ、少なくとも、数学は人間のなしうる行為の中で
本質的に最も高尚なものであると思うのであれば
望月さんの数学が少なくともその形式の範囲ではすでにある数学の一部しか表現できないと
証明されるのでない限り、その形式の非正統性をもって望月さんの数学を否定する理由に
すべきではないと思う。

**１３２人目の素数さん** · 2019/12/20(金) 16:53:14.10

うだうだポエムを書いているが2020年のプロジェクトで大きな問題が次々解決して
IUTを笑っていた連中が来年の今頃は真っ青になっているさ

**１３２人目の素数さん** · 2019/12/20(金) 17:51:09.96

どこで損切りできるかが運命の分かれ目

**１３２人目の素数さん** · 2019/12/20(金) 18:09:46.93

>2020年のプロジェクトで大きな問題が
次々解決

おや、既にRIMSは解決している
と報告している。

RIMSは平成22-27年度事業評価に
ついて「望月新一による宇宙際タイヒ
ミューラー理論の構築とその結果と
しての ABC 予想の解決は、特筆すべき
出来事である」と既に文科省へ現況
調査表で報告した。

**１３２人目の素数さん** · 2019/12/20(金) 18:17:51.70

公務員はやらかしてもほっとけば済むからな

**１３２人目の素数さん** · 2019/12/20(金) 19:19:16.24

２０２０年の予言

　望月新一の件で、安倍晋三が失脚するｗ

**１３２人目の素数さん** · 2019/12/20(金) 20:50:24.49

２０２０年は

　望月新一が数学史に名を刻み、安倍晋三が自民党総裁4選して首相続投する

**１３２人目の素数さん** · 2019/12/20(金) 23:21:08.89

>>825
申し訳ないが、あなたの文章を読んでいるとB本人かBのエピゴーネンにしか見えません
ツッコミどころ満載なんですが、以下2点に絞って書きます

・ブラックボックスの件
　これはIUTや望月に対してではなく、理解者たちに向けられた言葉。正しいと思うならなぜ理解可能で詳細な説明ができないのかということ
理解者たちはこのブラックボックスを解析できたわけだ。にも拘らず、その内容をなぜ説明せず、「3.12は原論文参照」としたり、
長大なまとめコピペにしたり、望月反論レポの超絶劣化簡略版コピペFAQしか書けないのかということ
さらに、コンラッドのオックスフォード・レポにもあるが、立ち話でも20分ぐらいあれば説明して理解してもらえるはずだろう、ということ
これができないから「理解者たちは3.12を“ブラックボックス化”している」と言われるわけだ
つまり、ブラックボックスそのものではなく、理解者たちが“ブラックボックス化”しているということ

・望月の数学の件
　これはIUTに限定してのことだと思うが、あなたのレスの最終段落は私には意味不明です
そもそもナンセンスで理解不可能、望月本人でさえ“general nonsense techniques”と言っているもので、
ロバーツの言葉を借りれば“private fan dance”にか見えないものです
要するに、あまりにおかしくてまともに相手はできない、ということです

以上、2点に絞って長々と書きましたが、望月（のIUT）を擁護したいならもっと具体的に書いて下さい
理解者や支持者、擁護したい人たちに決定的にかけているのは具体的に、詳細に、納得できるように書くことです

まず、充満多重同型の解説から始めて下さい

**１３２人目の素数さん** · 2019/12/20(金) 23:54:13.21

ついでに言っておくが、ファルティングスをして「理解不能、望月が何をやっているのか全く分からない」とまで言わしめたもので、
当然、私ごとき凡才にはIUTは数学にすら見えない
私語りで恐縮だが、私自身はIUTをまともな数学だと思ったことは一度もない
ジョイス『フィネガンズ・ウェイク』やマラルメ『イジチュール』の数学版だと書いて、過去スレでcanonicalなバカだと罵倒されたこともあるｗ
実際はこの偉大な文学作品の劣化版にしか見えないけどね

もっと正確には、ある種の現代音楽に近いと思った。今思うととんでもない勘違いで、作曲家や作品名は挙げないけど。
私は哲学、文学、絵画などよりも音楽からインスピレーションを受けやすいタイプなので、その辺でIUTに関心を持った
今となっては全くの無駄だと思うし、上記の文学を読み返したり、現代音楽を聴き直す方が私自身にとってはよほど建設的なんだけどね

まあ、IUTは暇潰しに多少読んだし、数学以外でも多くのこと（問題点）を考えられるから時々このスレを見て長文を書いてしまう次第ｗ

私語りスミマセンでした orz