25/11/03 23:37:26.27 RGcnI1b5.net
>>97-98
>具体的に
>何年何月の連載の何ページの何行目と書いてくれるだけでも良いですよ
新参ものか
これは、すまんかった
前スレより再録
ｽﾚﾘﾝｸ(math板:944番)
>グロタンディーク宇宙の公理を満たすモデルが
>存在するかなんて分からんけど
>グロタンディーク宇宙の公理を仮定することで
>abc予想がもし証明できればすごい業績だろ
>逆にリーマン予想はどうせ正しいだろうけど
1）グロタンディーク宇宙の話は、下記の
数学セミナー 2025年3月号 池上大祐
「フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数」
をご参照
2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
ということだった
というのは、フェルマーの最終定理の証明には、谷山-志村予想の証明(の一部）
を使うが、谷山-志村にはグロタンディークの代数幾何の理論が必要で
それには、グロタンディーク宇宙（それは圏論の一部）が使われているという
3）個人的には、フェルマーの最終定理は 整数しか登場しないから 純整数範囲で済みそうに思うが
歴史的には、整数論は 代数的整数論と解析的整数論があって
高等数学では、整数論は 全く 整数の範囲には収らないのです
(参考)
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年3月号
集合論の雑学―無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
……池上大祐 60