Inter-universal geometry と ABC予想 (応援スレ) 74 (892ﾚｽ)
上下前次1-新
803(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:42 ID:JgP2aXhR(13/14) AAS
>>796
>それで圏論？それで二階論理？何言ってんの？
いやー
マジレスすると
前にも書いたが
下記の 数学セミナー 池上大祐”フェルマーの最終定理はZFCの下で証明できるか？”
私見だが 二つ
１）グロタンディーク宇宙＋圏論の力
２）圏論は 高階論理
これが効いている気がする
もちろん、IUTもだ
フェルマーの最終定理の1995年 証明あたりから
21世紀の数学は ZFCだけでは 足りないのでは？
(参考)
外部ﾘﾝｸ[html]:www.nippyo.co.jp
数学セミナー 2025年3月号
集合論の雑学――無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
……池上大祐 60
外部ﾘﾝｸ:ja.wikipedia.org
フェルマーの最終定理
1995年にアンドリュー・ワイルズによって完全に証明され
上下前次1-新書関写板覧索設栞歴
あと 89 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s