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