Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
539(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)20:48 ID:jE3Cs7nW(16/22) AAS
>>531 補足
>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省38
541(2): 08/30(土)22:09 ID:dKFmS13a(27/30) AAS
>>539
>A=S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} としよう
これは酷い。
S(S(ω))∈S(S(S(ω)))∧¬S(S(S(ω)))∈S(S(S(ω))) だから S(S(S(ω)))は帰納的集合ではない。よってAにはなり得ない。
こんな初歩の初歩の初歩から分かってないとは酷いにも程がある。
542(4): 08/30(土)22:19 ID:dKFmS13a(28/30) AAS
>>539
>”ωが最小の無限集合で、全ての無限集合の共通部分”は分っていることだから
だから大間違いって言ってるんだけど、言葉が通じないの？ 言語障害？
偶数全体の集合と奇数全体の集合の共通部分は{}であってωではない。
君、言語障害を治さないと数学どうこう以前だよ。
552(2): 08/31(日)06:51 ID:yvLlCc7F(1/16) AAS
>>539 ◆yH25M02vWFhP
>補足するよ
>A=S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} としよう
>>541
>これは酷い。
>S(S(ω))∈S(S(S(ω)))∧¬S(S(S(ω)))∈S(S(S(ω))) だから
>S(S(S(ω)))は帰納的集合ではない。
省21
553(1): 08/31(日)07:06 ID:yvLlCc7F(2/16) AAS
>>539 ◆yH25M02vWFhP
>>”ωが最小の無限集合で、全ての無限集合の共通部分”は分っていることだから
>>542
>偶数全体の集合と奇数全体の集合の共通部分は{}であってωではない。
>>547-548 (HNおよび◆yH25M02vWFhP なし)
>デデキント無限 の話だね
>自然数N=ω には、「A と同数（equinumerous）であるようなA の真部分集合B が存在する」から
省26
556(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)07:41 ID:lylF2dxQ(1/10) AAS
>>550-554
面白いから カマッテクンしておくと
それ、>>539の共通部分∩の議論が ますます 複雑怪奇になるだけ
式 N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}の扱いが ますます難しくなる
自分で自分の足を撃っているに等しいｗ ；ｐ）
566(14): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)13:40 ID:lylF2dxQ(6/10) AAS
>>539 戻る
１）下記 未確認飛行 Cさんが、面白い
1つ無限集合 a を選び、「x は無限集合である」という命題 M(x)
a の「冪集合」P (a)で、無限集合の族 a^ ＝ {x ∈P(a) | M(x)}を作る
a^ の全ての元の共通部分 ωa ＝ ∩a^
ωa が 自然数の定義だと
２）これと対比して ペアノの公理
省44
567(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)13:41 ID:lylF2dxQ(7/10) AAS
つづき
２）
2chｽﾚ:math
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
省25
572: 08/31(日)15:33 ID:ptzEvizv(9/26) AAS
>>566
おまえが初歩の初歩の初歩から分かってないこと
>３）いま、>>539 で示したように
>>539が大間違いであること
どちらも完璧に示し済みなんだが、おまえは言葉が通じないのか？ 言語障害？ 病院行けよ
言葉も通じないのに数学なんて無理に決まってるだろアホ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s