Inter-universal geometry と ABC予想 (応援スレ) 73 (845ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
820(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/19(火)23:28 ID:6rG8V9j8(4/4) AAS
>>808-818
なんだ？ IDが3つだが、一人？ｗ ；ｐ）
>無限操作なんてものは実行できない
>実行できないものをできると妄想することから
>精神の荒廃が始まる
ふっふ、ほっほ
君は、数学的思考が理解できないらしいな
「無限操作なんてものは実行できない」か
笑えるｗｗｗ
数学は あくまで思念の産物であって、頭の中で考えるものだ
操作は頭の中で行うもの
現実の実行が不可能だからといって、頭の中で行う数学の操作を有限に制限するべきと妄想する 君の意図が
わからんｗｗ
下記の de.wikipedia Unendlichkeitsaxiom
(google英訳) Infinity axiom を 見てたもれｗ
要するに Infinity axiom とは
”N:={x∈I∣∀z(z inductive ⟹ x∈z)}”を 実現するものだ
”inductive”は、mathematical induction 即ち 数学的帰納法 だね
無限公理は、加藤文元氏 メンタルピクチャー 風にいえば>>819
”inductive”を無限回やっていいってことよ
”Without the infinity axiom”では、そうならないとある
お分かりか？ ZFで無限公理を認めるとは 無限操作を認めることだよ
もちろん、ZF+無限公理で導ける無限操作だ
が、大概の無限数学はZFCで間に合うらしいなｗ ；ｐ）
(参考)
外部ﾘﾝｸ:de.wikipedia.org
Unendlichkeitsaxiom
(google英訳)
Infinity axiom
Natural numbers
By the existence of at least one inductive set I together with the exclusion axiom,
the existence of natural numbers as a set is also ensured:
N:={x∈I∣∀z(z inductive ⟹ x∈z)}
The natural numbers are therefore defined as the intersection of all inductive sets, as the smallest inductive set.
Infinite quantities
Without the infinity axiom, ZF would only guarantee the existence of finite sets. No statements could be made about the existence of infinite sets. The infinity axiom, together with the power set axiom , ensures that there are also uncountable sets, such as the real numbers.
外部ﾘﾝｸ:ja.wikipedia.org
数学的帰納法（英: mathematical induction）
821(1): 08/20(水)00:52 ID:FFMsJxNV(1/8) AAS
>>820
>現実の実行が不可能だからといって、頭の中で行う数学の操作を有限に制限するべきと妄想する 君の意図がわからんｗｗ
誰も現実うんぬんの話はしていない。数学の話をしている。
無限項の和なるものは well-defined でない。違うと言うなら定義を示せよ。話はそれからだ。
822(1): 08/20(水)01:56 ID:FFMsJxNV(2/8) AAS
>>820
>要するに Infinity axiom とは
>”N:={x∈I|∀z(z inductive → x∈z)}”を 実現するものだ
また幻視？ 書かれてないことが見えるのは病気だよ
>”inductive”は、mathematical induction 即ち 数学的帰納法 だね
はい、大間違いです。
"z inductive"は「zは帰納的である」という命題関数。
君、勝手読み癖治らんね。論理を知らんから妄想で勝手読みする。論理勉強しろよオチコボレ。
>無限公理は、加藤文元氏 メンタルピクチャー 風にいえば>>819
>”inductive”を無限回やっていいってことよ
はい、大間違いです。
無限公理の論理式のどこにも「無限回やってよい」だの「無限回」だの「無限」だのは書かれてません。
勝手読みしてなんちゃらピクチャーだの妄想しても間違うだけ。
その証拠に君、いつも口を開けば間違いだらけじゃん。
また”inductive”は帰納的という意味だから「”inductive”を無限回やる」はそもそも意味が通りません。
もうズタボロだね君。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.032s