[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
682(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/27(金)07:31 ID:PNCnIYnC(2/3) AAS
>>680
>自然数にも上限は無いがどの自然数も有限
自然数に上限は無く どの自然数も有限でも
しかし、超限順序数ωは
ヒルベルト無限ホテルのパラドックスを使って
（>>678ご参照）
直ちに実現できますねｗ（＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
順序数
省3
683(1): 2020/03/27(金)07:42 ID:asHKGG7T(1/35) AAS
>>681
＞１．しっぽの同値類は可能
＞２．決定番号を決めることは可能
３．どの決定番号でも、その先の尻尾をとることが常に可能
４．決定番号は整列順序により大小の比較が常に可能
したがって「箱入り無数目」は（100列が確定している場合）正しい
684(1): 2020/03/27(金)07:49 ID:asHKGG7T(2/35) AAS
>>682
超限順序数ωは超準自然数ではない
「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで
「箱入り無数目」の否定にはならない
685(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/27(金)08:45 ID:PNCnIYnC(3/3) AAS
>>683-684
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
686: 2020/03/27(金)09:02 ID:asHKGG7T(3/35) AAS
>>685
まず、大学教程の自然数論を学ぶこと
基礎から積み上げないと数学は正しく理解できない
無限列をR^Nを定義したのだから、Nを理解すること
Nの定義はペアノの公理
・0はNの要素
・nがNの要素なら、n+1はNの要素
省2
687: 2020/03/27(金)09:06 ID:asHKGG7T(4/35) AAS
今日は在宅勤務？
HNとトリップは本スレッドでしか使用していないようだが
今後は自宅および職場からの投稿のどちらも
トリップだけにしていただいて結構
長たらしいHNは無意味
688: 2020/03/27(金)09:15 ID:asHKGG7T(5/35) AAS
IUTスレッドと分からない問題スレッドでは
HNおよびトリップをつけていないようだが
本スレッドでも不要
むしろつけることで誤りを認められなくなってるなら
外したほうがいい
689: 2020/03/27(金)09:27 ID:asHKGG7T(6/35) AAS
日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の
分かりやすいＨＮが好ましい
690: 2020/03/27(金)09:32 ID:asHKGG7T(7/35) AAS
もし私がつけていいなら「集合Ａ」を提案する
英語でいうと”Set A”
動画ﾘﾝｸ[YouTube]
♪特別じゃない どこにもいるさ 俺は集合A
691(1): 2020/03/27(金)09:59 ID:asHKGG7T(8/35) AAS
本スレッドのスレッド名も陳腐なので
新しく立てるなら名前を変えたほうがいい
たとえば「数理資本主義」とか
反資本主義の活動家が大量に押しかけてくるだろう
692(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:02 ID:JV2qk9Qn(1/14) AAS
おサル必死だな
コテとトリップを付けるかどうかは
おれは、専用ブラウザを使っているので
設定しておけば、簡単でね
このスレでは、コテとトリップ
あのスレでは、無しとかね
なお、余談だが
あと、sageとage もスレ毎に設定できる
別に、なんということもない
693(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:04 ID:JV2qk9Qn(2/14) AAS
>>691
今日は、ヒマか？
つうか、コロナでヒキコモに、好都合か
＞反資本主義の活動家が大量に押しかけてくるだろう
ヒマ人の妄想も
ここまで来れば立派
薬しっかり飲めよ
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
まったくどうでもいい話
レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが
ナチ時代の法律で、３／４アーリア人として扱われたらしい
上下前次1-新書関写板覧索設栞歴
あと 301 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s