[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
113(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/04(火)07:28 ID:yzUd5nV9(1/9) AAS
>>110
>>2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>2025年3月号のその記事の何ページの何行目に書かれてますでしょう？
ご苦労さまです
いま手元にないので、記憶で書くと
1）池上大祐記事の最後の結論は
フェルマーの最終定理の証明に、将来にわたって
グロタンディーク宇宙なしのZFCだけの証明が可能かどうかは不明
2）現状では、グロタンディーク宇宙を使った
グロタンディークのEGAやSGAの議論とその発展形の数学が使われている
ということだったと
記憶している
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Grothendieck universe
外部ﾘﾝｸ:ja.wikipedia.org
グロタンディーク宇宙
上下前次1-新書関写板覧索設栞歴
あと 889 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.214s*