21/11/16 07:38:59.15 zELQeDp3.net
>>342 追加
(引用開始)
箱入り無数目を語る部屋2
スレリンク(math板:1番)
スレリンク(math板:401番)
時枝問題(数学セミナー201511月号の記事)
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
(引用終り)
「箱が 可算無限個ある」
これ数学だよね
分かりますか?
箱を棒に変えてもいい
棒が 可算無限個ある
棒を"}"(カッコ)に変えてもいい
"}"が 可算無限個ある
そして、"{"も、同様に可算無限個ある
だから、カッコ {} が、可算無限個重なったものも、数学として考え得るよ
上記の時枝問題、「箱が 可算無限個ある」は
□,□,・・・ とエンドレス無限(可能無限)ですよ、分かりますか?
"}"(右カッコ)ならば、},},・・・ とエンドレス
同様に、"{"(左カッコ)で、・・・,{,{ とエンドレス
合わせれば、・・・,{,{ },},・・・ とエンドレス無限(可能無限)重なったものが、考えられる
φなら、{} (φ:空集合)
φの1重なら、{{}}
・
・
ω重なら、{・・・,{,{},},・・・}
ω重から、・・・,{,{ },},・・・ なるものができる
それは、ノイマン構成でも同じこと
ノイマン構成 N(=ω)={0,1,2,・・・}で
{}を外すと、0,1,2,・・・ なる列ができるが、これはエンドレス無限(可能無限)
0,1,2,・・・は、一番右は決められない。エンドレスだから
しかし、可算無限列 0,1,2,・・・は、厳然と存在するよね
そして、可算無限列 0,1,2,・・・の右端は存在しないが、・・・の部分も厳然と存在して、全ての自然数を尽くす
・・・,{,{ },},・・・ なるものも同じで、・・・の部分も厳然と存在して、全ての自然数の個数を尽くすってこと
これを否定しようとするのは、
無理ゲーでしょ。エンドレス無限(可能無限)を公理として導入した以上は