[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
Inter-universal geometry と ABC予想 39 http://rio2016.5ch.net/test/read.cgi/math/1559125072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
998: １３２人目の素数さん [sage] 2019/07/06(土) 21:37:42.77 ID:VjsFe2sY ↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です つまり単なる印象で具体的なエビデンスの話ではない http://rio2016.5ch.net/test/read.cgi/math/1559125072/998
999: １３２人目の素数さん [sage] 2019/07/06(土) 22:23:23.41 ID:VjsFe2sY SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、 スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事 おおざっぱに言えば結局「同じ素材」でできているものだが、そこで全域定義されているはずの写像が何故 精妙な非同型として区別された非自明な特異性を持ちうるのか？ フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない 色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ http://rio2016.5ch.net/test/read.cgi/math/1559125072/999
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s