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

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

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

672: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/21(土) 12:41:17.67 ID:sEkgudR9

ふっふ、ほっほ

>>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]
　略

http://rio2016.5ch.net/test/read.cgi/math/1745503590/672

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.045s