Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
727(5): 09/04(木)11:20 ID:YqcoVM+6(1/8) AAS
１）下記”玉川安騎男(京大数理研) 遠アーベル幾何学の過去.現在.未来”
多分、ここにIUTも入るだろう
２）さて、IUT INTER-UNIVERSAL TEICHM¨ ULLER THEORY I （下記）で
Fig. I1.4〜Fig. I4.1 を見る限り、今日の基礎論でいうところの UNIVERSAL（宇宙）とは ちょっと違う用語の使い方だと思う
３）宇宙 (数学)：特定の状況において考察される実体のすべてを元として含むような類のことである
グロタンディーク宇宙にも 何通りかの定義があるようだが、フォン・ノイマン宇宙と対比されるとき
ZFC フォン・ノイマン宇宙Vでは、圏論にはちょっと狭いよと グロタンディークは考えて もう少し広いグロタンディーク宇宙Uを考えた
省29
728(1): 09/04(木)11:21 ID:YqcoVM+6(2/8) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
外部ﾘﾝｸ:ja.wikipedia.org
グロタンディーク宇宙（英: Grothendieck universe、仏: Univers de Grothendieck）は次の性質をもった集合 U である[1]：
省20
730(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/04(木)11:38 ID:YqcoVM+6(3/8) AAS
>>720
(引用開始)
◆yH25M02vWFhP のメンタルピクチャ―（ｗ）
１．数学では、1/(1-x)=Σ(n=0〜∞)x^nである
２．だから1/(1-x)を計算すれば、x^nを無限回加算したことになる！
３．ゆえに数学は無限回加算を認めている！
正真正銘の🐎🦌
省28
732: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/04(木)12:20 ID:YqcoVM+6(4/8) AAS
>>726
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます
今後ともよろしくお願いいたします
735(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/04(木)13:30 ID:YqcoVM+6(5/8) AAS
>>733
(引用開始)
グロタンディクは上記３点すべて
・無限”回”の積
・無限”回”の直和
・無限”回”の共通集合
で実現してるかい？
省43
738(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/04(木)13:45 ID:YqcoVM+6(6/8) AAS
>>734
>「圏を一階述語論理で公理化する」で検索してな
多分、それはそれでありと思うが
時代は、脱一階述語論理だと思うよ
下記 ゲーデルの加速定理
『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在するというものである』
脱一階述語論理を進めないと
省28
740(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/04(木)13:49 ID:YqcoVM+6(7/8) AAS
>>736
？？？？
Ｑ：
グロタンディクは上記３点すべて
・無限”回”の積
・無限”回”の直和
・無限”回”の共通集合
省5
742(2): 09/04(木)13:52 ID:YqcoVM+6(8/8) AAS
>>739
ふっふ、ほっほ
>>740な ；ｐ）
あとは
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s