[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
619(1): 06/05(木)00:56 ID:Bw2dEODy(3/26) AAS
なぜ「種」という概念が必要なのか？（IUTTにおける役割）
IUTTは、非常に異なる数学的文脈（論文中では「宇宙 (universe)」や「ZFCモデル」と呼ばれる、数学的対象が存在する枠組み）にまたがる対象を比較したり、関連付けたりしようとします。従来の数学の道具立てでは、異なる宇宙に属する対象を直接比較するのは困難です。
ここで「種」の概念が重要になります。
宇宙からの独立性（宇宙際性）:
「種」は、具体的な宇宙（ZFCモデル）に依存しない、抽象的な集合論的数式（ルール）として定義されます。そのため、異なる宇宙にあっても、「同じ種に属する標本」であれば、それらは同じ設計図から作られたものとして認識できます。これにより、宇宙の壁を超えて対象を比較する道が開かれます（論文IVページ71、Remark 3.1.4。「宇宙際幾何学」）。
論文の言葉を借りれば、種は宇宙の拡大に対して「不変 (immune)」です。
∈-ループのシミュレート:
省8
693: 06/07(土)11:02 ID:7dNqVJgc(24/57) AAS
>>618-623
これ見れば圏の定義を非標準的に改変してるのではなく
圏を内包するメタ概念を提唱してるとわかる
そのメタ概念に触れずに批判が成り立つわけなく
何が書かれてるのが読めてないと確定するだけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s