[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
694: 2020/03/27(金)10:07 ID:asHKGG7T(9/35) AAS
>>692
＞専用ブラウザを使っているので
承知している
しかしHNのネーミングとか書き込みの内容は
専用ブラウザの使用とは無関係の書き手のセンスの問題
誤りに満ちた書き込みを固定ハンドルで書いても恥ずかしいだけだろう
それなら全部匿名にしたほうがいい 違うかな？
695: 2020/03/27(金)10:25 ID:asHKGG7T(10/35) AAS
>>693
職場から書き込みか？ コロナに感染するぞ
696(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:27 ID:JV2qk9Qn(3/14) AAS
>>669
補足
> 外部ﾘﾝｸ:fujicategory.hatenadiary.org
>数学基礎論の勉強ノート id:fujicategory
> 2011-07-21
>レーヴェンハイム・スコーレムの定理！！
これ、面白い
図解が面白い
是非、ご一見願います（＾＾；
追加貼る
省29
697(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:27 ID:JV2qk9Qn(4/14) AAS
>>696
つづき
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
とある勉強会で，連続体仮説の否定の無矛盾性の解説をするために レーベンハイム・スコーレムの定理を分かった気にさせる解説を執筆完（2018.09.29）．
レーベンハイム・スコーレムの定理 (初出 1915年 ) は，一階述語論理のモデルの大きさに関する命題である．大雑把に言えば， その一階述語論理に用意された記号の集合が可算無限個のとき，その論理体系の中の 公理系がモデルを持てば，そのモデルの要素数（基数）を可算無限個まで絞ることも， 非可算無限個まで水増しすることもできるという内容である．
画像ﾘﾝｸ[jpg]:www.cs-study.com
これは，全体が可算個の集合からなる集合論のモデルを保証したり，自然数の集合のサイズが 非可算個でも矛盾がないことを意味し，一見，それまで築かれた数学的常識と 反するので，発見当初は，レーベンハイム・スコーレムのパラドクスとして 扱われた．その後，この定理の解釈が整理されるとともに，今は，特にパラドクスでは ないという認識になっていると思う．
省3
698: 2020/03/27(金)10:32 ID:asHKGG7T(11/35) AAS
＞薬しっかり飲めよ
こんな書き込みに真面目にレスポンスする人はいないだろうが
ヒマなので書くことにしよう
薬は今は飲んでない
以前、突発性難聴にかかり後遺症の耳鳴りで
不眠症になったので睡眠薬を処方してもらったが
それがよくなかった
結局やめるのに半年かかった
眠れないからといって薬を飲むのはよろしくない
699: 2020/03/27(金)10:35 ID:asHKGG7T(12/35) AAS
>>696-697
いくら読んでも「箱入り無数目」の否定は導けないよ
700: 2020/03/27(金)10:40 ID:asHKGG7T(13/35) AAS
「箱入り無数目」は、列をS^O（Oは順序数）で表したとき
Oが極限順序数であれば成立する
要するに「終端がない」ということが最も重要
N∪{∞}は、ω＋１であって、後続順序数だから終端がある
後続順序数で成立しない、といったところで意味がない
なぜならN（＝ω）は極限順序数だから
701: 2020/03/27(金)10:45 ID:asHKGG7T(14/35) AAS
まったくどうでもいい話
レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが
ナチ時代の法律で、３／４アーリア人として扱われたらしい
702(6): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:53 ID:JV2qk9Qn(5/14) AAS
>>685 補足
(引用開始)
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)
補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
省36
703: 2020/03/27(金)10:55 ID:asHKGG7T(15/35) AAS
もう「箱入り無数目」は終わりにしたほうがいいね
列に終端がない時点で否定の余地は全くないから
このスレッドも要らないね
集合論には興味ないでしょ
全然理解もしてないしね
無理に「ベーリンガー・インゲルハイムがー」なんていわなくていいよ
あ、それは製薬会社か
外部ﾘﾝｸ:www.boehringer-ingelheim.jp
704: 2020/03/27(金)10:58 ID:asHKGG7T(16/35) AAS
>>702
＞ある箱の数当てが1-εにできる
それ、記事の読み間違い
「当たる箱を選ぶ確率が1-εにできる」が正しい
箱の中身が固定だから、代表元と一致するかしないかしかない
確率でいえば１か０
１の箱が９９個で、０の箱が１個だから
箱をランダムに選べば１の箱を選ぶ確率は９９／１００
705: 2020/03/27(金)11:04 ID:asHKGG7T(17/35) AAS
結局「ある箱の数当てが1-εにできる」という誤解に対する否定だから
相手は記事の著者じゃなくて、自分自身
706: 2020/03/27(金)11:19 ID:asHKGG7T(18/35) AAS
ところで、無限列ｘと同値類の代表元ｒ（ｘ）を比較した場合
「第ｎ項が不一致」って事象は、任意有限個では独立だけど、
無限個で考えたら独立ではないね
なぜなら自然数の無限部分集合について、
その要素となるｎ全部で「第ｎ項が不一致」
となることはないから
（不一致となる項は有限個）
707(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)12:09 ID:JV2qk9Qn(6/14) AAS
>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
(引用終り)
これが理解できないんだ
まあ、難しくないけど
省6
708: 2020/03/27(金)12:22 ID:asHKGG7T(19/35) AAS
>>707
＞これが理解できないんだ
あなたが？
＞まあ、難しくないけど
理解できないのに易しいという？
もしかしてコロナに感染してる？
709: 2020/03/27(金)12:28 ID:asHKGG7T(20/35) AAS
>>707
＞・・・のあ
乃木坂の白石麻衣が、デビュー前ジャニーズの追っかけをやってたことは
知る人ぞ知る事実だが、その頃名乗っていた「安田のあ」という名前は
「安田（章大の愛人）のあ」の意味らしい
710: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)13:58 ID:JV2qk9Qn(7/14) AAS
分からない 落ちこぼれ の人、落ちこぼれ の "お" ！！ｗｗ(゜ロ゜;
711: 2020/03/27(金)14:25 ID:asHKGG7T(21/35) AAS
「箱入り無数目」についての発言は諦めたんだね
では、HNについて
職場から出すほうが短いので、
自宅から出すほうも同じく短くしようね
もうガロアの話なんて全然してないしできないからね
正規部分群の定義も正しく理解できず
円分体の自己同型も間違えるんじゃ
ガロア理論なんか絶対理解できるわけないからね
完全に断念したのは大正解 スレッドも一掃されたし
712(1): 2020/03/27(金)14:30 ID:asHKGG7T(22/35) AAS
このスレッドが終わったら次に立てるスレッドの名前は
「現代数学の系譜 雑談」がいいだろうね
雑談なら何を書いてもいいからね
その時はHNは無しのほうがいいね
書くのは自分だけだろうけど、
HNが無ければどこの誰か詮索しないよ
間違えてもどこのだれかわからないし
どうもHNがあると間違いを認めずに
つっぱり続けるみたいだからね
713(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)14:32 ID:JV2qk9Qn(8/14) AAS
>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
(引用終り)
これが理解できないんだ
まあ、難しくないけど
省6
上下前次1-新書関写板覧索設栞歴
あと 289 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s