[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
673: 2020/03/26(木)20:21 ID:w9QXoHzC(2/3) AAS
バカの一つ覚えｗ
674(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:22 ID:+Ol1TdQp(4/6) AAS
>>671
(引用開始)
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
(引用終り)
意味不明だな
言葉のサラダ？
言葉のスパゲティー？ｗ（＾＾；
省9
675: 2020/03/26(木)20:30 ID:/vnWknlA(9/11) AAS
>>674
意味は明瞭
決定番号ｎが標準自然数でも超準自然数でも、
ｎ＋１が存在するからその先の尻尾が得られる
一方∞が最大の要素であって、∞＋１が存在しないなら
決定番号が∞の場合、その先の尻尾が得られない
「箱入り無数目」の方法の妨げとなるものは
「決定番号の先の尻尾の非存在」しかない
しかし、∞＋１が存在しない、という主張は
ペアノの公理である後者の存在を真っ向から否定する
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 もスレ毎に設定できる
別に、なんということもない
上下前次1-新書関写板覧索設栞歴
あと 310 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s