[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 26 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
869(2): 2018/05/02(水)19:42 ID:f/uzGEUx(1/6) AAS
>>867-868
＞IUTTは意味論的には不可能ではない
＞絶対遠アーベル幾何学と宇宙際性が矛盾しないかどうか
＞絶対遠アーベル幾何学はで行けるところまで行ったらZFC的に宇宙際幾何学になってしまった
もう少し解読可能な日本語で頼む
880: 2018/05/02(水)20:45 ID:1tlEMDgY(7/22) AAS
そこまでやってるなら>>869の問題は大体わかっているのでは？
IUTTが意味論的に可能かどうかは「特定の環論での対象を抽象化できるか」どうかによる
FrobenioidとAnabelioidでは既にその設定を行っているし
モデル理論的な意味での意味論つまり構造的な条件は問題がない
分解対象としてはスキームがある
更にモノイドがあり、絶対ガロア群かつトポス対象としての基本群があり、抽象位相群がある
全てはその素材で構成されるのだから、理論自体が不可能ということはない
895: 2018/05/02(水)21:33 ID:1tlEMDgY(16/22) AAS
>>869と>>879は明らかに矛盾してるのわからないの？
しかも自分は全く「数学」の話なんかしてないじゃん
したいなら逃げないでしてみなよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s