>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「今日は解放の日だ」相互関税砲発射、世界の株式市場に激震 米ハイテク7銘柄、約112兆円失う [おっさん友の会★]
- 【フジテレビ】親会社の大株主・ダルトンが声明 清水社長ら5人の取締役に退任要求… 「経営刷新にはほど遠い」「株主として許し難い」 [冬月記者★]
- 米財務長官 各国はパニックにならず報復しないように 報復なければ今の数字が上限、報復すれば事態は悪化すると警告 ★5 [Hitzeschleier★]
- 2025/04/03(木) 23:02:09.38 ID:xJTaPh440<> 最近襲われなくなったね <>
- トランプ関税 日本24%、中国34%、台湾32%、韓国30%、EU20%、英国10%など [パンナ・コッタ★]
- 【国際】マクロン大統領「アメリカ人は貧困化するだろう」 [ぐれ★]
- 【史上最低のオリンピック】 東京五輪談合事件、電通などに30億円の課徴金 [476729448]
- 株価の急落を喜ぶトランプ支持者の声が相次ぐ「効いてる証拠だ」「投資家は労働者階級から金を奪い続けてきた」 [281145569]
- 【悲報】トランプ米大統領「今日は米国民の解放の日だ!」→米ハイテク株が112兆円失われてしまう [354616885]
- Jリーグって多分世界一面白いリーグだわ
- ドル145www石破どうすんのきれ [357222248]
- 暇空茜に中傷されていた団体の代表、起訴について正式発表 [485187932]