Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
787(2): 09/06(土)13:17 ID:1Qoa8Sie(1/7) AAS
人工無脳だから処理できないことはなかったことにして無視
・無限回の操作は正当化されない
・グロタンディーク宇宙の定義はひとつ
・グロタンディーク宇宙は集合（従ってフォンノイマン宇宙の一部）
この程度のことはアップデートしておいてね
790(1): 09/06(土)15:27 ID:DLHtgH0o(6/8) AAS
>>786
>数学関連の無限操作も 認めていく方が
>21世紀の現代数学として健全な メンタルピクチャーになる
>と思います
何言ってんだこいつ
>形式的冪級数が 厳然とあって
>解析函数のテーラー展開 は、
省17
791: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)19:28 ID:JgP2aXhR(7/14) AAS
>>787
>・無限回の操作は正当化されない
その考えだと、20世紀後半から21世紀の数学の理解は難しいだろうね
>・グロタンディーク宇宙の定義はひとつ
下記”グロタンディーク宇宙と強到達不能基数の間の別の同値性を与える”とあるよ
つまり、選択公理と同値な定義が複数あるのと同じ
>・グロタンディーク宇宙は集合（従ってフォンノイマン宇宙の一部）
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s