Interuniversal geometry とABC 予想61
(413ﾚｽ)
上下前次1-新
364: 07/21(火)04:53 ID:wRfTFcAQ(1/8) AAS
species/mutation
普通の数学では
* 群
* 環
* スキーム
などは「対象(object)」として扱います。
そして
省8
365: 07/21(火)04:54 ID:wRfTFcAQ(2/8) AAS
IUTでは
> 「アルゴリズム」
そのものが重要になります。
例えば
```
あるHodge theater
↓
Theta-link
↓
別のHodge theater
省10
366: 07/21(火)04:55 ID:wRfTFcAQ(3/8) AAS
speciesは
> "ある種の数学的対象"
です。
例えば
* group
* ring
* scheme
* diagram
省6
367: 07/21(火)04:56 ID:wRfTFcAQ(4/8) AAS
つまり
普通なら
```
G = この群
```
ですが、
speciesでは
省9
368: 07/21(火)04:57 ID:wRfTFcAQ(5/8) AAS
mutationは
speciesからspeciesへの
**アルゴリズム**
です。
例えば
省17
369: 07/21(火)04:58 ID:wRfTFcAQ(6/8) AAS
つまり
```
入力
↓
決まった処理
↓
省9
370: 07/21(火)04:58 ID:wRfTFcAQ(7/8) AAS
普通の圏論では
```
Category
↓
Functor
↓
省8
371: 07/21(火)04:59 ID:wRfTFcAQ(8/8) AAS
例えば
```
Ring
↓
Multiplicative Monoid
```
では
省8
372: 07/21(火)06:33 ID:OdOdc1g9(1) AAS
謙虚さも忘れてしまったのか
373: 07/21(火)06:33 ID:/fTizQNY(2/5) AAS
何上からしゃべってんの？
圏論も基礎論も計算論もなにもかも真面目に勉強したことないやろ？
そんな態度でなんかしゃべる資格自分にあると思ってんの？
あほか
374(1): 07/21(火)08:32 ID:u/7sGhoh(1/3) AAS
LANAは中立でもなんでもなく、Zen大学でIUTの講義をやってたり
ブンゲンさんがIUTで稼いでたりしててもろ利害関係者なわけよ
だから、宇宙際まで旅したけどABC予想の証明の最後の１マイルだけ
道が通ってなかったってストーリーがLANAに許容できる限界なわけ
実はIUTは意味のないガラクタを寄せ集めた伽藍堂でした
みたいな結論には絶対にならない
LANAが表立ってIUTの根幹（species/mutations）まで
突っ込まないのはたぶんそのせい
（望月新年日記によれば内内でのやり取りはあったはず）
狂信者にとってみれば
省2
375: 07/21(火)08:44 ID:u/7sGhoh(2/3) AAS
IUT賛同派が母体のLANAですら
「論文中に（形式化可能なｗ）証明がない」
ってことを認めざるを得なかったのは
部外者を中核メンバー入れたからなわけだけど
これはIUTビジネスのスポンサー（かわんご）の意向でしょう
376(1): 07/21(火)08:53 ID:vJOY+ce+(1) AAS
かわんごがいなかったらと思うと彼は結構良いことをしたよね。まあ界隈外の数学者にとってはとっくに意味をなくしていたのだろうから、日本村の解体への貢献だが
377: 07/21(火)09:08 ID:Sbbv0w/u(1/2) AAS
まあさすがに最後の理性は残ってたってところだな。LEANの出力内容を誤魔化すってことだけは流石にできなかった。
あのグループにできる最後の言い訳がショルツも正しくないっていちゃもんつけるってところだけだったってことだわ。
378: 07/21(火)09:12 ID:rReqYplZ(1/3) AAS
「3.11 = 3.12」 を分解して形式化をはじめている
前半 (3.11)
APT (アルゴリズム的並行移動)
IPL (入力整合性)
→第1~第3三角形
後半 (3.11.5= 3.12)
SHE (同時正則表現可能性)
IPL (input prime-strip link)
→第4三角形 (現在RIMSが形式化に取り組んでいる箇所)
379: 07/21(火)09:18 ID:Lks9T9bp(1/3) AAS
>>374
加藤は望月の盟友みたいなもんだぞ
望月がIUT理論考えてる時のブレインストーミング相手なんだから
だからあんな優しい中間報告書に留まってるのに
お前は人でなしだな
380: 07/21(火)09:22 ID:Lks9T9bp(2/3) AAS
>>376
LANAプロジェクトなければabc予想証明失敗は有耶無耶になっていたと思うからZEN大学の数学への貢献だわな
プロジェクトチームに人呼ぶにも金がかかるからな
381: 07/21(火)09:29 ID:rReqYplZ(2/3) AAS
4つの三角形について
この理論は4つのステップに分かれる
・第1三角形
入力:BPS
出カ:マルチラジアル表現
→「0列」との貼り合わせとして理解できる
・第2三角形(下降 dsc)
情報を簡略化する
完全なデータ→群論的部分だけへ
・第3三角形 (HDD)
省6
382: 07/21(火)09:38 ID:rReqYplZ(3/3) AAS
lUTのLean形式化は、次の段階に分けて進める
・Stage1
[IUTchlll] 定理3.11=系3.12
・Stage2
[UTchll]定理3.11の証明
・Stage3
[UTchl-ll]
・Stage4
1995年以降の先行研究
・Stage5
省1
383: 07/21(火)10:10 ID:HmviCjmF(1) AAS
IUT批判者は、第三者が検証できる証明しか認めない数学至上主義者
IUT理解者は、従来の数学観にとらわれず、より相手を罵倒できた方が正しいという柔軟な思考の持ち主
384: 07/21(火)10:14 ID:IQ1y4DK2(1/2) AAS
とりあえずマトモな論文誌なら証明に重大なギャップが見つかったら撤回させるけど
385: 07/21(火)10:32 ID:V6ApQNCT(1) AAS
だよナ
386: 07/21(火)10:33 ID:jOSA88iL(1) AAS
既存のLeanでは、HoTTのUnivalenceを定理として導入することはできない。通常は公理（axiom）として追加するしかない。そして、公理として追加した場合、その公理に対応する計算規則（computation rule）がないため、その部分はカーネルによる計算・簡約（reduction）ができない
これに反論できるleanの専門家いるの？
まぁHoTTを要するかは別問題だが、トートロジカルな部分の型計算って意味では、AIは真っ先にキュービカルAgdaを思いつくらしいね
387: 07/21(火)10:59 ID:5xceQTWC(1) AAS
HoTTであち～
388(1): 07/21(火)11:04 ID:diu0Idzx(1/2) AAS
speciesは何らかの数学上の「概念」で
mutationはある「概念」を別の「概念」に引き写す操作
みたいな？
なんか圏論（object/morphismとfunctor）と大して違いないような
389: 07/21(火)11:07 ID:IQ1y4DK2(2/2) AAS
>>388
みんな思ってるけど、言ったらブログで罵倒されるから言えないだけ
390: 07/21(火)11:13 ID:MquMtAhh(1) AAS
ブンゲンは昔から絶対にIUTが正しいとか一言も言ってない
新しい体系が必要とか素人向きの本書いたり
ZEN大学で企画ぶち上げたりLANAにかんだり
望月の親友ポジを強調するだけで真偽は自分にはわからないで
一貫してるよ
391(1): 07/21(火)11:19 ID:9lPB4r8c(2/4) AAS
圏論ベースだからね
標準的な圏論との違いは複数の宇宙とその間の通信（Θ-link）を考えること
392: 07/21(火)11:28 ID:Lks9T9bp(3/3) AAS
そして望月が思った以上にとてつもなくデカいlog-shell
393: 07/21(火)11:42 ID:g8yakgFo(2/2) AAS
ぶんげんってスネ夫だもんね完全に
チャンスがあればジャイアンの寝首も平気でかくw
394: 07/21(火)12:28 ID:kV9kxYTJ(1) AAS
ブンゲンは最悪トンズラできるように私はIUTを理解していないスタンスを取ってるからな
395: 07/21(火)12:53 ID:B/i3Ot9C(1/2) AAS
無駄に改行入れて的外れなLLMコピペ連発するIUT擁護派の精神分裂w
396: 07/21(火)13:12 ID:diu0Idzx(2/2) AAS
>>391
複数の圏とその間の関手でいいのでは
397: 07/21(火)14:51 ID:/fTizQNY(3/5) AAS
text【微分方程式 y' = -e^(-xy) (y(0) > 0) の有限時間発散の厳密な証明】
この方程式の解が、有限の x で「必ず -∞ に発散（爆発現象）する」ことの証明の大筋です。
論理は以下の2ステップで完結します。
1. 負の領域への進入（背理法）
すべての x >= 0 で y(x) >= 0（正のまま存在）と仮定します。
このとき積は常に xy >= 0 なので、指数関数の性質から e^(-xy) <= 1 です。
元の式に当てはめると、導関数の上界は常に y' <= -1 となります。
これを 0 から x まで積分すると、 y(x) <= y(0) - x が得られます。
右辺は直線的に減少するため、x > y(0) では y(x) < 0 となり、最初の仮定に矛盾します。
したがって、解は永遠に正のままではいられず、有限の x で必ず 0 を通過して負の領域に入ります。
省14
398: 07/21(火)14:51 ID:/fTizQNY(4/5) AAS
誤爆 orz
399(1): 07/21(火)14:55 ID:/fTizQNY(5/5) AAS
AI 優秀すぎる
400: 07/21(火)15:37 ID:B/i3Ot9C(2/2) AAS
>>399
知的障害者にはそう見えるんだろうな
バカがLLM使っても無駄な実例
そもそも文脈もないゴミを掲示板に貼り付けてクソ漏らすところが既に精神分裂
401: 07/21(火)17:37 ID:n06kHoGH(1) AAS
ショルツも間違ってたんだよバーカって言いたいからここまでグダグダ引き伸ばしたのか
402: 07/21(火)19:09 ID:9lPB4r8c(3/4) AAS
ショルツェは何も間違ってない。彼はIUT語で書かれたIUTを無理やり数学に翻訳したうえで証明に失敗してると言った。
一方LANAは形式化に失敗し、IUT語で書かれたIUTは数学ではないと言った。
どちらも本質的には同じこと。
403: 07/21(火)19:20 ID:9lPB4r8c(4/4) AAS
つまり、望月は不当なsimplificationだと批判したが、そもそもIUTが数学になってないからsimplificationしたまでであって、問題の根本はIUTが数学でないことだ。
間違いなのではなく、そもそも正誤を判断する対象ですらない（Not even wrong）。
404: 07/21(火)19:28 ID:u/7sGhoh(3/3) AAS
ホントその通り
それなのに問題点を指摘したS-Sを悪役にして
指摘を罵倒で返したMや論文を通したRIMSは無問題って
控えめに言っても（自粛）ですね
外部ﾘﾝｸ:note.com
＞Scholze-Stix報告は、その影響力の大きさから、IUTは単純に
＞間違っているという印象を強く世界に押印しましたが、
＞それは非常に不幸なことだったと思います。"
405(1): 07/21(火)20:39 ID:Sbbv0w/u(2/2) AAS
アティヤがリーマン予想証明した言うても向こうの人も半信半疑だったのに日本人だとなんでこうなっちゃうんだろうね
406: 07/21(火)21:54 ID:IaiRgbSK(1) AAS
加藤和也の名前の字面がいつ見ても加法的整数論
407: 07/21(火)22:43 ID:cX3LD5gv(1) AAS
世界で2番目のIUT理論研究拠点
IUGC (後に突然ZMCへ改称)を設立
⚫︎加藤文元所長.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
⚫︎アナウス.
abc予想を解決したIUT理論。
1.
加藤文元発言とアナウスは
原因と結果の因果律も矛盾している
⚫︎
省25
408: 07/21(火)23:28 ID:H9CC5wyx(1) AAS
IUTほど徹底してIUT語を前面に出して比較写像を無視した
「比較不能性」理論の中核原理に据えた数論は前例がありません。
409: 07/22(水)00:20 ID:opwAmroW(1/2) AAS
>>405
忖度が美徳の国ですから
410(2): 07/22(水)00:48 ID:zsnSMjE4(1) AAS
なんかXに3.12の解決策みたいなのを提示している人がいるな
アカウントがキリル文字の人
411: 07/22(水)05:52 ID:opwAmroW(2/2) AAS
>>410
何で論文で出さんと？
412: 07/22(水)07:36 ID:d0DXYLLw(1) AAS
ようやく国外でも報道があったよ
外部ﾘﾝｸ:www.newscientist.com
Effort to solve biggest controversy in mathematics has made no progress
『進展なし』だってさｗ
＞“Most people believe that there is a serious gap,”
＞“And I think that this particular report is fully consistent
＞with that: it has not managed to formalise it, which is what
＞we would expect if this big theory had some serious gaps.”
結局「人間に理解できる証明がないのに形式化なんて出来るわけない」
って前々から言われてた通りの結果になったよね
省4
413: 07/22(水)08:10 ID:uJ7mtINc(1) AAS
>>410
IUTの難しさは望月が思春期の女ぐらいの気持ちで禁止してることと許可してることを雰囲気で決めてるからで、最近のタオがやってる謎の解析のほうが完全に難しいだろ
とか言ってるしもう弄ってるだろコレ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.672s*