[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
464: 2019/11/26(火)20:36 ID:C+e1JA6H(1/4) AAS
>>444氏や>>449氏は明らかに誘っているよね。蟻地獄のような感じでｗ
私（>>430）でもIUT理解者や支持者を偽装して答えられそうな内容だよ
こういう疑問や批判に対しては、IUTの概要を知っていれば簡単に答えられる
しかし、IUT用語でその論理をつなげるだけにしかならないので、それが正しいのかということは断言できない
>>430についても主論文、望月反論レポ、エイリアン論文を読んでいれば簡単に答えられるはずだよ
だが、私自身納得できないし、当然相手を納得させることはできない。
>>423氏がB本人だとは思わないけど（でもあんな本書いて宣伝に躍起になっているくらいだからありえるかもしれんｗ）、
省1
465(2): 2019/11/26(火)21:04 ID:C+e1JA6H(2/4) AAS
まあ散々このスレで書いてきたことばかりで面倒くさいのだけど、slimアナベリオイドとslimカテゴリーについては軽く触れただけだったな
これがIUTの宇宙際幾何学の根幹、大前提だと思う
この幾何学、望月独自の圏論があって初めてクンマー理論＋単遠アーベル的復元/構成による（充満）多重同型が成り立つ
そして、ラベルの使用と管理というのは、充満多重同型が成り立ち、スウィッチング・プロパティによって
非常に似ているが異質な環構造を操作し、ループ式入れ子宇宙によって単解構造から所望の不等式を導くために必要とされるものだ
このループ式入れ子宇宙というのは、slimアナベリオイド、slimカテゴリーが前提となっている。これは二次圏ではない
・・・・・・と、まあこんな感じで大雑把には書けるｗ
省3
468(1): 2019/11/26(火)21:27 ID:C+e1JA6H(3/4) AAS
例えば、>>449氏への反論の一つの例としては、
＞十分に圏論的な抽象化を図っておいて、その上で抽象と具象を結びつけるために「ラベルの管理」とかいう
＞一種の心理学？または形而上学？を持ち出しちゃった
「それはSSが充満多重同型を納得できず不必要・無意味として切り捨て、単遠アーベル的復元/構成を無視し、
クンマー理論による自然同型のみを認めIUTをブチ壊し、それに同調したロバーツPDFの補遺と同じだよね。
なんで充満多重同型が納得でないことをもっと詳しくSSは説明しなかったの？自明だから？ｗ」
・・・・・・みたいなことを言うこともできる。私の本音ではないがｗ
471(1): 2019/11/26(火)22:54 ID:C+e1JA6H(4/4) AAS
理解可能で、理解できたものは忘れることはほとんどないけど、理解不能なものはすぐに忘れちゃうんだよね
IUTスレに書き込むのは数か月ぶりだけど、結構忘れていることも多いと思う
それを踏まえて、
>>469
simulate a∈aだが、種の言語とloops of mutationsであり、基礎の公理には反せずZFCから外れてないという望月の主張の話ですかね？
これは望月のIUT初期構想からあり、IUT・?最終節はTaoなどは今後のIUTの展開のためではないかと述べていましたが、
私はIUTの着想、基本構想そのものだと思っています
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s