[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
321(1): 2020/05/09(土)07:03 ID:/BYRDNlz(2/2) AAS
>>315
＞些末な話よ
指摘したTao自身が「（IUT-?で）第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、ZFC拡張は証明に影響を与えるものではない」と言ってるしね。 ｗ
下記DeepL翻訳の「このブログのコメントを参照してください」での記憶だけど、
＞(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、
より完全に普遍的なテイヒミュラー理論を発展させることを検討しています
（この部分はabc推論への応用には必要ありません）
省8
322: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)07:12 ID:NFbqSkQk(3/12) AAS
>>316-321
皆さん、コメントありがとうございます
やっぱり ちゃんと 確認しないとまずいよね（＾＾；
テレンス・タオのGrothendieck宇宙の発言確認ありがとう
ああ、そういうことだったんだ。よく分かりました（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s