[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
801(7): 2022/01/05(水)18:30 ID:e8SHhrC8(1/3) AAS
>>798
何にも分かってないんですね。
無限公理は{}を要素としノイマン構成で用いられる後者関数について閉じた集合(帰納的集合)の存在を主張しています。ZFにおいて自然数全体の集合Nは{}を要素とするあらゆる帰納的集合の共通部分で定義されます。無限公理はこの定義がwell-definedであるための必要条件です。{}を要素とする帰納的集合の存在が保証されていなければNは絵に描いた餅に過ぎませんから。
ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
807(3): 2022/01/05(水)21:19 ID:KQN0RShS(5/5) AAS
>>801-802
ふーん、IDを消した人、居なくなったねｗ
>>801-802のID:e8SHhrC8氏と、>>795の ID:nF1aC3meと
同一人物で、>>7のサイコパスのおサルさんかな？ｗｗ
(引用開始)>>7
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」
(引用終り)
それ、>>798で要求している
”ノイマン宇宙やレーヴェンハイム-スコーレムの定理と整合する説明をね”
省24
811: 2022/01/05(水)22:21 ID:nF1aC3me(4/5) AAS
>>807
>それ、>>798で要求している
>”ノイマン宇宙やレーヴェンハイム-スコーレムの定理と整合する説明をね”
>という条件を満たしていない
Nの定義にそんなものはまったく不要。バカが分かってないだけ。
>いわゆる、”題意外し”で大減点だよ、その答案は。ちゃんと、題意に従った答案を記述しないとダメです
>まあ、30点だなｗｗ
それを題意外しと言うならそもそも出題が悪いｗ バカが分かってないだけ
で、おまえは
>ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
省20
903(1): 2022/01/09(日)09:08 ID:tBwtbSr8(2/17) AAS
>しかしおまえが構成したイカサマNがペアノの公理を満たすことを証明することは絶対に不可能。
>>801から逃亡し続けているのが何よりの証拠
913(10): 2022/01/09(日)13:07 ID:LV2O1tR+(2/17) AAS
>>901 >>903
どうも、スレ主です ”数理論理君”かな？
スレ主に恒常的に楯突く人二人、一人はおサル>>7（いまID無しが主だ）で、もう一人が”数理論理君”で、どちらもIUTアンチの旗印が鮮明
>単に自分が正しいと強弁するだけならイカサマ論理（例えば無限回の演算が可能）でどうとでもなる
「無限回の演算が可能」は適切に定義すれば、21世紀の数学ではOKでしょ？
もっと、抽象的には、「無限回の操作が可能」と言い換えても良い
これは、代数系などを考えると、「無限回の操作が可能」を認めた方がすっきりする
例えば、下記の多項式環と形式的冪級数環の存在な
優しいことを難しく考えて、「これぞ数学だぁ〜！」と悦に入る人が居るけれども
適切なレベルで難しく考えることと、逆に簡単に「それ、一言で言えば、こういうことね」と情報圧縮を考えることも重要だろう
省16
914(5): 2022/01/09(日)13:09 ID:LV2O1tR+(3/17) AAS
>>913
つづき
で、>>801より
>無限公理は{}を要素としノイマン構成で用いられる後者関数について閉じた集合(帰納的集合)の存在を主張しています。ZFにおいて自然数全体の集合Nは{}を要素とするあらゆる帰納的集合の共通部分で定義されます。無限公理はこの定義がwell-definedであるための必要条件です。{}を要素とする帰納的集合の存在が保証されていなければNは絵に描いた餅に過ぎませんから。
>ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
あんまりおサルを相手にする気ない。たまにからかうのは、ありだ
さて、ツェルメロが後者関数 suc{a}={a}を考えて、空集合Φ={}から出発して、自然数の集合Nの構成を提唱したことは、歴史の示すところで、おれが今更証明するべきことでもない
事実、下記の記述有るよ。文献[38]からだって。疑問に思うなら、大学の図書館で、[38] Levy (1979)を見ろｗ
(参考)
外部ﾘﾝｸ:en.wikipedia.org
省14
932(1): DiverCity (りんかい線) 2022/01/09(日)15:48 AAS
>>913
> >>801 ID:e8SHhrC8氏はおサルでしょ？
誰も彼もがサルに見える「猜疑病」に罹ったか
>数学科落ちこぼれで、場末の５ｃｈ数学板で「数学証明ごっこ」したがるやつ
大学にも入れず、場末の５ｃｈ数学板で「数学者ごっこ」したがる人が
どの口でそのセリフをいう？
>高校レベルの数学記号（例えば和のΣとか、集合の和 ∪も同じ）さえ
>まともに書けないところで、
>まともに証明書いたり、読んだりするのは、止めておけ
数式がコピペできないくらいでイラついてる素人が
省4
951: 2022/01/09(日)18:21 ID:tBwtbSr8(8/17) AAS
>>913
何回やっても決して到達しない回数を無限回と呼ぶと教えてあげたのにもう忘れたの？痴呆症？
無限回の操作なるものが無くても無限集合の構成は可能ですよ？
例えば偶数全体の集合は{2n|n∈N}で構成されます。Nの構成は>>801。
そもそも無限回の操作なるものを定義できるなら無限公理は不要ですね〜
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.935s*