現代数学の系譜 カントル 超限集合論at MATH現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト650:132人目の素数さん 19/12/07 09:29:11.41 uZFmzNJe.net ◆e.a0E5TtKEへ贈る歌 https://www.youtube.com/watch?v=PfBebI2oFp4 御冥福をお祈りいたします 651:132人目の素数さん 19/12/07 11:25:12.03 LqOT9BiI.net >>617 無理などあなた以外誰もする必要ないくらいの問題です。 こんな話数学科の学部生レベルのごく基本的なお話です。 ツォルンの補題や超限帰納法なんて一回生でやる話です。 あなたはそのレベルの話ですら理解できてないんですよ。 理解するつもりすらないらしいから当然ですが。 652:現代数学の系譜 雑談 19/12/07 14:50:12.16 H2e5WMAT.net >>625 無理するな 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) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。さらに悩ましかったのは、集合論の可算なモデルの存在である。 それにもかかわらず、集合論は実数が非可算であるという文を満たさなければならない。この直観に反するような状況はスコーレムのパラドックスと呼ばれ、可算性 (countability) は絶対的 (absolute) ではないことを示している。 つづく 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch