[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
825(2): 野暮天 2020/04/14(火)17:17 ID:KeVcPD0N(19/51) AAS
今後の展開
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
３．IUTが圏論の拡張となると示されABC予想の証明が認められる （望月大勝利）
４．IUTは理論として理解されずABC予想の証明もギャップありで認められず （望月 忘却される）
まあ、４じゃろな
826(1): 野暮天 2020/04/14(火)17:20 ID:KeVcPD0N(20/51) AAS
>>825
1と同様の例：内包公理による素朴集合論
2と同様の例：ユークリッド幾何に対する双曲幾何
3と同様の例は・・・いい例が思いつかんから誰か教えてくれんかのう
828: 野暮天 2020/04/14(火)17:25 ID:KeVcPD0N(21/51) AAS
>>825-826
強いていえばこんな感じかのう
3と同様の例：到達不可能基数の存在公理を追加したZFC
しかし、この場合、>>825の「望月大勝利」はちょっと違うのう
書き直すとこんな感じかのう
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s