[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
721(1): 2022/01/03(月)18:49 ID:GjWUcXkn(1) AAS
前スレ2chｽﾚ:math
に戻るけど、
>822１３２人目の素数さん2021/12/26(日) 07:30:13.92ID:sq730M9g
>>819
>(IUT)理論の「定義」で、無限において有限値に収束させるので、
>圏/(圏と同値)を用いたのでは
>マジレスだが、圏にどういう同値関係を入れたんだ？
は、望月が（証明抜きの）構想でそう書いていた。
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
これは”基礎の公理”で、655氏の§1.2の下記引用の直後に書かれていた。
省9
722(2): (帝国中央都市) 2022/01/03(月)19:13 AAS
>>721
2chｽﾚ:math
>(IUT)理論の「定義」で、無限において有限値に収束させる
質問１
IUTで有用なのはぶっちゃけ
「無限において有限値に収束させる”計算”」
といっていい？
質問２
質問１の”計算”を正当化するのに、”∈ループ” a∈a は不可欠？
質問３
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.275s*