[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
243(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)22:18 ID:yzUd5nV9(6/9) AAS
>>235-238
ふっふ、ほっほ
一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
>つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
数学セミナー 2025年3月号 池上大祐
を、書棚の肥やしの中から引っ張り出してきた （＾＾
池上大祐の書いている趣旨は
1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
省13
244: 11/04(火)22:44 ID:54iK+QXE(4/4) AAS
>>243
その通り
彼は「分からない」としています
>1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
> 代数幾何の理論（圏論）が使われていた
正確には
「グロタンディークが展開した代数幾何の基礎理論（スキーム論ですかね）を用いるため、宇宙の公理、とくに、可算でないグロタンディーク宇宙の存在を仮定していることになります」
ですが
スキームを使う上でグロタンディーク宇宙が必要ということではないのでは？
あれば対象を集合に「制限して」集合論的な困難を回避できるかも知れませんが
省5
245(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)23:22 ID:yzUd5nV9(7/9) AAS
>>243 補足
検索してみると (google検索)：
Colin McLarty,The Large structures of Grothendiek founded on finite-order arithmetic. Rev.Symb.Log
で、結果は下記
＜検索結果＞
The large structures of Grothendieck founded on finite ...
arXiv
外部ﾘﾝｸ:arxiv.org›math
このページを訳す
C McLarty 著 · 2011 · 被引用数: 14 — We formalize the practical insight by founding the theorems of EGA and SGA, plus derived categories, at the level of finite order arithmetic.
省27
248: 11/05(水)00:18 ID:y45LWemW(1) AAS
>>243
お前にまとめられるわけないやろカス
俺の書いてる話1ミリもわからんくせに何いうとんじゃ能無し
fltの証明にグロータンディックのユニバースなんぞ1ミリも使われとらんわ
その記事にある意味はグロータンディックユニバース使えばちょっと細かい議論を回避できん事もない程度の意味しかないわカス
お前にfltの証明レベルの話が理解できるわけないやろゴミ
254(1): 11/05(水)11:38 ID:Z1J+lKlF(1/4) AAS
>>243
カラスの世田は、数セミの記事すら、まともに読解できない（笑）
ーーーーーーーーーーーーーーーーーーーーーーー
数学セミナー 2025年3月
集合論の雑学 無限についてのおはなし 池上大輔
連載 第12回
フェルマーの最終定理はZFCの下で証明できるか？
グロタンディーク宇宙と到達不可能基数
１．イントロダクション
学部生時代に後輩が院生の先輩にした質問
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s