Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

821(1): 08/20(水)00:52 ID:FFMsJxNV(1/16) AAS
>>820
>現実の実行が不可能だからといって、頭の中で行う数学の操作を有限に制限するべきと妄想する君の意図がわからんｗｗ
誰も現実うんぬんの話はしていない。数学の話をしている。
無限項の和なるものは well-defined でない。違うと言うなら定義を示せよ。話はそれからだ。

836(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/20(水)07:21 ID:faz+vbtX(1/2) AAS
>>821-825
(引用開始)
>ZFで無限公理を認めるとは無限操作を認めることだよ
正反対。
無限公理が存在することが無限操作を認めない証拠。
なぜなら仮に無限操作を認めるとしたら対の公理の無限回適用で帰納的集合を構成でき、無限公理は不要だから。
(引用終り)
省27

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.043s