ﾚｽ書き込み

純粋・応用数学・数学隣接分野（含むガロア理論）20

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>672
> ふっふ、ほっほ
> 
> 　>>644 より再録
> 囲碁上達の格言の一つに、”相手の手のついて回るな”というのがあります
> これを、君の>>641に当て嵌めると
> 君のヘボ手にお付き合いする必要がないってことだなｗ　；ｐ）
> 以上
> (参考)
> https://ss406167.stars.ne.jp/igojotatsuhintshu.html
> ≦囲碁上達ヒント集≧
> 第一部 思想・考え方編
> 碁の主導権と先手
> (引用終り)
> 
> さて、まとめると
> 1）カントールや デデキントにより、素朴無限集合論が出来た
> 2）ところが、ラッセルのパラドックスのパラドックスが出てきた（下記）
> 3）そこで、ヒルベルトは無限集合論を公理的に構築することで、このパラドックスを解決しようとした
> 4）つまりは、結論は分っている。公理的に カントール、デデキントの無限集合論を再構築すること
> 5）このときの大きな問題の一つが、無限公理だった
> 　極限順序数ω＝Ｎ これは、自然数の集合であるが、極限順序数なので 有限順序数の後者関数としては実現できない
> 　よって、なんらかの無限公理を置く必要がある
> 6）このとき、単純に 極限順序数ω＝Ｎ のみを認める公理にすると、
> 　単純だが その後でさらに ωに後者関数を適用して 無限集合たる順序数の構築を続けたいのだ
> 　なので、無限公理としては、極限順序数ω＝Ｎを含む無限集合を認めることにしたのです
> 　勿論、ω＝Ｎや 順序数という言葉を使わずに 無限公理を定義するのです
> 7）こうして、無限公理として認めた 極限順序数ω＝Ｎを含む無限集合から、集合操作の公理のみを使って、ω＝Ｎを分離する
> 　無限公理の陳述として、極限順序数ω＝Ｎを匂わせる記述を入れてあるから、これは可能なのだ
> 8）こうやって、極限順序数ω＝Ｎが出来たあとは、これをもとにいろんな無限集合 例えば実数Rとかも 構成できるのです
> 
> あとは、集合論の本を読んでください！■ （＾＾
> 
> (参考)
> https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%83%E3%82%BB%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
> ラッセルのパラドックス（英: Russell's paradox）
> 矛盾の解消
> 公理的集合論ではまず集合論を形式化する。次にいかなる形の集合が存在するかを公理によって規定する。
> 集合論の公理は通常の数学を集合論の上で展開するために十分なだけの集合の存在を保証しつつ、パラドックスを発生させる集合は構成できないように慎重に設定する必要がある。
> 1.公理的集合論による解消
> 　略
> 2.単純型理論による解消[注 2]
> 　略

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.009s