現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

251: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/07(水) 07:30:20.38 ID:qnt5rUPR

>>250 つづき

２．
さて、本題は>>226に書いた下記
「３．もうお分かりだろうが、nもいくらでも大きくなる。可算無限個の列なら、n→∞を考えると、決定番号が有限になる確率０＊）
＊）確率収束というのかな、よく分かりませんが（＾＾」

のところ、下記引用ご参照。現代数学の標準的な自然数の構成法だ
何を言いたいかと言えば、「任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する」を繰り返すことによって、”可算無限個の”自然数を構成しているんだ！！
だから、有限モデルから>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんの問題もないってこと

これが、現代数学の標準的な自然数の構成法だよと
だから、まさにまさに、殆ど当たっているがおしいねと

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
・任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。

集合論において標準的となっている自然数の構成は以下の通りである。

無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。 それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
略
等々である。 この構成法はジョン・フォン・ノイマンによる。
これは可能なペアノシステムの構成法として唯一のものではない。

http://rio2016.5ch.net/test/read.cgi/math/1496568298/251

261: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/07(水) 10:36:46.73 ID:qnt5rUPR

>>250 自己レス
>本論の前に、>>221の「３．説明」で示したように、決定番号がiである場合の数と、決定番号がi+1である場合の数とは、その比１：１０は分かるよね
>で、P進数を想定すれば、その比１：Pも良いよね
>ここ大事だから押さえておいてね。つまり、場合の数の計算で、決定番号が１増えるごとにP倍になると。また、決定番号の大きい場合の数が圧倒的に多いということも

下記引用は、一石（OneStone）ことID:1maZ/hoI氏の発言だが
「まさにまさに、殆ど当たっているがおしいね」と
可算無限なんだから、上記で「極限→∞を考えるべし」だよ

（引用）
スレ31 http://rio2016.2ch.net/test/read.cgi/math/1495369406/251-252
251 返信：１３２人目の素数さん[] 投稿日：2017/05/24(水) 06:49:52.84 ID:1maZ/hoI
>>247-248
＞時枝記事はガセ

ではないけどな
ただ人間技で実行できるか、といえばできない
そういう意味ではバナッハ・タルスキの逆理みたいなもんだ
（注：元になるハウスドルフの逆理はより直感的だから
　むしろヒルベルトの無限ホテルと同様の感覚）

252 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/24(水) 07:56:38.15 ID:REXSP3Fp [5/61]
>>251
ID:1maZ/hoIさん、どうも。スレ主です。

スレ28 に書いた人だね。その考えは、私スレ主に近いね（＾＾
最後の「時枝記事はガセか否か」で異なるが（＾＾；
スレ28 http://rio2016.2ch.net/test/read.cgi/math/1483314290/68
68 名前：１３２人目の素数さん[] 投稿日：2017/05/23(火) 10:22:45.67 ID:NQSYZDZ6
決定番号がなんかツボっぽいなｗ

これって常識的に考えると
「一応自然数だけど、人間が生きてる間に
　その桁を全て読むことができないような
　スッゲェバカでかい数」
が出てくるよね

たしかにいかほどバカでかくても大小関係は決まるよ
だから言ってることはまあごもっともだと思う
でもさ、多分上限のつもり数が非常識なほどデカいよ
だからきっと全然現実的な戦略じゃないと思うなぁ
こんな戦略、使えるのは神様だけでしょ（ボソッ）
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1496568298/261

上下前次 1-新書関写板覧索設栞歴

あと 416 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.013s