0001１３２人目の素数さん
2019/10/27(日) 13:21:26.21ID:249KaKgJして使って下さい。
荒らしはご遠慮願います。
探検
Inter-universal geometry と ABC予想 42
■ このスレッドは過去ログ倉庫に格納されています
して使って下さい。
荒らしはご遠慮願います。
0631１３２人目の素数さん
2019/12/03(火) 01:10:46.29ID:S8P9NbycSSレポートの参考を見ると
1 ディオファントス幾何
Bombieri, E., Gubler, W
２ IUT 先行論文
☆Non-critical Belyi maps, Okayama 2004
☆ Arithmetic elliptic curves in general
position Okayama 2010
☆The Geometry of Frobenioids I:
The General Theory. 2008
☆The Geometry of Frobenioids II:
Poly-Frobenioids 2008
☆Topics in Absolute Anabelian Geometry
ⅢGlobal Reconstruction Algorithms.
2008
3 4篇のIUT論文
2の先行論文では 望月流のabc予想
証明装置の部品で何か欠けていますかね？
0632１３２人目の素数さん
2019/12/03(火) 01:35:36.78ID:/bJ4UYyLアナベリオイド関係の論文ですね
でも、スティックスは当然読んでいるでしょうし、実際の討論の中でその重要性は望月・星から説明されてはいると思います
ただ、SSがなぜアナベリオイド関連論文を参考に挙げなかったのか私も気にはなっているんですよ
ひょっとしたら“general nonsense techniques”だから無視したのかもしれません（完全に憶測です）
あとは圏論的表現の論文ですかね
0633１３２人目の素数さん
2019/12/03(火) 01:41:34.74ID:/bJ4UYyL「IUTのABC予想証明に関して」は、納得できる説明が全く得られなかったということでしょう
0634１３２人目の素数さん
2019/12/03(火) 01:54:53.69ID:S8P9Nbyc>単遠アーベルを無視しているので
（不必要・無意味）、
stixの立ち位置が確認できました。
ありがとうございます。
0635１３２人目の素数さん
2019/12/03(火) 06:36:11.17ID:2OK0+uPOhttps://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ならば、このような論文は採択されなかった。
・・・似ている
0636１３２人目の素数さん
2019/12/03(火) 06:52:51.10ID:2OK0+uPO具体例が１つも存在しない抽象論にどんな意味があるんだ？
「論文が書ける」とかいう●●丸出しの主張は却下ねｗ
0637１３２人目の素数さん
2019/12/03(火) 11:45:16.25ID:0tKVnw7j0638１３２人目の素数さん
2019/12/03(火) 12:03:58.00ID:dsRE2O2Rというのが実際ありえないわけではないからな。
0639１３２人目の素数さん
2019/12/03(火) 19:22:14.15ID:2OK0+uPO>IUTに一番近いと思われる圏を選んで
なんか圏論だけでIUTが語りきれると思い込んでる馬鹿素人がいるな（嘲）
0640１３２人目の素数さん
2019/12/03(火) 19:39:59.11ID:gZJDx4X/いや大した言及ではないよ
「よくわからないけどアラケロフ理論の一般化としてモノイドを経由してるから自分らの関心と関係あるよね」
と言ってるだけ
従って全くミスや責任はない
0641１３２人目の素数さん
2019/12/03(火) 19:47:15.75ID:biGKyKqM0642１３２人目の素数さん
2019/12/03(火) 23:27:04.48ID:eT6JAmTlまあケドラヤが公にIUTのプリント出さなかったらもう難しいと思っていいだろうな
現実にはDAGとリジッドで最近忙しいらしいが、こっそりIUT関連論文を準備している可能性もあるw
0643１３２人目の素数さん
2019/12/04(水) 06:56:02.33ID:2LqSA9Bj>おまえには、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ですよ
あたり前田のクラッカーｗ
「ωには一番右の要素がある」とほざくトンデモが書いたら
速攻三秒で焼き殺されるｗｗｗ
0644１３２人目の素数さん
2019/12/04(水) 06:57:42.81ID:2LqSA9Bj＞来年のワークショップの成功を祈るだけさ
＞多分成功するよ
「ωには一番右の要素がある」とほざくトンデモ馬鹿に
訳も分からず成功を祈られても迷惑だとさｗｗｗｗｗｗｗ
0645１３２人目の素数さん
2019/12/04(水) 07:07:03.83ID:2LqSA9Bj>おれはIUTを応援しているんだ
ωの要素に最大元があると思ってる
トンデモ馬鹿に応援されるようじゃ
Mも終わってるな
>IUTは、ものになっていると思っている
>それは、数学的な根拠では全くないけれど
ωの要素に最大元があると思ってる
トンデモ馬鹿はIUTどころか
集合論も理解できないｗ
>まあ、望月一人ではなく、その弟子とかだけでなく、
>日本の数学者何人か（加藤、田口など）
>それに、海外ではフェセンコさんを筆頭に何人も支持者がいる
しかしその支持者の誰一人として
S&SのCol.3.12に対する指摘に答えられない
実にナサケナイ
>これらの賛同者たちが、まさか集団催眠か集団狂気でも無い限り
>全員が間違うのは変（というか、その確率的には極めて低いだろう）
理解もせずに願望だけで賛同してるようじゃ
全然信頼できないけどな
>反対している人たちは、理論の文献があまりにも膨大すぎて
>未消化あるいは消化不良のためじゃないかと思っているんだ
賛同している人達ですら、全然消化できてないのが問題なんだが
馬鹿は全然分かってないな
0646１３２人目の素数さん
2019/12/04(水) 07:16:53.50ID:2LqSA9Bj>ラベル付けが普通の圏論と識別の仕方が異なる
>Peter Scholze and Jakob Stixが指摘したのは、
>IUTを単純化した圏論モデルで、IUTのラベル識別が矛盾する
>ということ
だろ？
だから望月のラベルの議論は圏論の外
圏論では正当化できない
1秒で気付けよ 馬鹿ｗ
ScholzeとStixはわかっていて単純化してみせた
望月はこの「挑発」に対して、自分の理屈を
十二分に説明し切って反駁する必要がある
しかし結局できていない
要するにラベルの取り扱いが
望月一人の「秘儀」「密教」
になってるということ
0647１３２人目の素数さん
2019/12/04(水) 07:19:09.39ID:2LqSA9Bj数学のスの字もわからんトンデモ馬鹿が
なにをトチ狂ったのか
「謝れ！望月大先生に謝れ！」
と泣き叫んでおりますｗｗｗｗｗｗｗ
0648１３２人目の素数さん
2019/12/04(水) 07:26:05.13ID:2LqSA9Bj0649１３２人目の素数さん
2019/12/04(水) 07:46:53.83ID:8JcmSiERIUT公式認定スレになる日が近い
0650１３２人目の素数さん
2019/12/04(水) 16:34:58.75ID:AD+q2/UNそもそも立場が違うって事か
0651１３２人目の素数さん
2019/12/04(水) 16:36:59.79ID:hnVHgUVi行き詰まったけど abc予想が解きたい！
0652１３２人目の素数さん
2019/12/04(水) 17:36:23.60ID:swnOwC2D確かに一定の支持者もいるんだが、そもそもあの論文は結構裏では読まれてるんだよね
いくら忙しいとは言え、新しい理論好きの天才達が未だになかなか反応できないのも事実なんだよな
勿論だから駄目だとは言い切れないが
0653１３２人目の素数さん
2019/12/04(水) 18:14:27.64ID:DU1toHGJ0654１３２人目の素数さん
2019/12/04(水) 19:34:04.08ID:2LqSA9Bj誤 新しい理論好きの天才
正 新しい理論好きの馬鹿
0655１３２人目の素数さん
2019/12/04(水) 19:37:37.46ID:2LqSA9Bj充満多重同型とラベルの使用こそIUTの核心
これが枝葉末節だと思う奴は文章が読めない馬鹿ｗｗｗ
0656１３２人目の素数さん
2019/12/04(水) 20:00:06.72ID:vzjCm2YGああ、それは今日もこのスレにいる人が言っていたことだと思う（間違っていたらゴメン）
私は圏論的な問題として「universal property v.s inter-universal」で、レベルが高いのか低いのか分からん論争と書いたことがあるｗ
立場が違うというのはちょっと違うかな。IUT側はSSの「嗜好・美学」＋勉強不足にして、立場の違いにしたいようだけど、
SSに限らず外野（IUTコミュ以外の人）にとっては理解可能で納得できる説明ができるのどうかが問題
IUTはマルチバースとは厳密にはちょっと違う。「母宇宙→子宇宙→孫宇宙→・・・」ではなく、オカルトというか笑い話で例えると、
母親の輪廻転生の物語になる。
「母→前世の記憶を失ったコピー母１→母１の記憶を失ったコピー母２→……→ｎ代目コピー母……→魔改造された最初の母」
みたいな感じかなｗ
0657１３２人目の素数さん
2019/12/04(水) 20:20:58.81ID:vzjCm2YG前者はアナロジーに頼らない普通の数学用語で書くということ
後者は充満多重同型とラベルの使用を「不必要・無意味」(望月レポによる)として採用しないということ
とくに後者はIUTの核心部分を損なうとSS自身が書いているが、面白いことに実はそれすら本質的な問題ではないと書いている
要するにSSにとって本質的な問題はpilot objectの抽象v.s.具象で、彼らが納得できなかったのが充満多重同型とラベルということ
つまり、原因を探ればこのような問題を生じさせているのは同型とラベルの問題で、それをクリアにするためには
drasticな単純化が必要であった、ということになる
ちょっと分かりにくいけどね。まあ、IUT側からすれば絶対に受け入れられないし、IUTではないということになる
その通りなんだが、SSがなぜそこまでしたのかということをIUTコミュは検討すべきだと思うけどね
Kimの検証云々の話も合ったけど、詳細に真剣にやればかなり大変な作業になると思うよ。
特にIUTは正しいを結論付ける場合はね
0658１３２人目の素数さん
2019/12/04(水) 21:09:29.91ID:vzjCm2YGスキーム論的な環論的枠組みv.s.遠アーベル的な群論的枠組み、ということはできるかな
まあ、実際SSはIUTを前者にして書き換えているわけだし。もはやIUTと呼べるシロモノではないけどね
望月がSSレポ5月版を読んだとき青天の霹靂だったんじゃないかな
望月が初夏に書いたらしい反論レポを読んだ上でのSSレポ8月版では、脚注などで強烈な皮肉を書いているしね
0659１３２人目の素数さん
2019/12/04(水) 21:23:41.25ID:zdLS94y/0660１３２人目の素数さん
2019/12/04(水) 21:44:56.78ID:GNN5Ejza0661１３２人目の素数さん
2019/12/04(水) 22:00:02.84ID:M6+85ns2[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が作用
0662１３２人目の素数さん
2019/12/04(水) 22:18:31.89ID:swnOwC2Dこれが本当に必然的な「数体のホッジ理論」なのかっていう根本的な問題でもある
実際、これを読んで「確かになるほど」と思う人は世の中にいるんだろうか？w
しかし、この問題について何か発言すると趣向・嗜好が丸出しになる可能性があるので、
あまりこういう所では推奨できない
0663１３２人目の素数さん
2019/12/04(水) 22:24:39.63ID:M6+85ns2基本的に 望月新一氏が書いたことを
丸写ししただけだよw
字が汚くて読めないから。
quotientで良いのだろうか？
0664１３２人目の素数さん
2019/12/04(水) 22:38:03.43ID:swnOwC2D別に異議ではないんですが、IUTは単にマルチバースというかイデアのイデア、つまりメタユニバースみたいな
観点で考えているとも読めますね
これは第四論文で似たような話が出てくる。種の言語というのは実は色んな所にあると見なせて
それを徹底して突き詰めたものがIUTである。そういう話に加藤さんも貢献しているw
しかし何度も同じような事ばかり言ってあれだけども、ScholzeとKedlayaが納得してサーベイを書けないってのは
相当な事なので、来年度のプロジェクトイヤーにでもプレプリントすら出てこないようなら完全に終わりです
0665１３２人目の素数さん
2019/12/04(水) 23:55:13.96ID:vzjCm2YGquotientですね。これだけでは何のこっちゃということになるので、mutationを持ち出しています
そういうことがガロア圏ではアナベリオイドや絶対遠アーベルを使えば可能であろうということでしょうね
>>664
以前何度も書いたんですが、IUT・Ⅳ最終節を始めに持ってきて、全体の眺望を示したうえで本論に入ればいいと思うんですけどね
如何せん、この辺だけは（？）本人が謙虚で「専門家ではない」と断っているのでどうしようもありませんｗ
佐藤賢太郎氏にアドバイスを受けたと謝辞にありますが、佐藤氏も見解を発表していないしよく分かりません
いわゆる代替集合論の話になれば厄介なので、無理やりZFCに収まる話だと強弁しているようにも見えますね
0666１３２人目の素数さん
2019/12/05(木) 00:06:00.52ID:8d+zD8Ppどっににしろあんな長々しい論文読む気にならないからスルーでいいってとこ
0667１３２人目の素数さん
2019/12/05(木) 00:22:36.23ID:P2b/vGxrその人は以前Twitterで西田哲学の絶対矛盾的自己同一について書いていたと思うので、
そういう貢献はあったかもしれません。どのみちIUTは数学版京都学派、近代の超克論だと思っています
もう一人はKimなんですが、本人がMOでのロバーツとのやり取りで「IUT・Ⅳ最終節についてはよく分からない」と言っていますｗ
彼はホッジ・アラケロフからの動機付けをよく理解していたので、MOなどでIUT公開当時は水先案内人でしたね
オックスフォード2015の直後にはレポートを書いていましたが、その後は勢いが落ちてきているように思えます
0668１３２人目の素数さん
2019/12/05(木) 00:38:18.80ID:/R2gDlsSIUT語でなく日本語でお願いします
0669１３２人目の素数さん
2019/12/05(木) 00:58:11.16ID:Pu1w4ZuF0670１３２人目の素数さん
2019/12/05(木) 02:40:26.40ID:64GHrLYH0671１３２人目の素数さん
2019/12/05(木) 03:25:24.81ID:64GHrLYH2003年望月新一北大講演会 講義録には
参考 >>661
「属性方程式 」a∈aを解きたい、
の隣に('基礎の公理'により、通常の集合論では
有り得ない。)と注ある。
この'基礎の公理'とは具体的に何ですか？
0672１３２人目の素数さん
2019/12/05(木) 04:52:36.39ID:Sq0GxO3Oラッセルのパラドックを回避するためにフォン・ノイマンが導入した公理。
ZF公理系の一つ。
0673１３２人目の素数さん
2019/12/05(木) 07:00:30.27ID:vEgJBXXWラッセルのパラドクスを避けるだけなら
内包公理を分出公理に弱めれば十分
（ZFではより強力な置換公理を使ってるが内包公理よりは弱いから
ラッセルのパラドクスは導けない）
0674１３２人目の素数さん
2019/12/05(木) 07:06:19.38ID:vEgJBXXWそもそも「属性方程式」a∈aがどうして出てくるのか不明なんだが
>>665
a∈aが本質的なら、ZFC-AFAでもなんでも使うべきだと思うが
そもそもそこが不明なので、なんともいいようがない
0675１３２人目の素数さん
2019/12/05(木) 07:21:35.57ID:vEgJBXXWhttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
最終節って§3ね？
0676１３２人目の素数さん
2019/12/05(木) 09:26:40.89ID:MG4NQJwS単純に元々のお題目と上手く結びつければよい（HA理論の一般化）
しかし、だからといってそれで世界の数学者が必然性に納得するかといえば別
遠アーベル幾何によるディオファントス幾何という関連したもうひとつのお題目に引き寄せられて
そういう特殊なアイデアに向かったのだろう
一体ディオファントス理論に遠アーベル幾何が不可欠なんて思ってる数学者が世界にどれだけいるのか
0677１３２人目の素数さん
2019/12/05(木) 14:47:07.37ID:kfhC5z7yオカルトマニアだけど、人間に当てはめるならばまず人間を量子情報として表す必要性がある
その母のコピーの例えとか認知症がどうのって例え毎度見て違うって思うんだよね
母単体でコピーが復元されることはないってところが単遠アーベル幾何学の肝でしょ？
俺の考えを書いてくけど、まず人間が存在する宇宙そのものを量子情報として考える必要性がある
そのとき、前に俺とオカルトマニア氏は嫌いじゃないって言ってた人と俺の議論と同じく
膜宇宙論のような無限のループ構造を持つループ重力理論によって、IUT的に幾何学的不変量である素粒子から宇宙が復元されなければならないだろう
加えて言えば、単遠アーベル幾何学的な要素を人間の量子情報に適用すると
それは恐らくは男女になるだろうと推測できる
男女というそれぞれでは遠アーベルな構造を持つ量子情報が
男女という2つの舞台で考えて組み合わせられた時、可換となって二人の男女から要素を受け継いだコピーが作られ
そしてコピーである子は可能な限り二人の情報を対称性通信で受け継ぎつつも、子供単体としては新たな舞台であるから遠アーベルな構造を持つ量子情報でなければならない
男女それぞれがエタール的部分であり、フロベニウス的部分なんだよ
これもたぶん子供の性別によって、親のどちらの量子情報がエタール的かフロベニウス的に扱われるかも入れ替わる
しかし、現実問題として人間は子に自らの記憶(意識)そのものは基本的には受け継がないとされる
つまり、全てが量子情報として考えられるということを起点とした場合
無限の入れ子構造的に、人間の意識が肉体とは別立ての量子情報として成立している事を示唆し
それは生殖では受け継がれない事が予測される
ガワである肉体はほぼ完璧に対称性通信を通じて復元される
しかし中身である意識はどのようにして両親から受け継がれるか？っていうのが重要なわけ
だから俺はこれが万物の理論の超有力候補であると思ってて、集合的無意識たる量子情報が存在するって思ってるの
0678１３２人目の素数さん
2019/12/05(木) 14:47:35.31ID:kfhC5z7y＞ある一例と等価なデータ — 簡単のため, 以下, もうこれをフロベニオイドと言い切っ
てしまいますが) が与えられたとき,
あくまでも等価なデータが与えられなければならない、つまり最低でも2つセットでなければならない
単体でほぼ完全な復元ができるわけではなく、絶えずペア以上の等価なデータにおける舞台で復元がなされる
0679１３２人目の素数さん
2019/12/05(木) 14:53:53.79ID:kfhC5z7yその単一データで全てが成立してるように見える、訳わからない例えを使うのはやめたほうがいいよ
端からそんなことをIUTは言ってないんだから
0680１３２人目の素数さん
2019/12/05(木) 15:54:21.06ID:P2b/vGxr「母のコピーの例えとか認知症がどうのって例え」と「前に俺とオカルトマニア氏は嫌いじゃないって言ってた人」と、
「俺の議論と同じく膜宇宙論のような」ということを書いたのは私、つまり同一人物ですｗ
「オカルトマニア氏は嫌いじゃない」というのはあなたがひどい罵倒をしなかったというだけの理由
膜宇宙みたいなことを言っているね、というのは完全に嫌味・皮肉
あなたが書いていることは双遠アーベルであって単遠アーベルではない
ちなみに以前書いた認知症徘徊老人のたとえは若干双遠アーベル的だったので反省しているくらいですｗ
あなたの解釈を読むと、星入門の「不正確な記述」が最悪の形で解釈されたもののように思われる
・単遠アーベル的復元/構成を（おそらく）視覚的にわかりやすくするために双遠アーベル的とも取れるようになっている
・上記と同様の理由と思われるが、対数テータ格子をあたかも可換図式のように説明している
星が続入門を英訳して投稿しても、入門１を英訳して投稿しない理由がよくわかったよｗ
再度オカルトマニア氏へ
あなたにふさわしいスレは他にある（そこのスレ主がIUTに関心を持っているらしい）
また、望月ブログのコメント欄もあなたにふさわしい
では、さようなら。先日のあなたレスもNGを入れたが、今度もNG入れます
0681１３２人目の素数さん
2019/12/05(木) 16:56:25.34ID:kfhC5z7yでももしかしたら別人かもしれないし、決めきった書き方なんてしないよ
膜宇宙論みたいって話は嫌味でも皮肉でもないでしょ
貴方がどういう意図で言ったのかは別にして実際そうだと俺も思うもの
それと最悪の形で解釈もクソもない
＞・単遠アーベル的復元/構成を（おそらく）視覚的にわかりやすくするために双遠アーベル的とも取れるようになっている
これは視覚的に分かりやすくするためじゃなくて、そういうものなんだって言ってるんだわ
あと双遠アーベルじゃないって読めば分かるよね、2つあると可換でどちらか一方だけだと遠アーベルなの
2つだと可換になるのは、2つのどちらか一方の舞台から見た時
2つで遠くなるのは、2つを1つとして見た時に単遠アーベルになる
これは全く別の話
それは貴方が言ってる先日のレスで挙げた例で、鏡像世界と現実世界を例にして俺の考えを述べてるよね
というか先日の俺のレスをNGした理由が分からないから教えて欲しい
そうでなければ、どうやら合ってそうな単純例で反論できなかったから
反論が面倒＝できなさそうだからNGに入れたって受け取ってしまうよ
0682１３２人目の素数さん
2019/12/05(木) 17:57:00.75ID:P2b/vGxrこれはB本の弊害ね
クンマー理論＋単遠アーベル的復元/構成による充満多重同型とラベルの使用と管理が、宇宙際幾何学たる所以
これをBが全く解説していないため（望月・星-SS討論で互いに相容れなかったから避けたのだろうか？）、
おちょっこちょいで妄想過多なトンデモ気質の人が遥か斜め下の妄想を膨らませるのもありうるｗ
B本というのは肝心かなめの部分を全く書いていない。それに魅せられトンデモを相手にするのは馬鹿らしいということ
昨日から話題になっている“simulate a∈a”、“loops of mutations”について概要を分かっている人たちは、
こんなマヌケな解釈などしないだろう
0683１３２人目の素数さん
2019/12/05(木) 18:24:28.42ID:P2b/vGxr・「通常は、relativeな理論を考える」
・「ここでは、absoluteに考えたい」
上はノイキルヒ・内田のような双遠アーベル的復元
下は絶対遠アーベルの単遠アーベル的復元/構成
>>665の前段で書いたのはそういうこと
0684１３２人目の素数さん
2019/12/05(木) 19:09:36.68ID:P2b/vGxr副有限群、ガロアの逆問題、アナベリオイドのslimアナベリオイドとslimカテゴリー、そしてスタック
望月の図では二次元的に●と→（水平射）、↑（垂直射）で図を書いているが、
これらはコピーされて作られたもので（生み出されたもの）、それらを貼り合わせて単解的に所望の不等式を導くというもの
図だけしか見ていないと、最初から●（ホッジ劇場）が複数あってそれらの関係性だけにしか見えないが、
それらは「非常に似ている対象の異質な環構造」のコピーたちであり、これらは貼り合わされていく
これが初期構想で書かれている“simulate a∈a”、“loops of mutations”のガロア圏版ということだろう
望月がエイリアン論文で不満を述べているのは、上記のslimアナベリオイド、slimカテゴリー、スタックが
いかがわしいものと見做されているのではないかということね。“general nonsense techniques”だから、と。
スタック自体はいかがわしいものとは思わないけどね
デ・ヨングがIUTを研究しないのは端に面倒くさいという理由だけではないと私は思う（憶測、邪推）
0685１３２人目の素数さん
2019/12/05(木) 19:16:36.16ID:vEgJBXXWhttp://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 の左に書かれるものは何ですか？」
と尋ねざるを得ない
0686１３２人目の素数さん
2019/12/05(木) 20:28:33.63ID:jIftrD/D世の中キチガイじみた数学者がたくさんいるからそれはないよ
世界スケールで見ると溜め息がでるくらいマッドな（ある意味誉め言葉）猛者がいるからな
今の日本がJリーグなら世界は四大リーグみたいなもんだ
0687１３２人目の素数さん
2019/12/05(木) 20:32:06.54ID:DIhYMp+rそれはない。
もう日本人の中にも、SSなみに「望月論文は間違っている」と確信している人間はいると思う。
発言する必要はないから黙っているだけ。
もしでなければ日本の数学界は情けない。
0688１３２人目の素数さん
2019/12/05(木) 22:03:17.85ID:hjOFF9s5それだけならまだしもおかしな取り巻きに神輿担がれて研究者生命致命傷あら残念。
山のようなナンセンス・ジャーゴンの中からピンポイントで破綻(の一部)を特定したSSはさすがだな。
ほとんどの数学者の理解はこんなもんだろ。
0689１３２人目の素数さん
2019/12/05(木) 22:51:51.77ID:Pu1w4ZuF研究者人生の重要な時期に無駄な労力を割いて将来が厳しい
本人の苦労をちょっと横に見て解説本書くのが一番の成功者
焼肉おいしい
0690１３２人目の素数さん
2019/12/06(金) 01:17:34.15ID:0llWvy0xこれは量子論であると言って憚らない怪しい圏論が増えているw
名前は挙げないが、ちゃんとした研究者も量子情報を代数幾何から論じたりしている
眉唾物に見えてもいつの間にか存在感があったりする理論とか、数学の世界はわからない
ただ一つ確かなのは、一度注目を集めたにも関わらず上手く流布しない理論というのは基本的に駄目
いくら難しいと言っても、例外はほとんどないんじゃないか
0691１３２人目の素数さん
2019/12/06(金) 06:35:32.35ID:a5FaM1Ty>１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
>２．任意の自然数nについて
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する
IUTに必要な性質が上記２点ならa∈aは必要ないがそれでよいのか？
0692１３２人目の素数さん
2019/12/06(金) 22:03:16.45ID:TP+xMnxeいや横槍で間違いだったら申し訳ないけど、多分両方考えるのがIUTなんです。整合性を作る
だからこういう不可思議な事を考える時点で普通なら足踏みするよな、とも以前に書いた記憶がある
スキームを一般化するには色んな考えがありうる。そういう中で望月さんはこの一般化にコミットした
0693１３２人目の素数さん
2019/12/06(金) 22:14:18.46ID:+Uu3psp/0694１３２人目の素数さん
2019/12/06(金) 22:19:10.73ID:ZF7NpaSmその査読に時間をかけて潰したSSも敗北者
真の勝者は争いを横目で見つつ解説本で話題をさらい賞をもらって
売れた名前で低レベルのチャート式で大儲けして焼肉うめ～～
0695１３２人目の素数さん
2019/12/06(金) 23:26:10.97ID:G6RAVw+Mその表現として、最初の北大講演では 「属性方程式a∈aを解きたい」となり、
後の講演では、“simulate a∈a”、“loops of mutations”となり、
IUT・Ⅳ最終節では、“simulate ∈-loops”となる
つまり、彼は厳密な意味で a∈a なんてやってないｗ
単に「同義反復的解決をしたい」という着想から、言っちゃ悪いけどテキトーなことを言っているｗ
0696１３２人目の素数さん
2019/12/06(金) 23:53:09.46ID:TP+xMnxeそうですね。中身が空と言われようがなんだろうがいちいち流れは書かないけども、
それもHA理論の一般化というに尽きます。やりたい事は一応論理的にははっきりしているし、
正否を一体忘れれば凄いアイデアかも、とは思うかもしれない
問題は正しい一般化かどうか
0697１３２人目の素数さん
2019/12/06(金) 23:54:19.07ID:G6RAVw+M計算機科学的な説明をするよりも高尚な（？）基礎論的な話がしたかったんじゃないかな
でも実際、計算機科学者でIUTに関心を持っている（持っていた）人たちもいたし、
彼らの中には代替集合論に関心を持っている人もいたね
望月の場合は、新奇性という名のものとに傍目にはいかがわしく見えることをやっているので、
安易に代替集合論を持ち出さず、正則性公理には反してませんよ、ZFCに反してませんよと強調したかったのだと思う
完全に私の邪推だけどね
0698１３２人目の素数さん
2019/12/07(土) 00:10:17.92ID:aRHRZGxC何で「宇宙」なんだっていうこと。理由を一旦納得してしまうと、確かに本人にとっては論理的な理論なのかな
という気はしてくる。一応数論幾何学的な問題意識から始まっているからね
でも加藤さんはその点慎重なのか理解していないのか、数学者がなるほどと思う書き方はしていない
0699１３２人目の素数さん
2019/12/07(土) 09:36:56.95ID:uZFmzNJe＞両方考えるのがIUT
両方とは？
>>691の１．と２．は両立しますよ
例えば
１．{}∈{{}}∈{{{}}}∈… という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
任意の有限重{{{…}}}について
{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する
それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです
0700１３２人目の素数さん
2019/12/07(土) 09:51:58.46ID:uZFmzNJe＞「同義反復的解決をしたい」
＞「属性方程式a∈aを解きたい」
＞“simulate a∈a”
＞“loops of mutations”
＞“simulate ∈-loops”
これは問題の解決に立ちはだかる本質的な困難なんでしょうか？
特に”loop”である必要はどこから出てくるんでしょうか？
0701１３２人目の素数さん
2019/12/07(土) 09:59:15.64ID:uZFmzNJe＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）
∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう
上半平面の幾何学がユークリッド幾何とすることはできず
双曲幾何にならざるを得ないというようなもの
0702１３２人目の素数さん
2019/12/07(土) 12:31:45.08ID:T6VqtyTc紅白歌合戦の話。
0703１３２人目の素数さん
2019/12/07(土) 15:38:30.45ID:uZFmzNJehttps://www4.nhk.or.jp/P5659/
0704１３２人目の素数さん
2019/12/07(土) 18:20:03.95ID:WBQvpVpJまず最初に、あなたは最終節をすべて読んだのでしょうか？それとも最初の3頁ぐらいでしょうか？
もし後者なら最後まで読んだ上で質問なり、あなたの理解・意見・感想なりを述べてください
では、私なりの理解・感想・意見などを簡単に述べてみます
まず、望月の同義反復的解決の「～的」とは、同義反復「による」解決ではなく、「～みたいな」、「～一見そのように見える」ぐらいの意味です
ですから厳密な意味で∈-loopsもしていません。そのように見えるということにすぎず、数学で数学のアナロジーを語っているにすぎません
speciesやmutations、挙句の果てにはobservablesなんて語も出てきます。トンデモのおいしい食材のオンパレードです
で、この最終節は何のためのものかというと、単遠アーベル的復元/構成の論理学みたいなものです
それを集合論的に書こうとしたもので、実際は望月流の圏論＝IU幾何、IU形式主義です
speciesがデータや圏、mutationsが関手に相当します
私も最初はあなたと同じくなぜAFAなどを考えないのかと思いました。しかも謝辞に佐藤憲太郎氏の名が出ているので当然そう思います
しかし、書かれていることは初期構想からあった望月の着想や「願望」と、IUTで記述されている論理のそれっぽい説明にすぎません
まともに取り合っていいのかよく分からないシロモノです。
この最終節をBなどは「基礎論を刷新するもの」と捉えているようです
彼はだいぶ前にTwitterで西田哲学の絶対矛盾的自己同一を書いていましたが、その前後でこの最終節に触れていたと思います
0705１３２人目の素数さん
2019/12/07(土) 19:01:02.07ID:uZFmzNJe最終節は読んでません そもそも数論幾何を知らないので
数論幾何において、ａ∈ａが現れるのかどうか知りたいわけです
AFAは別にトンデモではないので、
AFAを使った数学が受け入れられない
ということはありませんよ
ただ、実際にはａ∈ａではなく、
正則性公理の成立する範囲内で
おさまるというのであれば
別にかまいません
宇宙の拡大とやらも、今の集合論の巨大基数の範囲よりも
全然小さいレベルのようですから、集合論研究者も
大して関心持たないでしょうね
0706１３２人目の素数さん
2019/12/07(土) 19:16:24.75ID:uZFmzNJe＞「基礎論を刷新するもの」
それはないですね
0707１３２人目の素数さん
2019/12/07(土) 19:25:07.06ID:WBQvpVpJ私もAFAそれ自体はトンデモとは思っていません。ただ、集合論の専門家と話したことがあるのですが、
新しいアイデアを展開するために安易に代替集合論に頼るのは如何なものか？と彼は言っていました
代替集合論それ自体の研究は当然重要だけれども、これらを使って何でもできると思うのはトンデモへの道だ、と
上で書いたように私の理解では、実際は厳密な意味でａ∈ａも∈-loopsもやっていないので、望月はくどい位繰り返し
「正則性公理には矛盾しない」と書いているわけです
数理論理学者の中には「IUTのABC予想証明が成功していると証明されたら、IU形式主義を考えてみるけどね」という人もいて、
そっけない返事でしたね。まあ、専門家の認識は大体こんな感じではないでしょうか
0708１３２人目の素数さん
2019/12/07(土) 19:27:34.43ID:uZFmzNJe学生の頃、A=Aでない数学をやりたい、と云った友人がいたが
その後、予備校教師になったようだ・・・
0709１３２人目の素数さん
2019/12/07(土) 20:23:30.67ID:uZFmzNJe個人的にはAFAよりsubstructural logicのほうが興味がありますけどね
0710１３２人目の素数さん
2019/12/07(土) 20:48:42.47ID:uZFmzNJe勉強もせずにこんなことばっかり臆面もなく書くとか
つくづく恥ずかしい人ですね
0711１３２人目の素数さん
2019/12/07(土) 21:18:13.74ID:WBQvpVpJあなたの疑問は至極真っ当なもので、ａ∈ａや∈-loopsと書かれたら当然出てくる疑問です
ただ、IUTではこう述べられているよ、と私なりの理解を大雑把に書いただけです
あとお願いなんですが、よそのスレ、特にあなたがリンクしているようなスレはトンデモさんが現れた時に
誘導するだけにしてくれませんか？
そこのスレ主はここではほとんど書いていないようですし、書いても内容次第で即NG入れればいいだけなんで
0712１３２人目の素数さん
2019/12/07(土) 21:25:14.03ID:WBQvpVpJ多くの人はコンラッドのオックスフォード・レポと同じ感想を持ちますよね
望月本人にとっては間違いなく「自然な論理」、先行研究からの自然な流れ、着想ですよ
遠アーベルでのアナベリオイド、「そもそも復元とは何か」という問題意識（後に絶対遠アーベルとなる）、
p進タイヒミュラーから数体のタイヒミュラー理論の構想、HA理論からのディオファントス幾何への展望など。
後はまあ、ひたすら大域、大域ということですね
「多輻的アルゴリズム表現は局所の総計ではなく、大域的なものだ」（反論レポ）とあるように、
Θリンクも対数テータ格子も大域的なもので、充満多重同型などもホッジ劇場総体として捉えなければ、
やろうとしていることすら分かりません
0713１３２人目の素数さん
2019/12/07(土) 21:31:41.29ID:uZFmzNJe要するにIUTでは正則性公理に反する「集合」は出てこないということですか
IUT支持者の中にはおかしな人が少なくないようです
専門家はそういう人を抹殺したいでしょうね
どうぞ抹殺してください
とある方も著書でこう云ってます
「人を殺していけない根拠などありません」
0714１３２人目の素数さん
2019/12/07(土) 21:55:23.90ID:WBQvpVpJそうですね。そもそもクンマー理論＋単遠アーベル的復元/構成によってできる「非常に似ているが異質な環構造のコピーたち」
の貼り合わせの話で、ガロア圏における望月流の圏論＝宇宙際幾何学、“private fan dance”（ロバーツの評）の話なんでｗ
それを集合論風にやっているだけです
あと、おかしな人たちは何を言っても効かないしゾンビのように立ち上がってきます
こちらの対応としては無視する、NGを入れる、おかしなことでもそれをダシにして何か言えるなら少し相手してみる、
といったことぐらいしかできません
0715１３２人目の素数さん
2019/12/07(土) 22:03:27.56ID:uZFmzNJe世の中には「おかしな人たち」を観察する趣味を持ってる人もいます
そういう人たちにとっては無視とかＮＧとかいうのはあり得ないでしょうね
彼らの「おかしな発言」を記録して後世に残すことが楽しみなんですから
0716１３２人目の素数さん
2019/12/07(土) 22:24:42.35ID:R1rmXOB4志甫さんの名前をわざわざ出した理由は、加藤さんや玉川さんよりはやはり専門が近いからですね
敢えてわかりにくく一言で言えば、例えばvirtualなarithmetic compactificationみたいなものをIUTは考えている
HA理論やホモロジー代数の非Quillenホモトピー代数的一般化になっているのかどうかを専門家として
一番素直に語れるであろう近しい人物が志甫さん。Kedlayaは明らかに距離を置いています
つまり、ScholzeらのようなラングランズプログラムとDAGを最重要視したままです。Kimもこれは同じですね
0717１３２人目の素数さん
2019/12/07(土) 22:34:00.12ID:R1rmXOB4つまり、a∈aというのは出発点として、ということです
別の方がおっしゃってるように、後にはループした入れ子構造の話に向かいました
a∈aをどうするか考えるというのはお題目通り、関数体のHA理論のspecZ版を考えることなんですが、
そういうArithmetic deformationを構成するために考案されたのがIUTだったわけです
両方というのは動機付けとして同根だという意味です
0718１３２人目の素数さん
2019/12/07(土) 22:40:43.41ID:R1rmXOB4答えは個人的にはNO。だから変な話になってくるわけだ。「奇抜でad-hocに」arithmetic deformationを
やろうとしてこうなったんだと理解している
自然な幾何学ではないからバーチャルな宇宙の話をしなければならなくなった
0719１３２人目の素数さん
2019/12/07(土) 23:57:36.43ID:WBQvpVpJああ、それはホッジ・アラケロフやフロベニオイドに限って言えばの話ですね。それなら志甫氏は近いでしょう
しかし、その辺はあまり問題視されておらず、かといってHAやフロベニオイドが盛んに研究されているとは言えない状況ですね
私はやはり玉川氏らが裏方に徹して星氏や山下氏にアドバイスはしているみたいですが、
自分からは何も表明しないというのが気になります
あとショルツは望月からすれば相性は最悪ですよ。そもそも二人の数学者としての考え方も違います
ショルツは「数学者とは何か？」と訊かれて、「私はそんなことは考えたこともない。ひたすら数学をやるだけだ」と断言する人ですから。
そういう意味では気質的にもファルティングスの後継者ですね
望月は間違いなく「数学とは何か？数学者とは何者か？」を深く考えるタイプでしょう
私はショルツのようなタイプが無難だと思います
望月のようなタイプは自分と同格かそれ以上かつ異質な他者を絶えず置いて、外部から検証してもらわないとマズイと思います
拝聴するだけの人ばかりではダメになります。むしろ同僚や弟子らが離反して初めて正しく先に進めるのではないでしょうか
失敗するなら上手く失敗せよ、そのためには友達選び弟子選びも重要だということですね
0720１３２人目の素数さん
2019/12/08(日) 10:22:28.02ID:9rv1hojT＞日本の刑法で、殺人は禁止されています。
これは典型的な誤読ですね
「（殺人）刑法第199条
人を殺した者は、死刑又は無期若しくは5年以上の懲役に処する。」
あくまで殺人後の処置について規定されているだけ
殺人そのものは禁止していない、そもそも禁止できていない
（実際に殺人事件は多数起きている）
＞まさに、サイコパス発言ですな
＞この発言は、サイコパスの心の闇を表わしていますね
国家による戦争は、軍隊による殺人を伴う
政府も軍隊もサイコパスだというならまったくその通り
0721１３２人目の素数さん
2019/12/08(日) 17:06:03.79ID:9rv1hojThttps://headlines.yahoo.co.jp/hl?a=20191208-00000010-kana-l14
（カンボジアでポル・ポト派による虐殺を伝える施設を訪れ）
「見ながら思った。日本の保守的な政治家なら、
日本の恥として知らせようとはしないのではないか」
「アジア太平洋戦争後、日本人には精神に変調を来した兵士が
米兵に比べて少なかったことも紹介。
”おそらく彼ら（日本兵）は主語を戦争に行く時になくしていた。
陸軍、皇軍、日本という大きなものの一つだったのではないか”
と、虐殺の背景には「集団化」があると分析した。」
0722１３２人目の素数さん
2019/12/09(月) 13:33:55.99ID:tY240Yf9>何をしたいのかね
君は？
https://rio2016.5ch.net/test/read.cgi/math/1573769803/346
>来年は、日本数学会でも議論してほしいね
>普通、学会は、春と秋の２回
>来年は、しっかりIUTを取り上げて議論してほしいね
>RIMSの外でもね
全く理解できないIUTを熱狂的に信奉
●違い？
0723１３２人目の素数さん
2019/12/09(月) 13:40:02.41ID:tY240Yf9誤 殺人願望の正当化
正 殺虫願望の正当化
ゴキブリ退治は日常的に実施されています
https://www.youtube.com/watch?v=NFol9GpLokQ
0724１３２人目の素数さん
2019/12/09(月) 14:20:31.60ID:niqYp9hC0725１３２人目の素数さん
2019/12/09(月) 14:26:03.33ID:niqYp9hChttp://agora-web.jp/archives/1548695.html
そのうち梅田はサークルに出てこなくなり、生協の前でアジ演説をやり始めた。
「こんな所にいたら危ないぞ」といったら、「大丈夫だよ。みんなの見ている前が一番安全なんだ」
と笑っていたが、1975年10月、衆人環視の中で数人に取り囲まれて鉄パイプでなぐられた。
頭蓋骨骨折で、即死だった。おびただしい血が食堂前まで広がって一帯が立入禁止になった。
革労協が犯行声明を出したが、犯人は不明だった。
0726１３２人目の素数さん
2019/12/09(月) 16:41:00.12ID:tY240Yf9http://agora-web.jp/archives/1548695.html
「山本太郎のやっているちゃちな反原発運動なんてお遊びみたいなものだが、
彼を傀儡にして中核派が国政に議席を得ると大変だ。
かつて菅直人氏のやっていた「反原発勉強会」にも、
中核派の幹部が常駐していたことは公然の秘密だ。
そういう連中のやっている反原発運動が「命を守れ」とは悪い冗談である。」
耄碌爺ちゃんの妄想乙
0727１３２人目の素数さん
2019/12/09(月) 16:58:44.20ID:tY240Yf9池田信夫は２００６にゲーデルについて
トンチンカンな言辞を発し
専門家どもに凹られた経験あり
ついでにいうと
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はそんなに高くない
0728１３２人目の素数さん
2019/12/09(月) 17:05:48.71ID:tY240Yf9>IUTスレに投稿する意味がわからん
IUTを理解もできずに狂信する意味がわからん
0729１３２人目の素数さん
2019/12/09(月) 17:09:53.23ID:tY240Yf9＞望月は間違いなく
＞「数学とは何か？数学者とは何者か？」
＞を深く考えるタイプでしょう
その問、数学とは無関係ですね
0730１３２人目の素数さん
2019/12/09(月) 17:14:24.67ID:/D4DfTh3■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 小学校の運動会で「紅組・白組を廃止」の動き “勝ち負けをつけない”方針で、 応援は「フレー！フレー！自分」に ★4 [Ailuropoda melanoleuca★]
- 西武激震！松井稼頭央監督が休養へ 渡辺久信GMが監督代行 リーグ最下位と苦戦 [ひかり★]
- 【パーティー岡田】立憲・岡田幹事長、パーティー批判に「自民、維新のプロパガンダだ」 [PARADISE★]
- 【古谷徹】「本当に俺の子？」「それは（まだ）命とは言えないよ」 [Anonymous★]
- 下半身を写したA４サイズ紙片を住宅の郵便受けに入れたか 逮捕の男（69）「人の手にわいせつな図画が渡ることで満足感を感じていた」 [モフモフちゃん★]
- 立憲民主・枝野幸男前代表 「消費税減税は財政パンク」「ハイパーインフレが起こりかねない」「今減税は絶対禁句」 ★3 [お断り★]
- 牛丼団長のお🏡
- 【西武】松井稼頭央監督が休養へ 渡辺久信GMが監督代行 26日のオリックス戦を最後に
- 【悲報】嫌儲板、スクリプトに完全勝利！！！！！ [616817505]
- カツオ漁師の年収1700万円だって
- 【らいらい】アイプラ生【まいまい】
- ヒグマを駆除したのにお金くれない →「じゃあ１万円やる」。猟友会「やっす！ もうクマ殺しません！」 [425744418]