Inter-universal geometry と ABC予想 (応援スレ) 78 (726ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
633(2): 11/27(木)12:39 ID:9VuaL8wc(1/4) AAS
>>630
証明しませんよ
nを特定せずしかしそれは個別のnと認識して証明します
>>628
はぁ
>>629
これはどうかな
f:A→A:mono → epi
634: 11/27(木)12:41 ID:9VuaL8wc(2/4) AAS
>>633
>nを特定せずしかしそれは個別のnと認識して証明します
つまり
P(n)
-----
∀n P(n)
ですね
635: 11/27(木)12:44 ID:9VuaL8wc(3/4) AAS
>>628
>それウソね。個別に証明なんてしてないよ
>実際に証明読んでる？理解できてる？
だから（無駄であろうが）と書いたんだけど
S6だけ単独S7だけ単独で証明することができる
つまり個別に幾らでも証明することができるわけで
群論の場合
群の公理から証明できることつまり群一般に成立すること許りでなくて
モデル自体に付いての性質をテーマとすることも可能だし実際多いと思うね
636(2): 11/27(木)12:49 ID:9VuaL8wc(4/4) AAS
>>632
>だと、口の悪い人は IUTを罵倒する。その筆頭が、Scholze氏です
彼が論難してるのはCor 3.12で
それはIUT IVじゃなくてIIIなのでは？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.062s*