Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
803(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:42 ID:JgP2aXhR(13/14) AAS
>>796
>それで圏論？それで二階論理？何言ってんの？
いやー
マジレスすると
前にも書いたが
下記の 数学セミナー 池上大祐”フェルマーの最終定理はZFCの下で証明できるか？”
私見だが 二つ
省16
805(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:54 ID:JgP2aXhR(14/14) AAS
>>802
(引用開始)
IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
＞Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
(引用終り)
省21
808(1): 09/07(日)07:00 ID:CTxYlvA3(2/14) AAS
>>803
>”フェルマーの最終定理はZFCの下で証明できるか？”
>私見だが（理由）二つ
>１）グロタンディーク宇宙＋圏論の力
>２）圏論は 高階論理
>これが効いている気がする
>もちろん、IUTもだ
省9
850(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)16:38 ID:hvfvmXnW(4/6) AAS
>>808
>ワイルズはグロタンディク宇宙とか使ってないだろ
ド素人だな
ワイルズは、グロタンディクの数学を縦横に使っている
どこにどう グロタンディク宇宙かは 知らないがね
だから 使っていないとは 絶対に言えないよ
というか、いまさら だれも グロタンディクの数学
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s