Inter-universal geometry と ABC予想 (応援スレ) 74 (895レス)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
803: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/06(土) 21:42:47.37 ID:JgP2aXhR >>796 >それで圏論?それで二階論理?何言ってんの? いやー マジレスすると 前にも書いたが 下記の 数学セミナー 池上大祐”フェルマーの最終定理はZFCの下で証明できるか?” 私見だが 二つ 1)グロタンディーク宇宙+圏論の力 2)圏論は 高階論理 これが効いている気がする もちろん、IUTもだ フェルマーの最終定理の1995年 証明あたりから 21世紀の数学は ZFCだけでは 足りないのでは? (参考) https://www.nippyo.co.jp/shop/magazine/9438.html 数学セミナー 2025年3月号 集合論の雑学――無限についてのおはなし フェルマーの最終定理はZFCの下で証明できるか?/ グロタンディーク宇宙と到達不可能基数 ……池上大祐 60 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86 フェルマーの最終定理 1995年にアンドリュー・ワイルズによって完全に証明され http://rio2016.5ch.net/test/read.cgi/math/1755784703/803
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 92 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s