[過去ﾛｸﾞ] IUTを読むための用語集資料スレ2 (489ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
178(2): 2021/10/06(水)11:49 ID:6qp+V25O(1/4) AAS
外部ﾘﾝｸ[html]:books.j-cast.com
books.j-cast
「ABC予想」が数学の学会誌に掲載されない理由
2020/3/18 （ 森永流）
解決への道筋を示す
素数の積をめぐっては、こんなことが言えるかもしれない。つまり、自然数の定義だ。1に1を足していって作られたものだとする「ペアノの公理」がよく知られる。足し算による定義だ。一方、かけ算でも定義できる。自然数はすべて素数の積に分解できるので、それをすべて作って小さい順に並べる方法だ（ただし1は素数の0乗）。数をそんなふうに見ると、足し算とかけ算は独立していて分離できるかもしれないと思えてくる。
加藤さんの説明を掻い摘んでIUT理論を紹介するとこうだ。
省8
179(1): 2021/10/06(水)11:49 ID:6qp+V25O(2/4) AAS
>>178
つづき
いよいよ本論。加藤さんはここで、これまで「かけ算を伸び縮みさせた舞台」と呼んでいたものを示す。その舞台とは、現実舞台の「q」を伸縮舞台での「qのｎ乗」に対応させたものだ。これはLogを用いると、「Ｎ Log ｑ≒Log ｑ」（両項を結ぶのは近似であることに注意）と表される。Log（けた数）と先に出てきたdegの違いは、ここでの理解の上では考えなくてよいそうだ。同じようなものと考えていい。
数式の流れで表すと、こうなる。
Ｎ Log ｑ＜Log ｑ＋c（Ｎ Log ｑ≒Log ｑだから、正の数値を加えると「＜」になる）
→deg Θ≦deg q＋c
→deg qは小さい、つまりc ? d＾（1＋ε）のεは小さい
省4
180: 2021/10/06(水)11:59 ID:6qp+V25O(3/4) AAS
>>178-179 補足
（引用開始）
・異なる数学の舞台（IUT理論ではuniverses、加藤さんの比喩では、足し算、かけ算が切り離されてかけ算だけを伸び縮みさせた世界）を設定。現実世界に計算者がいて、そこにテレビがあって画面の中に同じ計算者がいる。ただし２つの計算者は同じだが掛けられる制約が異なっている――というふうに舞台は現実世界も含めて入れ子式になっている
・計算の群論的対称性（計算方法のレシピ）を、各計算者に計算の対象や計算方法を伝達
・受信した対称性を基に、それぞれの舞台で元の計算の対象や計算方法を復元。計算を実行する
・対称性の通信や復元で生じる不定性・ひずみ、つまり計算結果のサイズの違いを定量的に評価して不等式を導く
(引用終り)
省12
181: 2021/10/06(水)12:07 ID:6qp+V25O(4/4) AAS
これいいね
外部ﾘﾝｸ:jbpress.ismedia.jp
JBpress (ジェイビープレス)
超難解な「宇宙際タイヒミュラー理論」に感動
HONZ特選本『宇宙と宇宙をつなぐ数学』
2019.6.4（火）
歴史上の天才たちをはるかに凌駕
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s