[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
362(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)12:46 ID:MeLF+0EN(4/5) AAS
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
(抜粋)
数学セミナー201511月号P37 時枝記事より
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
省25
363: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)12:47 ID:MeLF+0EN(5/5) AAS
>>362
つづき
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
例えば、真の算術 (true arithmetic) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。
省4
444(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/12(木)07:46 ID:Fux/6iYZ(2/4) AAS
時枝の数当ては、『お釈迦様の手の上の悟空』
（参考 >>362->>7も）
１）お釈迦様の手の大きさをLとします
２）悟空が、飛んだ距離を ｌ とします
３）常に、”ｌ（有限）＜ L （無限＝∞）”です
４）時枝を１列で考えます。可算無限長L（＝∞）の列に対し、代表番号dは有限
５）そういう有限dを使った数当ては、出来ないってことです
（＾＾；
外部ﾘﾝｸ:kizuki-delivery.net
毎日の気づき配信
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s