[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
662(1): 2020/03/26(木)15:33 ID:/vnWknlA(3/11) AAS
>>661
決定番号が必ず自然数の値をとることは
尻尾の同値関係と同値類の定義から示されることで
非可測だからといって決定番号が∞になることはない
上記を理解しましたか？
663(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)17:26 ID:Toc1jVc8(6/8) AAS
>>662
下記
レーヴェンハイム?スコーレムの定理（上方部分）：いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない
を理解しましょうｗｗ（＾＾；
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
664(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)17:33 ID:Toc1jVc8(7/8) AAS
>>660
なんか、反論になっていない！！
勘違いの ”あさって” 妄言ではないでしょうか？？ｗｗ（＾＾；
・まず、>>658の形式的冪級数：a0+a1X+a2X^2+・・で考える
・二つの形式的冪級数を考える
一つは、係数が全て9の形式的冪級数：F(X)=9+9X+9X^2+・・
一つは、係数が全て0の形式的冪級数：G(X)=0+0X+0X^2+・・
・いま、上記において、一つのｎ次多項式 f(X)=a0+a1X+a2X^2+・・・anX^n を
考えて、上記の二つの形式的冪級数の先頭部分を取り換える
F(X)'=a0+a1X+a2X^2+・・anX^n+9X^(n+1)・・
省27
665: 2020/03/26(木)17:35 ID:/vnWknlA(4/11) AAS
>>663
自然数は有限のモデルを持たないことを理解しましょう
（自然数全体の集合Nは有限集合にならない）
また、
・最大の自然数は存在しない
・いかなる自然数も自分以上の自然数が無限に存在する
ということも理解しましょう
（参考）
自然数の定義
・自然数0が存在する。
省4
666(1): 2020/03/26(木)17:42 ID:/vnWknlA(5/11) AAS
>>664
そもそも、>>642の「まず修正」が見当違い
.999…は全ての桁の値が9
.999…∈{0,…,9}^Nは、桁の位置が全て自然数で表される
.999が実数として1に等しいというのは
「箱入り無数目」とは無関係
無限列としては等しくないから
667: 2020/03/26(木)17:49 ID:/vnWknlA(6/11) AAS
>>666
追伸
3進カントール集合は、3進無限小数のうち1が現れないもの
{0,2}^nと考えることができる
0.022…と０.200…は無限列としても数としても異なる
668: 2020/03/26(木)18:00 ID:/vnWknlA(7/11) AAS
（質問）
もしかして
・数列 .9、.99、.999、… の極限は.999…
・そして、数列の各項について
.000…と.9000…は同値 （決定番号2）
.000…と.9900…は同値 （決定番号3）
.000…と.9990…は同値 （決定番号4）
…
上記２点から
・.000…と.999…も同値 （決定番号∞）
省1
669(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)18:21 ID:Toc1jVc8(8/8) AAS
>>663
ｗ（＾＾；
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート id:fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
(抜粋)
第５章
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
省28
670(2): 2020/03/26(木)19:27 ID:w9QXoHzC(1/3) AAS
>>656
>１．決定番号∞について
>・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
バカの言ってることが正しいと仮定。
「決定番号dは全ての自然数を渡る」より d∈N
決定番号d=∞ より ¬(d∈N)
矛盾が導かれたので仮定は偽。
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
671(1): 2020/03/26(木)19:59 ID:/vnWknlA(8/11) AAS
>>670とは関係ないが・・・
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
672: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:15 ID:+Ol1TdQp(3/6) AAS
>>670
レーヴェンハイム・スコーレムの定理を否定するとな？！ｗ （＾＾；
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
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
時枝は、
１．しっぽの同値類は可能
２．決定番号を決めることは可能
３．しかし、確率計算は正当化できない
ってことでしょ
上下前次1-新書関写板覧索設栞歴
あと 321 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s