[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
997
: 2019/07/06(土)21:35
ID:VjsFe2sY(1/3)
AA×
>>981
>>996
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
997: [sage] 2019/07/06(土) 21:35:50.04 ID:VjsFe2sY >>981 実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、 つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、 これは個人的には、存在論的には確かに面白い性質にはなっていると思います ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている それを通じて任意の宇宙は別の宇宙を内部から解釈することができる それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、 直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、 同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね どちらかというと、狙い通りにするための強引な構成と、色々な要素をぶっこんで万能感を満たしたい欲求が 見て取れるような気はしますけどね、意地悪かもしれませんが >>996 というか、それまで真剣に読んでた人がどれだけいたのかもよくわからんからね ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった http://rio2016.5ch.net/test/read.cgi/math/1559125072/997
実際には宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はだから構わないと つまりとは特に矛盾しないという言い方に落ち着きましたね宇宙を各言語と見なすと これは個人的には存在論的には確かに面白い性質にはなっていると思います ここで宇宙が言語であるといっても一次言語は絶対遠アーベル幾何学的な共通語になっている それを通じて任意の宇宙は別の宇宙を内部から解釈することができる それについてラベルを導入するというのも含めて要は計算機科学的というのはここでは構成的 直観主義論理的な考えとして相性は良いのかもしれない拝中律は直観主義では統制的な縛りではないが 同じようにでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない ただスキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね どちらかというと狙い通りにするための強引な構成と色な要素をぶっこんで万能感を満たしたい欲求が 見て取れるような気はしますけどね意地悪かもしれませんが というかそれまで真剣に読んでた人がどれだけいたのかもよくわからんからね ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 5 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.045s