[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
554(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)07:53 ID:id6ENHqe(1/6) AAS
>>503 補足
>一階述語論理か
>それ以上の高階述語論理なのかに無自覚ならば
>所詮、有限と無限とをきちんと区別できない
>それを知らずに議論するあわれな落ちこぼれたち
>あわれな”なんとかさん”と同類じゃね！？ｗ（＾＾；
（まとめ引用）ｗ（＾＾
>>251より
https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86
レーヴェンハイム-スコーレムの定理
(抜粋)
レーヴェンハイム-スコーレムの定理（英: Lowenheim-Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。
レーヴェンハイム-スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。
例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。
>>491より
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88
有限集合
(抜粋)
基礎付け問題
無限集合を擁護する数学者にとっても、ある重要な文脈では、有限集合と無限集合の形式的区別は微妙な問題として残った。
これはゲーデルの不完全性定理に端を発している。遺伝的有限集合はペアノ算術で解釈でき（逆もまた同様）、従ってペアノの理論体系の不完全性は遺伝的有限集合の理論にも存在することが暗に示されている。
つづく
555(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)07:53 ID:id6ENHqe(2/6) AAS
>>554
つづき
特に、どちらの理論にもいわゆる非標準モデルの過剰が存在する。見かけ上のパラドックスとして、遺伝的有限集合の非標準モデルは無限集合を含んでいるが、それら無限集合はそのモデル内では有限に見える（これは、それら集合の無限性を証明するのに必要な集合や関数をモデルが持たない場合に生じる）。
不完全性定理があるため、一階述語論理やその再帰的適用では、そのようなモデルすべての標準部分を特徴付けることができない。
従って、一階述語論理の観点からは、有限性をおおよそ特徴付けることしか望めない。
(引用終り)
以上
556(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)08:00 ID:id6ENHqe(3/6) AAS
>>554-555
(抜粋)
レーヴェンハイム-スコーレムの定理
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
有限集合
有限集合と無限集合の形式的区別は微妙な問題として残った。
これはゲーデルの不完全性定理に端を発している。遺伝的有限集合はペアノ算術で解釈でき（逆もまた同様）、従ってペアノの理論体系の不完全性は遺伝的有限集合の理論にも存在することが暗に示されている。
特に、どちらの理論にもいわゆる非標準モデルの過剰が存在する。見かけ上のパラドックスとして、遺伝的有限集合の非標準モデルは無限集合を含んでいるが、それら無限集合はそのモデル内では有限に見える（これは、それら集合の無限性を証明するのに必要な集合や関数をモデルが持たない場合に生じる）。
不完全性定理があるため、一階述語論理やその再帰的適用では、そのようなモデルすべての標準部分を特徴付けることができない。
従って、一階述語論理の観点からは、有限性をおおよそ特徴付けることしか望めない。
(引用終り)
だから、一階なのか高階なのかが重要なんだ
あんまりみんな意識していない
だが、意識しないと議論が噛み合わないこともある
例えば 0.99999……は１ではない その２ 2chｽﾚ:math
哀れな素人さん相手に、一階なのか高階なのか、なんて議論できるわけないでしょ？
だから、おれは参加しない
563(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)09:03 ID:id6ENHqe(4/6) AAS
>>552 補足
下記順序数”0, 1, 2, 3, ............, ω， S(ω)（＝ω+1）”を数直線に埋め込んでみよう
数直線の区間[0,2]で
n→1-(1/(1+n))＝n/(1+n)
と変換すると
0→1-1/1＝0
1→1-1/2＝1/2
2→1-1/3＝2/3
3→1-1/4＝3/4
・
・
ω→1-1/(1+ω)＝1
となって、”0, 1, 2, 3, ............, ω”
は、区間[0,1]に埋め込める
そこから、 S(ω)（＝ω+1）は
ω+1→1+1/2となって、区間[1,2]の中央の点に対応する
そして、上記が繰返される
（>>552の）Zermeloの自然数構成では、可算多重シングルトン{・・・{}・・・}＝ωであり
これは、区間[0,1]の点[1,1]に相当する
これで、可算多重シングルトン{・・・{}・・・}＝ωのモデルが存在することが分かった
QED
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
順序数の大小関係
順序数の並び方を次のように図示することができる：
省7
566(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)10:22 ID:id6ENHqe(5/6) AAS
>>564-565
おサルの力量は、良く分かったよ
おまえは、確かに落ちこぼれだわ
おまえには、哀れな素人相手が適当だよ
がんばれよ
568(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)14:40 ID:id6ENHqe(6/6) AAS
>>563 補足
>下記順序数”0, 1, 2, 3, ............, ω， S(ω)（＝ω+1）”を数直線に埋め込んでみよう
順序数”0, 1, 2, 3, ............, ω， S(ω)（＝ω+1）”に対応する点列を数直線上に構成した
0,1/2,2/3,3/4,・・,1（←ω）,1+1/2（←ω+1）
さて、これらの点列に合わせて、縦棒｜を配置する
|,|,|,|,・・,|,|
上記を左右反転する
|,|,・・,|,|,|,|
間にΦを挟むと
|,|,・・,|,|,|,|Φ|,|,|,|,・・,|,|
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.083s