[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
676(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:36 ID:+Ol1TdQp(5/6) AAS
>>674
数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ （＾＾；
”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．
標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ
（参考）
外部ﾘﾝｸ:sites.google.com
Sendai Logic Homepage
仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです．
文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩）
省26
677: 2020/03/26(木)20:41 ID:/vnWknlA(10/11) AAS
>>676
＞超準モデルもペアノの公理を満たしている
でしょう？
では∞について、∞＜∞＋１ となる∞＋１の存在を認めるね？
678(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)21:28 ID:+Ol1TdQp(6/6) AAS
＜ヒルベルトの無限ホテルのパラドックス＞
・自然数N（1, 2, 3, …）を、奇数と偶数とに分ける
・奇数 1,3,5,・・・、偶数 2,4,6,・・・
・2つの数列を直列した数列 奇数列＋偶数列：1,3,5,・・・,2,4,6,・・・
・上記の数列に先頭から番号を振ります：1→1,2→3,3→5,・・,n→2n+1・・,ω→2,ω+1→4,ω+2→6,・・・
・つまり、自然数Nは 無限集合なので「その真部分集合である奇数号室すべての集合の基数と等しい」（ヒルベルトの無限ホテルのパラドックス）
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
ヒルベルトの無限ホテルのパラドックス
(抜粋)
省16
679(1): 2020/03/26(木)21:44 ID:/vnWknlA(11/11) AAS
（質問）
ｎが超準自然数でも何の問題もなく「箱入り無数目」の方法が適用できて
超準自然数同士の大小の比較も可能で、箱の中身が的中できることは
全面的に認めますね？
680(2): 2020/03/26(木)22:16 ID:w9QXoHzC(3/3) AAS
自然数にも上限は無いがどの自然数も有限
コピペ馬鹿に数学は無理
681(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/27(金)07:20 ID:PNCnIYnC(1/3) AAS
>>679
時枝は、
１．しっぽの同値類は可能
２．決定番号を決めることは可能
３．しかし、確率計算は正当化できない
ってことでしょ
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
職場から書き込みか？ コロナに感染するぞ
上下前次1-新書関写板覧索設栞歴
あと 307 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s