>>719
>有限と無限は異なるものだからその差(違い)は何か?
レーヴェンハイム?スコーレムの定理をご存知でしょうか?w(^^;
「定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す」ww
(参考)
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つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
例えば、真の算術 (true arithmetic) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。
さらに悩ましかったのは、「集合論の可算なモデルの存在である。それにもかかわらず、集合論は実数が非可算である」という文を満たさなければならない。
この直観に反するような状況はスコーレムのパラドックスと呼ばれ
探検
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
■ このスレッドは過去ログ倉庫に格納されています
746現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2020/02/17(月) 07:26:20.56ID:tibq+GyR■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「米価このまま維持されてしかるべきだ」佐賀県知事、稲作農家の経営踏まえ言及 ★3 [蚤の市★]
- 【米米】米を「月30キロ」家族で消費する女性、カリフォルニア米を「4キロ2900円」で購入してみた感想は…… [ひぃぃ★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- 【教育】なぜ「体育嫌い」は増える? 背景にホモソーシャル、性的少数者無視 ★2 [ぐれ★]
- 【芸能】永野芽郁「彼氏いたらダメでしょ」 ラジオで語っていた“恋愛観” 好きな人に恋人がいる場合、仲良くなってはならないと持論 [jinjin★]
- GACKT、永野芽郁と田中圭の不倫疑惑で「事務所が謝るのが全く理解できない」「日本の世論に謝罪を強要されているならマジでキモい」 [muffin★]
- 🏡
- 万博の警備員が土下座・・・会社は「強要なかった」と説明。警備員が「自主的」に土下座しただけでした😉 [441660812]
- ベビーカー、重い荷物...なぜ日本人は手を差し伸べないのか?「困っている人=自業自得」一橋大×名大調査で明らかになった共感の欠如 [377482965]
- ダウンタウンて万博アンバサダー辞退してその1ヶ月後に活動再開を発表って万博に失礼じゃね?アンバサダーにも復帰しろよ [597533159]
- ワイの名前が「あずき」なんやけど、どんなイメージ?
- @grok 「お米の適正価格は5kg=10,833円です。コメが高い叫ぶ日本人は農家の搾取を懺悔し猛省すべきです」 [249548894]