[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
4: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/07/18(土) 10:10:04.53 ID:ywyns0bH >>3 つづき ６）代替集合論（よくまとまっている） http://www.ivis.co.jp/text/20190619.pdf 代替集合論＊（Alternative Set Theories）の調査 2019年 6月 19日（水）古賀明彦 わかみず会用資料 （補足） http://www.cs-study.com/koga/set/alternativeSetTheories.html 代替的な集合論 (Alternative Set Theory) 26th Sep. 2019 (Updated) 6th May 2018 (First) Akihiko Koga ７）圏論 https://martbm.はてなブログ/entry/20170723/1500777080 URLが通らないので検索してください martingale & Brownian motion 2017-07-23 ＺＦＣの圏論での「代替」には意味があるのか？ ８）強制法 “1963年以前をB.C.(before Cohen)” http://kururu.はてなブログ/entry/20080313/1205383899 URLが通らないので検索してください kururu_goedel’s diary 2008-03-13 ゲーデルと20世紀の論理学 第四巻 集合論とプラトニズム (抜粋) 田中一之先生による序 ”私が学生の頃(1980年頃）には、よく冗談で1963年以前をB.C.(before Cohen)といい、ゲーデルはB.C.の神であったなどといったものである。” もちろんCohenが開発した強制法は恐ろしく重要なテクニックです。ですが、今では彼のアイデアは完全に理解され消化されています。 https://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95 強制法 (抜粋) 直観的意味合い 直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。 つづく http://rio2016.5ch.net/test/read.cgi/math/1595034113/4
88: １３２人目の素数さん [] 2020/08/01(土) 22:06:57.53 ID:zi34a+DT >>86 なんで>>72から逃げて、箱入り無数目と全く関係無い話してんの？ 脳みそどっかに落っことしたの？ http://rio2016.5ch.net/test/read.cgi/math/1595034113/88
130: １３２人目の素数さん [sage] 2020/08/07(金) 15:56:50.53 ID:kwZAOrGY >>111補足 １）下記、非正則な分布は、積分値が無限大に発散してしまい、全事象の確率は1であるというコルモゴロフの確率の公理に反しています ですので、まっとうな確率計算はできません ２）例えば、1〜100まで100枚のカード各１枚あるとします。典型的な一様分布です。 番号を点数として、1点〜100点とします。 ３）カードをよくシャッフルして伏せて、カードを１枚とる。二人の対戦ゲームとします。点数が上なら勝ち もし、自分が90点代、例えば、91点だとします。上位１割の点数ですから、勝つ確率9割です ４）でも、1〜1000まで1000枚のカード各１枚なら？ 91点なんて低い点数では、勝てる確率１割以下です ５）1〜nまでn枚のカード各１枚なら、上位１割 つまり (9/10)n以上の点数で、勝てる確率１割以下です ６）では、n→∞ の非正則な分布ではどうか？ 非正則な分布は、積分値が無限大に発散してしまい、全事象の確率は1であるというコルモゴロフの確率の公理に反しています ですので、まっとうな確率計算はできません １億点でも、１兆点でも、有限の点数では、∞に比べて微小であり、まっとうな確率計算ができません。あえて、するなら確率0（ゼロ）です ７）時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません QED（＾＾ （>>67より） https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 (抜粋) 非正則分布は確率分布ではない！？ 非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。（注：正確には、”ようなもの”で、これに限りません） 積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1595034113/130
142: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/09(日) 11:19:01.53 ID:QmjvhqAQ >>115 >選択公理を認めるなら、いかなる列の決定番号も自然数 つまり有限です >∞になることなどあり得ません（∞は自然数ではありませんｗ） ＜赤ペン先生＞（＾＾ １．それ、”選択公理”の問題ではない、レーヴェンハイム-スコーレだよ。一階の理論か、一階以上の理論かの問題 ２．レーヴェンハイム-スコーレム：「定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す」 レーヴェンハイム-スコーレム：「一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない」 ３．自然数：「物の個数を数える基数のうちで有限のもの」、「物の並べ方を示す順序数のうちで有限のもの」 「自然数は、可算無限集合である」！！ 分かってないね QED ｗ（＾＾； （参考） 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、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論（真の一階算術の理論）には非可算なモデルがあり、(R, +, ×, 0, 1) の理論（実閉体の理論）には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム-スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。 つづく http://rio2016.5ch.net/test/read.cgi/math/1595034113/142
143: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/09(日) 11:19:34.53 ID:QmjvhqAQ >>142 つづき https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) 集合論においては、自然数は 物の個数を数える基数のうちで有限のものであると考えることもできる 物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数と同様に整数の全体も可算無限集合である。 （補足） http://www.cs-study.com/koga/set/lowenheimSkolem.html 形式的論理体系の定義から レーベンハイム・スコーレムの定理までの大急ぎのまとめ by Akihiko Koga 27th Mar. 2020 (Update) (抜粋) まず，公理という用語から定義する．その体系で選ばれた論理式を公理という． 公理は有限個でも無限個でも構わない．ただし，どんな体系を作るにしても，論理的体系を 成立させるために，最初から選ばれている公理がある．例えば，P→P などである． （ダウンワード）レーベンハイム・スコーレムの定理成立の本質 当然のことながら証明は厳密にしなければならないのだが，レーベンハイム・スコーレムの 定理が成り立つ本質的な理由は， 有限，あるいは可算無限個の関数記号や述語記号から 作り出すことができる要素の総体は可算無限個である ことによる． (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1595034113/143
282: １３２人目の素数さん [] 2021/11/03(水) 19:06:46.53 ID:dCkKgOCS https://rio2016.5ch.net/test/read.cgi/math/1633176556/847 −−−−−−−−−−−−−−−−−−−−−−−−−−−−− Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか それはωより小さい順序数の最大値が存在しないからである Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない （したがってωは無限集合である 一般に極限順序数は無限集合である） −−−−−−−−−−−−−−−−−−−−−−−−−−−−− https://rio2016.5ch.net/test/read.cgi/math/1633176556/854 −−−−−−−−−−−−−−−−−−−−−−−−−−−−− Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが ωからω未満の任意の順序数ｎへの降下列が存在するようにするには 無限集合とせざるを得ない −−−−−−−−−−−−−−−−−−−−−−−−−−−−− https://rio2016.5ch.net/test/read.cgi/math/1633176556/860 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー やっとみんなの云ってることが正しいと気づいたんだね やっと君も自分の勘違いに気づいたんだね おめでとう！ ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー http://rio2016.5ch.net/test/read.cgi/math/1595034113/282
339: １３２人目の素数さん [] 2021/11/15(月) 08:33:24.53 ID:rki1vL4O >>338 >ωに対応する()を外したら >その最外にはもはや｛｝が存在せず >要素をとることができなくなるから 1．そこ誤解だよ 2．ノイマン構成 N（＝ω）＝{0,1,2,・・・} で、｛｝を外すと 0,1,2,・・・ となる 3．最外は存在しないのではなく、エンドレスの無限状態となる（可能無限） 4．それは、”可能無限”が本来持つ性質であって ノイマン構成 N（＝ω）も同じ 全てそうだよね、無限シングルトンも含めて 繰り返すが、”最外は存在しないのではなく、エンドレスの無限状態となる（可能無限）” 分かりますか？ ノイマンも同じ http://rio2016.5ch.net/test/read.cgi/math/1595034113/339
387: １３２人目の素数さん [sage] 2021/11/18(木) 19:42:54.53 ID:QG01/Tfp >>386 ハイパーセタの超集合論によれば、 順序数ｘが極限順序数のとき、そのときに限り ｘに対応する”シングルトン”は、 集合でない「超集合」である （ｘが後続順序数であれば、普通にシングルトン（要素が１個の集合） ｘが０であれば、空集合） http://rio2016.5ch.net/test/read.cgi/math/1595034113/387
501: １３２人目の素数さん [] 2021/11/24(水) 01:22:20.53 ID:2e1NyAsX >>497 >多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω とする（N：自然数の集合） >対応は >数→ Zermelo → Neumann >0重 : {}0 → {}(注：{}0＝{}＝φで空集合) >1重 : {{}0}1 → {0} >2重 : {{{}0}1}2 → {0, 1} >3重 :{{{{}0}1}2}3 → {0, 1, 2} >・ >・ >n重 :{･･{{{}0}1}2･･} → {0, 1, 2,･･,n-1} >・ >・ >ω重 :{･･･{{{}0}1}2･･･}ω → {0, 1, 2,･･,n-1･･･} (注：･･･の部分は全ての自然数を尽くす) {･･･{{{}0}1}2･･･}ωの元xを答えよ xが集合であることを示せ x={･･･{{{}0}1}2･･･}ω-1とでも答えるんか？ ω-1なんてありませんけど？ ωは極限順序数ですから 後続順序数ではないですから まだ分からないんですか？ バカですねえ 当然xは集合ではありません。よって{･･･{{{}0}1}2･･･}ωも集合ではありません。 公理的集合論では集合以外の元は許されませんから。 まだ分からないんですか？ バカですねえ http://rio2016.5ch.net/test/read.cgi/math/1595034113/501
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s