18/12/29 19:55:51.43 dAnabccJ.net
>>629
スレ主はもしかして時枝戦略の成功確率は
「バナッハ・タルスキ―のパラドックス」と同様の
問題を引き起こすと妄想してないか？
残念ながら時枝戦略のどこにも
階数２以上の自由群なんて出てこないから
「バナッハ・タルスキ―と同じ問題を引き起こす」
という難癖は全く説得力がない
むしろ、選択公理の使用によって
同値類の代表元がとれてしまい
決定番号も得られる点で
選択公理を認めるスレ主の行為は
まさにオウンゴール（自殺点）である
逃げ道を塞いで自爆したのはまさにスレ主
選択公理ときいてバナッハタルスキを連想した
AIバカ頭の持ち主では致し方ないが
651:１３２人目の素数さん
18/12/29 20:07:51.35 dAnabccJ.net
>>634
バナッハ・タルスキーのパラドックス」が
双曲空間上では選択公理抜きで実現できるように
広義の時枝戦略も、例えば一般の無限列の代わりに
有理数の小数展開をとる形にすれば、選択公理抜きで
代表元を選ぶ関数が作れて同様の結果が成り立つ
つまり、選択公理の否定は真の逃げ道ではない
652:１３２人目の素数さん
18/12/29 20:12:18.61 dAnabccJ.net
百聞は一見に如かず
双曲平面上でのバナッハ・タルスキのパラドックス
URLﾘﾝｸ(www.youtube.com)
動画なら文章の読めないスレ主にも明らかだろう
653:１３２人目の素数さん
18/12/29 20:20:11.71 dAnabccJ.net
結局、スレ主は選択公理について
むやみにコピペしただけで
Ωが{1,･･･,100}ではダメな理由は
全く説明できなかった
論理的思考力がゼロで検索するしか能がない
AIアタマのスレ主は、何であれ「説明」は不可能らしい
654:１３２人目の素数さん
18/12/29 20:37:49.19 dAnabccJ.net
有理数の小数展開を用いる場合
循環節が始まる桁を決定番号とすれば
選択公理を使用しなくて済む
１００個の有理数から１個選んで
その中のある桁の数字を当てる場合
他の９９個の有理数の循環節の開始位置を見て
その中の最大値の桁を選べば
自分が選んだ有理数の循環節の開始位置が
それより大きい可能性は１／１００しかない
結局可算集合上で各点に均一の重みを与える測度が定義できない
（可算加法性を満足しない）ので有理数全体の測度にもとづく
計算ができないのだが、だからといって上記の計算が無意味だ
という理由にはならない
655:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 20:56:04.18 nqXwmrkU.net
>>631-638
はいはい、ピエロちゃん
自殺行為ありがとう
そうやって、自分で逃げ道を潰してくれると
助かるわ（＾＾；
656:１３２人目の素数さん
18/12/29 20:58:48.86 Om+har0l.net
とうとうハッタリしか言えなくなったスレ主が哀れ過ぎる
657:１３２人目の素数さん
18/12/29 21:04:01.92 dAnabccJ.net
このところスレ主の煽りがスベりまくってる
658:１３２人目の素数さん
18/12/29 21:06:22.15 dAnabccJ.net
スレ主は自分がコピペした文章を読解できてないから当然だが
実はコピペした文章がスレ主を爆破する自爆展開が少なくない
659:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:28:42.51 A4Yw8jtX.net
>>627 補足
>ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い
ここ、補足だが、ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、“可算選択公理”が使われているということ
つまり、このパラドックスは、” 可算選択公理＋可算無限集合のせい”だと
パラドックスは、『デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（上記”デデキント無限”参照）』が表れているのだと
660:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:32:49.18 A4Yw8jtX.net
>>622
さて、それでは、昨日からの続きです。
(>>592 より）ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
が、なぜだめかの続きをやります。
これ(>>638)結構結構だね（＾＾
自分で語ってくれているので、手間が省けるね
だが、念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
１．時枝記事でやっている数学ロジックを抽出すると下記になる （注：時枝記事については>>21ご参照）
１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る
２）代表元r= r(s)を決める
３）数列sと代表元 rとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す
４）決定番号d = d(s)は、自然数である
５）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して(注：ここにs^1などは、上付き添え字を表わすとする。以下同様)
同値類の代表元 r^1, r^2,・・・r^100 を決めることができ
決定番号 d^1, d^2,・・・d^100 を決めることができる。
d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる
つづく
661:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:35:39.37 A4Yw8jtX.net
>>644
つづき
２．さて、上記の時枝記事の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。
標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれるのだと。
つまり、これを導くのには、１）選択公理を使って、２）数列しっぽの同値類を作って、３）決定番号を決めている。４）決定番号が自然数�
662:ｾから、シンプルに、標本空間 Ω＝{1,･･･,100}が取れるのだと。 そして、「D >= d^k である確率は、99/100」が導かれ、確率空間を使って時枝記事の解法が正当化されるのだと。 ３．くどいが、再度数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。 概略こういうことで、良いですね。念押しするよ。後で言い逃れができないようにね。 もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。 以上 （参考） https://mathtrain.jp/probspace 高校数学の美しい物語 確率空間の定義と具体例（サイコロ，コイン） 最終更新:2015/11/06 (抜粋) 標本空間 Ω 確率を考える土台となる集合です。 Ω の各要素は根元事象と呼ばれます。 ω と書くことが多いです。 (引用終わり)
663:１３２人目の素数さん
18/12/30 07:45:04.77 Fgu/mMxZ.net
>>645
>１）選択公理を使って、
>２）数列しっぽの同値類を作って、
>３）決定番号を決めている。
スレ主は既に順番を間違ってるね
正しくは以下の通り
１）数列しっぽの同値類を作って、
２）選択公理を使って
３）同値類の代表元を選んで（決定番号を決めて）いる
決定番号は同値類の代表元に付随して決まる
選択公理は、同値類の作成ではなく
その代表元の選定のために用いられてる
スレ主はこんな基本的なことも分かってない
いったい時枝記事を何を読んでるんだ？
664:１３２人目の素数さん
18/12/30 07:51:11.93 Fgu/mMxZ.net
>>645
＞１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
＞この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
まず３）と４）を分ける理由がないね。
さらにいえば、数列しっぽの同値関係から、
同値類の代表元が存在すれば、
決定番号が自然数であることは
自動的に導ける
したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね
ちなみに、一般の無限列のかわりに有理数の小数展開列を用いる場合
２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
665:１３２人目の素数さん
18/12/30 07:56:19.62 Fgu/mMxZ.net
>>644
＞時枝記事でやっている数学ロジックを抽出すると下記になる
正しくは以下のとおり
１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る
２）代表元r= r(s)を決める （※選択公理により）
３）数列sと代表元 rとがそこから先ずっと一致する番号（＝自然数）を
sの決定番号と呼び，d = d(s)と記す
４）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して
(注：ここにs^1などは、上付き添え字を表わすとする。以下同様)
同値類の代表元 r^1, r^2,・・・r^100 を決めることができ
決定番号 d^1, d^2,・・・d^100 を決めることができる。
d^k 1<= k <=100 が、
（d_k以外の決定番号の)最大値 D = max(d^1, d^2,・・・d^100)
を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる
666:１３２人目の素数さん
18/12/30 08:01:45.19 Fgu/mMxZ.net
>>648
一般の無限列の代わりに有理数の小数展開を用いる場合
* １）のsが、有理数の小数展開
* ２）の代表元が、循環節から自然に定まる （選択公理の必要無し！）
* ３）の決定番号が、循環節の開始位置となる
スレ主が選択公理に逃げ込む道はこれで塞がったｗ
667:１３２人目の素数さん
18/12/30 08:36:44.88 Fgu/mMxZ.net
蛇足
>>643
＞ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、
＞“可算選択公理”が使われている
これ完全な誤解
なぜなら真部分集合への全単射の構成に可算選択公理は必要ないから
なんか「デデキント無限」を持ち出してるけど、
可算選択公理がない場合、
「デデキント有限」な無限集合が存在する
というだけで、ヒルベルトの無限ホテルの
実現を妨げるものではない
668:１３２人目の素数さん
18/12/30 08:39:51.17 Fgu/mMxZ.net
>>650
自然数全体の集合はデデキント無限
これは選択公理なしに成立する
669:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:46:23.26 A4Yw8jtX.net
>>646-649
どもありがとう
スレ主です
これ結構だね（＾＾
「したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね」
それで良いですよ
まあ、細かいけど
昨日の選択公理の確認（>>621）でやったので、念押ししておくが
・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
正確な表記ではないが、マンガ風に図解すれば、こうだと
・つまり、上位互換で、選択公理（フルバージョン）は、適用できる集合は連続無限集合でも、あるいは連続無限より上位の濃度の無限集合でも適用可
（もちろん、下位の可算無限集合および有限集合にも適用できる。選択公理の定義の通り、適用できる集合に制限無し！ ）
・可算選択公理は、可算無限以下の集合にのみ適用できる
・選択公理の有限集合版は、公理というよりむしろ原理とか定理という方が良いかもしれないが
（補足、>>622 尾畑先生テキスト：
「Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11)
が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り
返すことで有限列の存在が数学的帰納法で証明される」ご参照
あるいは、>>625 Axiom of choice Restriction to finite sets をご参照 ）
> 一般の無限列のかわりに有理数の小数展開列を用いる場合
> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
ここ、おれの理解は、可算選択公理を使っていると思うけどね。
まあ、ここは上位互換なので、選択公理を使っていると言っても、間違いではないと思う
ここ、しつこく拘る気は無いが、念押しな
拘って、先に進まないのも困るのでね
良いですね。念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
670:１３２人目の素数さん
18/12/30 08:47:25.05 Fgu/mMxZ.net
ついでにいえば、狭義の時枝戦略における
同値類の代表元の存在を否定するには
非可算選択公理を否定すればいいだけなので
可算選択公理は成立しても問題ない
これでスレ主の
「可算選択公理を否定したら数学が弱体化」
とかいう言い訳も無意味化された
（もっとも>>649でそもそも選択公理の否定自体
時枝戦略の本質的な否定にならないことは
既に言及済だが）
671:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:47:59.09 A4Yw8jtX.net
>>650-651
どもありがとう
スレ主です
その話は、時枝が済んでからやろうね
議論が錯綜しそうだからね
672:１３２人目の素数さん
18/12/30 08:51:09.73 Fgu/mMxZ.net
>>652
>> 一般の無限列のかわりに有理数の小数展開列を用いる場合
>> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
>おれの理解は、可算選択公理を使っていると思うけどね。
それスレ主の誤解
ヒルベルトの無限ホテルの場合も同様だが
代表元を選ぶ関数が直接構成できる場合
可算選択公理は必要ない
>しつこく拘る気は無いが
>拘って、先に進まないのも困るのでね
拘って恥かくのはスレ主だけ
選択公理に固執しても、貴様に勝ち目はないよ
673:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:51:40.07 A4Yw8jtX.net
>>653
結構結構。>>652に含まれることを、自分で書いてくれて
自分で逃げ道を塞いでくれているので、簡単で助かるよ
でも、念のため、>>652にもレスしておくれ（＾＾
674:１３２人目の素数さん
18/12/30 08:52:21.13 Fgu/mMxZ.net
>>654
＞その話は、時枝が済んでからやろうね
必要ない
貴様が誤りを認めればいいだけ
貴様、自分が正しいと思ってるのか？
675:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:54:40.40 A4Yw8jtX.net
>>655
ありがとう
スレ主です。>>656（”念のため、>>652にもレスしておくれ”）と被ったな
他に、言いたいことないですか？（＾＾
676:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:55:08.06 A4Yw8jtX.net
>>657
つー、>>658
677:１３２人目の素数さん
18/12/30 08:56:41.37 Fgu/mMxZ.net
>>656
＞念のため、>>652にもレスしておくれ（＾＾
何にどうレスしてほしいのかね？
>選択公理の有限集合版は、公理というよりむしろ
>原理とか定理という方が良いかもしれないが
明確に定理であることは、貴様がコピペした
以下の文章に書いてあるぞ
貴様、コピペするだけで読解してないのか？アホか？
「Λ が有限の場合は, ZF 公理系 (と論理) だけから
(11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており,
順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される」
678:１３２人目の素数さん
18/12/30 09:00:13.12 Fgu/mMxZ.net
>>658
＞他に、言いたいことないですか？（＾＾
ヒルベルトの無限ホテルやら
有理数の小数展開からの
尻尾の同値類の代表元の選定やら
に関して「可算選択公理」は必要とか
いうのは貴様の誤解だから撤回しろ
選択公理はあくまで写像が構成出来ない場合に
その存在を主張するためにあるのであって、
構成できる場合はそれで存在が証明されるから
必要ない こんなこと数学界の常識
知らないスレ主がバカなだけだ
679:１３２人目の素数さん
18/12/30 09:05:26.92 Fgu/mMxZ.net
無限列を有理数の小数展開列に限定した場合
時枝記事の成立に必要な前提は
１）数列しっぽの同値類
だけ
同値関係は只の定義だから否定しようがない
つまり、この時点でスレ主は詰んだ、死んだ
680:１３２人目の素数さん
18/12/30 09:08:53.96 Fgu/mMxZ.net
1/6=0.1666・・・ の場合
同値類の代表元は
0.666･･･
5/6=0.8333・・・ の場合
同値類の代表元は
0.333・・・
つまり、単純に循環節の開始位置を
小数点以下第1位に持ってくればいいだけ
こんなこと自動的に思いつけよ
算数レベルの問題だろｗ
681:１３２人目の素数さん
18/12/30 09:13:17.15 Fgu/mMxZ.net
スレ主は●●の一つ覚えのように
＞自分で逃げ道を塞いでくれている
といってるが、無意味なブラフである
スレ主はなぜか選択公理に固執してるが
正直コピペすればするほど、それが
本質でもなんでもないことが露呈する
袋小路でいくら壁ひっかいても無駄だぞ！
682:１３２人目の素数さん
18/12/30 09:26:30.57 Fgu/mMxZ.net
ぶっちゃけ有理数の代わりに
有限桁だけ0でない小数（有限小数！）
に限定し、0が無限に続く部分列の先頭位置を
決定番号にするとして、0の入る箱を当てる
というバージョンでも時枝戦略は通用する
683:１３２人目の素数さん
18/12/30 09:28:21.11 Fgu/mMxZ.net
スレ主！貴様の負けだ！
諦めてここから失せろ！
684:１３２人目の素数さん
18/12/30 15:02:49.27 5J4BrLOC.net
>>646
だね
こんなバカが時枝記事を論ずること自体がナンセンス
そのナンセンスをこのバカは3年間もやってきた
もっと勉強してから数学板へ来いよと言いたい
685:１３２人目の素数さん
18/12/30 15:10:40.53 5J4BrLOC.net
>>652
このバカ間違いを添削してもらって
＞それで良いですよ
って何だその上から目線はｗ
ほんとピエロだなスレ主って
686:１３２人目の素数さん
18/12/30 15:22:17.33 5J4BrLOC.net
本題に入る前の準備作業で既にフルボッコされててﾜﾛﾀ
ほんとスレ主ってピエロだね
687:１３２人目の素数さん
18/12/30 15:31:56.59 5J4BrLOC.net
「選択公理を免罪符のように使って」とかなんとかほざいていたスレ主が今縦断爆撃
食らって死体の破片を撒き散らかしてるね。
中学レベルも分かってないアホが偉そうに数学板にしゃしゃり出て来るからこうなる。
だからチラシの裏でやってろとさんざん言ってきたのに、頑固爺は人の言うことに聞
く耳を持たない。
688:
18/12/30 15:41:18.59 4y49ABsb.net
>>670
×縦断爆撃
◎絨毯爆撃=Carpet bombing URLﾘﾝｸ(en.wikipedia.org)
689:１３２人目の素数さん
18/12/30 15:47:53.76 5J4BrLOC.net
＞>Ωは{1,･･･,100}でOKなんで
＞が、なぜだめかの続きをやります。
の結論を言わせてももらえないスレ主こそピエロにあらんや
昨日だか一昨日だかは時間が必要とか言ってたが、時間かけても同じだったねｗ
当然だよ、3年かけて進歩ゼロなのに数日追加したところで変わる訳が無いｗ
690:１３２人目の素数さん
18/12/30 17:32:59.69 Fgu/mMxZ.net
>>672
＞結論を言わせてももらえない
そもそも云うべき結論がまだ見つかってないようだ
きっと今も必死に検索してるんだろう
無駄な足掻きだが
691:１３２人目の素数さん
18/12/30 18:15:56.59 soHMwsq2.net
レーダー照射
人には証拠を出せと言いつつ自分から一切出さない
スレ主の電波照射
人には証拠を出せと言いつつ自分から一切出さない
692:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:48:13.94 PWZHndJJ.net
>>671
C++さん、ありがとう
お元気そうでなによりです（＾＾
693:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:51:02.01 PWZHndJJ.net
>>673
まあ、言い逃れが出来ないように、逃げ道を防ぐよう十分時間を取った
さて、それでは、昨日（>>644-645 >>652）からの続き
(>>592 より）ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
が、なぜだめかの続きをやります。
１）まず前振りでピエロちゃん発言引用：
・(>>647 ピエロちゃんより)
「したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね」
・ (>>664-665 ピエロちゃんより引用)
「なぜか選択公理に固執してるが
本質でもなんでもないことが露呈する」
「ぶっちゃけ有理数の代わりに
有限桁だけ0でない小数（有限小数！）
に限定し、0が無限に続く部分列の先頭位置を
決定番号にするとして、0の入る箱を当てる
というバージョンでも時枝戦略は通用する」
(引用終り)
（上記「有限」の場合まで言及してくれてありがとう。かつ、選択公理は本質じゃないよね）
つづく
694:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:53:12.80 PWZHndJJ.net
>>676
つづき
２）次に再確認
（>>645 私スレ主より）
数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
(引用終り)
要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
また、選択公理は好きなときに好きなだけ使って良いとする。
さらに、(＞＞652に書いたように)
選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
だから、前述のように、「有限」でも問題なく適用できることを念押ししておく。
つづく
695:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:56:57.55 PWZHndJJ.net
>>677
つづき
３）さて、本論
反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。
（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう）
b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
c) L＝100m個の箱を、100列のm個の箱の列に並び変える。
m個の長さの数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
決定番号dは、1<= d <=m の値を取る。
d)100列の決定番号の大小比較から、100列中のあるk列で
決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。
g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。
これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。
時枝記事の解法が成立する。
（以上は、>>644-645に記述の数学ロジックの通りです）
以上です。
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
高校数学 >> 高校数学Ⅰ・Ａ >> 集合と条件 必要条件・十分条件(反例)
(抜粋)
「ｐ→ｑ」
Ｐのどの要素もＱに含まれていればこの命題は真ですが，Ｐの要素のうち１つでもＱに含まれないものがあれば，この命題は偽となります．
ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります．
(引用終り)
696:１３２人目の素数さん
18/12/31 07:10:38.15 h9L92WO7.net
>>677
>１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
>この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
>要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
上記の３）、４）の代わりに
５）同値類の代表元の存在
が必要
代表元が存在すれば決定番号（自然数）は存在する
これは同値関係の定義から明らか
スレ主は記事中の同値関係の定義の文章 読んでないのか？
697:１３２人目の素数さん
18/12/31 07:14:23.27 y4r2VQPB.net
添削たーいむ
698:１３２人目の素数さん
18/12/31 07:17:44.67 h9L92WO7.net
>>678
>a)時枝記事において、箱の数を、十分大きな＊）「有限」個の場合を考える。
> （＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう）
まず、ここでアウトね
箱の数は無限個でなくてはならない
有限個だとした時点で、時枝記事の設定を否定したことになる
>b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
全然ダメ 上記のｍは存在しない
箱の数は無限個 スレ主に無限が理解できないなら
この時点でスレ主はここから消えるしかない
>L＝100m個の箱を、100列のm個の箱の列に並び変える。
>m個の長さの数列の しっぽの同値類を考えることができ、
>決定番号dを決めることができる。
>決定番号dは、1<= d <=m の値を取る。
全然ダメ 上記のｍは存在しない
１つの無限列を１００の無限列に並び変える
無限長の数列の尻尾の同値類を考えることができ
決定番号ｄが決まる
決定番号は１以上の任意の自然数（上限値は存在しない）
699:１３２人目の素数さん
18/12/31 07:19:44.34 y4r2VQPB.net
>>678
＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
D=m の場合、開けるべき箱が無いんだが。。。
700:１３２人目の素数さん
18/12/31 07:20:45.28 y4r2VQPB.net
>>678
で？反例はいつ提示されるの？
701:１３２人目の素数さん
18/12/31 07:23:55.32 y4r2VQPB.net
>>678
＞例えば無限に近い巨大な数と思って貰えば分り易いだろう
無限に近い巨大な数って何？ 答え辛かったら例でもいいよ
702:１３２人目の素数さん
18/12/31 07:24:31.22 h9L92WO7.net
>>678を時枝記事の正しい設定に変更
a)時枝記事において、箱の数を、可算無限個と考える。
b)箱は 自然数で番号づけできる
c)可算無限個の箱を、100列の無限列に並び変える。
無限列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
決定番号dは、1<= dの値を取る。
d)100列の決定番号の大小比較から、100列中のあるk列で
決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る
確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、
k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、
的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、
標本空間 Ω＝{1,･･･,100} と取れることを意味する。
g)標本空間 Ω＝{1,･･･,100}とすることによって、
“D >= d^k である確率は、99/100” が導かれる。
これにより、k列で(D+1) 番目から先の箱だけを開け、
k列の代表のD 番目の数を見て、
k列の代表のD 番目の数と一致すると推測すれば、
的中確率は99/100となる。 時枝記事の解法が成立する。
703:１３２人目の素数さん
18/12/31 07:30:20.35 h9L92WO7.net
>>682
>D=m の場合、開けるべき箱が無いんだが。。。
>>678によるスレ主の姑息な改竄は
>>685で修正したので上記のmは無くなった
スレ主は>>665の「有限桁だけ0でない小数（有限小数） 」を見て
勝手に箱の数を有限個としてよいと誤解したようだが、
有限小数の長さの上限値は存在しないから、
当然無限列（有限小数の終わりの次の桁以降0が無限に続く）
を扱わなければならない つまり箱の数は無限個
704:１３２人目の素数さん
18/12/31 07:47:23.79 y4r2VQPB.net
反例ってまだ提示されてないよね？
もしかして>>678が反例のつもりなの？
だとしたら反例という言葉の意味を知らないのかな？
あるいは時枝解法とは別の何かに対する反例を書いたの？
何が何やらサッパリですわ
705:１３２人目の素数さん
18/12/31 07:48:34.59 h9L92WO7.net
>>683
>反例はいつ提示されるの？
間違った設定での間違った反例は無意味
スレ主がこの期に及んで、時枝記事の肝心な前提である
「箱は無限個」を全然受け入れてない、という事実が明らか
になった。
これは「決定番号∞」と同様の誤りである
おそらくスレ主は
「ｍ番目の箱にはもはや次の箱がない！これが反例だ！」
と高らかに宣言するのだろうが、読者は皆失笑するだろう
箱は無限個であって、上記のｍ番目の箱は存在しないのだから
無限を理解せず、有限個に改竄するスレ主は
数学を理解する能力が根本的に欠如している
と言わざるを得ない
706:１３２人目の素数さん
18/12/31 07:49:13.12 av0tGtzM.net
>無限に近い巨大な数
で笑ってしまった。どんな巨大数でも無限に比べれば0に等しい。
そんなのは数学の常識。
やっぱり工学バカには日常用語としての「無数・無限」（巨大数 だが数学上は有限）
と数学上の「無限」の区別がついてないんじゃないかなぁw
707:１３２人目の素数さん
18/12/31 07:49:48.21 y4r2VQPB.net
>>678
スレ主さん、しばらく留守にするから>>687への回答書いといてね
708:１３２人目の素数さん
18/12/31 07:58:17.32 83/Nq/vP.net
おっちゃんです。
AIとか関係ない持ち出して、やたらめったらコピペするのやめろ。
何が何だか話が分からなくなるだろ。
709:１３２人目の素数さん
18/12/31 08:00:26.90 h9L92WO7.net
>>689
>>無限に近い巨大な数
>で笑ってしまった。
「arbitrarily large」を可能無限と誤解する
スレ主なら大いにあり得ること
スレ主は自分が無限も理解できない
一番のピエロであることを全然理解してない
だからこそ３年もピエロを演じ続けられるわけだが
しかしもうピエロの自爆芸にも飽きた
710:１３２人目の素数さん
18/12/31 08:02:22.81 83/Nq/vP.net
全く、スレ主のコピペはしようもない。
大半がスレ主のコピペで埋め尽くされているような感じじゃないか。
711:１３２人目の素数さん
18/12/31 08:08:53.07 h9L92WO7.net
スレ主はどうやら
「任意長の有限列で成り立つ」事柄は
「無限列で成り立つ」と誤解してるらしい
もちろんそんなことはない
有限列には必ず終端があるが
無限列には終端は存在しない
この質的な違いが重要
スレ主の怪しげな”極限”（？）論法は全く通用しない
それにしても延々と選択公理について述べたのは
なんのつもりだったんだろうか？
正直、スレ主が
＞箱の数を、十分大きな「有限」個の場合を考える。
と書いてきたのを読んで、ズッコケた
712:１３２人目の素数さん
18/12/31 08:11:45.64 h9L92WO7.net
スレ主 オウンゴールの軌跡
１．「決定番号∞」
２．「（無限個は）十分大きな「有限」個」
2度あることは3度ある
スレ主は反省する能力がないサル
713:１３２人目の素数さん
18/12/31 08:15:40.07 h9L92WO7.net
ぶっちゃけスレ主の>>678に対する>>685の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味
714:１３２人目の素数さん
18/12/31 08:17:11.85 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。
715:１３２人目の素数さん
18/12/31 08:17:12.64 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。
716:１３２人目の素数さん
18/12/31 08:18:33.52 h9L92WO7.net
>>691
＞おっちゃんです。
おっちゃんはもうここでスレ主の相手しなくていいぞ
スレ主はおっちゃんよりもはるかにバカだと露見したから
無限が十分大きな有限と同じとかほざく時点で
数学的には十分池沼レベル もはや人間失格のサル
717:１３２人目の素数さん
18/12/31 08:24:02.29 83/Nq/vP.net
>>700
それでは、スレ主の相手頼む。
718:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:24:18.77 PWZHndJJ.net
>>679
> ５）同値類の代表元の存在
> が必要
はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
とします
なお、５）決定番号が自然数は自明だが、念のため追加しただけ
719:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:25:09.63 PWZHndJJ.net
>>684
>無限に近い巨大な数って何？ 答え辛かったら例でもいいよ
はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください
その数＋１で結構です
720:１３２人目の素数さん
18/12/31 08:27:35.78 83/Nq/vP.net
721:"noopener noreferrer" target="_blank" class="reply_link">>>699 訂正出来ると思うが、>>700は「>>700(私)」ではなく、「>>699」宛て。 それじゃ、おっちゃん少し寝る。
722:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:27:51.21 PWZHndJJ.net
>>681 >>685-686 >>695
>（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
> (以上は、>>644-645に記述の数学ロジックの通りです）
反例は、時枝記事そのものではないが、ピエロが「時枝記事は成り立つと主張する数学の論理（数学ロジック）」の反例を一つ構成しました
反例は一つでいい
時枝記事を擁護する「時枝記事は成り立つと主張する数学の論理（数学ロジック）」は、破綻しています
723:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:28:47.50 PWZHndJJ.net
>>682 >>688
>＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
>D=m の場合、開けるべき箱が無いんだが。。。
そうですね。ご指摘の通りですね
では、こうしましょう
部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
つづく
724:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:29:58.61 PWZHndJJ.net
（>>673の改訂版）
３）さて、本論
反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。
（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう
例えば、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください。その数＋１で結構です）
b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
c) L＝100m個の箱を、100列のm個の箱の列に並び変える。
m個の長さの数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
決定番号dは、1<= d <=m の値を取る。
c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える。
d)100列の決定番号の大小比較から、100列中のあるk列で
決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。
g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。
これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。
時枝記事の解法が成立する。
（以上は、>>644-645に記述の数学ロジックの通りです）
以上です。
725:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:30:55.69 PWZHndJJ.net
>>690
ありがとう
（>>687）
>もしかして>>678が反例のつもりなの？
Yes
正確には、修正版>>706 を見て下さい
ピエロちゃん（ ID:h9L92WO7 ）が、正確に反応していると思うが、これ反例です。
殆ど自明だが、後で説明します
726:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:32:56.05 PWZHndJJ.net
>>693
おっちゃん、どうも、スレ主です。
私スレ主的には、時枝記事こそ、”しようもない”
（個人的には、もう終わっていて、数学としては殆どゴミだと）
で、根拠（出典）のある”コピペ”こそが
後から見て意味があることだよと
ここで、議論されていることは、あくまで”名無し”（＝素数さん）の発言であって、
後から見てあまり意味があることとは思っていないんだよね
ただ、ピエロちゃんが、面白いから、からかっているだけ（＾＾；
727:１３２人目の素数さん
18/12/31 08:39:12.23 h9L92WO7.net
>>701
＞”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
＞とします
４）、５）は要らない。３）から導けるから
728:１３２人目の素数さん
18/12/31 08:41:42.71 h9L92WO7.net
>>705
>>D=m の場合、開けるべき箱が無いんだが。。。
>では、こうしましょう
>部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
ダメだな そういう姑息な修正では全然対応できない
729:１３２人目の素数さん
18/12/31 08:42:15.36 ZD4X8HMF.net
時枝記事の「しっぽの同値類」は無限列で定義されているわけで
有限列ではどうやって定義すんの？
そのことから書かないと。
730:１３２人目の素数さん
18/12/31 08:46:14.88 h9L92WO7.net
>>707
>ID:h9L92WO7 が、正確に反応していると思うが
だったらL=100mとかいう間違った設定を否定しろ
無限は十分大きな有限じゃないぞｗ
>これ反例です。
全然違う これこそ自明
>後で説明します
間違った前提による偽反例の説明なんか聞くだけ無駄だがな
スレ主は自分の「無限＝十分大きな「有限」」の誤りが
本当に理解できないほどの池沼なのか？
731:１３２人目の素数さん
18/12/31 08:52:54.89 h9L92WO7.net
>>708
数学板の読者諸氏にとってここのスレ主は全く”しようもない”
（数学的には、もう終わっていて、数学としては全くゴミ）
誰が言ったか分からん英語の掲示板の
根拠不明な文章の”コピペ”のどこが
どれほど意味があるのかｗ
ここの書き込みは議論ではない
スレ主に対する教育
まあ、実際は無知無能なスレ主をおちょくってるだけだがねｗ
それにしても無限を理解しないバカでも入れる大学ってあるんだな？
いったいどこだよ 国立大学じゃないことは確かだがな
732:１３２人目の素数さん
18/12/31 08:58:23.48 h9L92WO7.net
スレ主の「反例」はどうせ
「確率１で決定番号は自然数でない」
とかいう馬鹿丸出しの主張だろうｗ
し・か・し、上記の主張はそもそも
「同値類の代表元は、
同値類の任意の元と
しっぽの同値関係にある」
という性質と思いっきり矛盾する
しっぽの同値関係にあるということは
ある有限桁（当然自然数で位置が示せる！）から
先の尻尾が一致するということ
スレ主は時枝記事をロクに読まず、当然理解もしていない
実にお粗末極まりない
733:１３２人目の素数さん
18/12/31 09:10:37.55 h9L92WO7.net
スレ主は>>706の改竄版ではなく以下の正式版に対する反例を提示すべし
a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、
箱の数を、無限個と考える。
c)無限個の箱を、100列の無限箱の列に並び変える。
無限長の数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
決定番号dは、1<= d の値を取る。
d)100列の決定番号の大小比較から、100列中のあるk列で
決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。
g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。
これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。
時枝記事の解法が成立する。
734:１３２人目の素数さん
18/12/31 09:14:35.07 h9L92WO7.net
ぶっちゃけスレ主の>>706に対する>>715の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味
735:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:48:01.38 PWZHndJJ.net
>>711
>時枝記事の「しっぽの同値類」は無限列で定義されているわけで
>有限列ではどうやって定義すんの？
はい
(>>21より)
（ 特に時枝記事アスキー版 スレ47 ｽﾚﾘﾝｸ(math板:18番)-25 ）
（時枝記事より）
同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
↓
（時枝記事の有限版（mを2015より十分大きく取っておくとする））
同値関係を使う.
実数列の集合 R^mを考える.
s = (s1，s2，s3 ，・・・，sm )，s'=(s'1， s'2， s'3，・・・，sm )∈R^mは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわば時枝記事の有限版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
以上
736:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:51:11.41 PWZHndJJ.net
>>715
必死に言い訳をするピエロちゃん ッﾌﾟ（＾＾
>箱の数を、無限個と考える。
無限個で無ければならない理由は？？
実際、時枝記事の”ふしぎな戦略”において、
お説（>>709）のように、時枝記事は”１）選択公理、２）数列しっぽの同値類”で成り立っている
既に、確認したように、貴方がすがっていた「選択公理」は、無限集合に限定されず、「選択公理」でできることは有限集合でも同じことは可能だ
”数列しっぽの同値類”は、上記（>>717）のように、有限長数列でも可能だ
また、同値類から導かれる代表元と決定番号もまた、有限長数列でも可能だ
なので、有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
というより、何よりも、反例は一つで良い。
有限長の数列ではあるけれども、そこに反例が存在するならば
「無限」という要素を加えて、”無限長ゆえに成り立つ”ということを、改めて証明すべき
ところで、時枝記事を読む限り
時枝記事前半の”ふしぎな戦略”の説明において、無限長で無ければならない数学的要素は、一つも無い
（繰返すが、時枝記事は”１）選択公理、２）数列しっぽの同値類”で成り立っている）
全て、有限長数列でも可能な数学的要素のみしか使われていない
（これについては、例えば、時枝記事アスキー版 スレ47ご参照 ｽﾚﾘﾝｸ(math板:18番)-25 ）
有限で、唯一の不具合は、有限の場合、「D=m の場合、開けるべき箱が無い」(>>682)ということだが
”c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える”とすること（>>706）で、この不具合は回避できる
どうぞ、”数列が無限長で無ければならない理由”を説明してください
というより、”数列が無限長で無ければならない理由”が説明できない以上、それは数学ではない！！
そして、”数列が無限長で無ければならない理由”を説明する過程で、
貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
以上
737:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:52:25.66 PWZHndJJ.net
まあ、昨日まで、「有限」でも良いと言っていたピエロ
今日は、必死に「無限に限定します」と宗旨替えの図だ（＾＾；
738:１３２人目の素数さん
18/12/31 13:21:28.66 omflZ2LR.net
問題を勝手に作り変えて威張られてもなあ
739:１３２人目の素数さん
18/12/31 13:31:18.28 y4r2VQPB.net
>>702
＞はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください
ちなみにスレ主の考え得る大きな数って何？
740:１３２人目の素数さん
18/12/31 13:40:47.85 ZD4X8HMF.net
昨日の循環小数を使った選択公理不要のバージョンは面白いと思ったぞ。
あと有限小数で残りがすべて0の無限個の箱のバージョンで、「0の箱を当てる」
というバージョンでも成立する。
誰も「有限個の箱で成立する」とは言ってない。そんなことも読み取れない工学バカ。
741:１３２人目の素数さん
18/12/31 13:47:58.51 h9L92WO7.net
>>718
>>箱の数を、無限個と考える。
>無限個で無ければならない理由は？？
時枝記事にそう書いてある
>有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
それを証明してごらん、スレ主よｗ
スレ主が"Arbitrary large number" Theory、つまり
「任意の有限個で成り立つなら、無限個で成り立つ」
とかいう俺様理論を提唱しているらしいことは
以前からわかっているが、そんなものは数学では
全く認められていない
無限列における尻尾の同値類では、同値な2列の場合、
どの箇所から一致するとしてもそこから先必ず
無限一致列がとれる
これは任意長の有限列では決して成り立たない性質である
時枝論法はそもそも無限個の箱を使う前提なのだから
０）箱が無限個
なんてことはわざわざ書かない
>有限長の数列ではあるけれども、そこに反例が存在するならば
>「無限」という要素を加えて、”無限長ゆえに成り立つ”
>ということを、改めて証明すべき
何言ってんだ？このバカスレ主ｗ
そもそも無限長が前提なのだから
「有限長の数列ではあるけれども」
といった瞬間にそれは反例でなくなる
”無限長ゆえに成り立つ”ことは
決定番号がいくつであってもその次の箱が存在する、
という性質から明らか
こんな自明なことに気づけないスレ主は正真正銘の池沼ｗ
742:１３２人目の素数さん
18/12/31 13:49:46.60 ZD4X8HMF.net
時枝戦略が成立するのは無限に一致している箱の同値類が取れるからだよ。
有限個だと最後のひと箱だけ一致しているのを「同値類」と強弁して
その一個前が「当てられないだろう」とスレ主は言うつもりだろw
やっぱり工学バカは「有限と無限の区別が付いてなかった」んだなぁw
743:１３２人目の素数さん
18/12/31 13:54:28.66 y4r2VQPB.net
>>705
＞部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
わろた
自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人
代表系を定める権利は回答者にあるのだから、出題者は予め回答者から代表系を入手して
それに合うように出題する必要があるよね？そうでないと限定した範囲をはみ出るよ？
「どんな実数を入れるかはまったく自由」じゃないよね？
それ時枝問題ちゃいまっせ？あなたは一体何を主張したいの？
まあ箱の数が有限の時点で既に時枝問題じゃないんだがｗ
744:１３２人目の素数さん
18/12/31 14:08:15.15 y4r2VQPB.net
>>704
＞「時枝記事は成り立つと主張する数学の論理（数学ロジック）」は、破綻しています
え？↑が主張したいことなの？
で、「時枝記事は成り立つと主張する数学の論理（数学ロジック）」ってなに？
＞>>644-645に記述の数学ロジックの通りです
と言われてもわからん。だって>>644-645って絨毯爆撃浴びて木っ端微塵にされたじゃん。
ちゃんと「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを
示しなさいな。それせずに「それが破綻してる」と主張してもナンセンスだよ。
745:１３２人目の素数さん
18/12/31 14:10:27.64 h9L92WO7.net
>>718
>時枝記事を読む限り
>時枝記事前半の”ふしぎな戦略”の説明において、
>無限長で無ければならない数学的要素は、一つも無い
「無限長で無ければならない数学的要素」なら
>>682が真っ先に指摘したぞ
貴様も後で述べてる↓これだ
>有限で、唯一の不具合は、有限の場合、
>「D=m の場合、開けるべき箱が無い」(>>682)
>ということだが
ところで
>簡単のために、部分集合として、
>決定番号が、1<= d <=(m-1)の場合を考える
>とすること（>>706）で、この不具合は回避できる
箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ
貴様、また自爆か？
不具合回避でせっかくの反例を潰してしまったようだなｗｗｗ
ギャハハハハハハ！！！
746:１３２人目の素数さん
18/12/31 14:11:24.75 y4r2VQPB.net
>>708
＞で、根拠（出典）のある”コピペ”こそが
＞後から見て意味があることだよと
少なくともスレ主には無意味だよね？
だってコピペした内容を理解してないんだから
747:１３２人目の素数さん
18/12/31 14:16:23.42 h9L92WO7.net
>>725
＞自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人
しかもそのおかげでせっかくの反例を潰してしまったｗ
>>727でも書いた通り
「箱がｍ個だが、一致開始箇所は、ｍ－１番目まで」
と限定した時点で
「ｍ番目の箱を見ればｍ－１番目の箱が予測できる」
という必勝パターンができてしまったｗ
確率９９／１００じゃなく１
しかも他の列を見ることなく位置はｍ－１と指定できる
反例を示すつもりで必勝ゲームを作ってしまった
とことんおバカなスレ主のピエロっぷりｗｗｗ
２０１８年の大晦日に十分楽しませてもらったぞ！
748:１３２人目の素数さん
18/12/31 14:21:56.08 h9L92WO7.net
「決定番号∞」がミッドウェイ海戦なら
今回の「1<= d <=(m-1)の場合を考える」は
大和の沖縄特攻作戦に喩えられる暴挙だろう
それにしても自分で反例を完全に潰すとは・・・ププッ
バカもここまでくるとアッパレだなｗｗｗｗｗｗｗ
749:１３２人目の素数さん
18/12/31 14:29:58.48 h9L92WO7.net
>>718
>どうぞ、”数列が無限長で無ければならない理由”を説明してください
>というより、”数列が無限長で無ければならない理由”が説明できない以上、
>それは数学ではない！！
スレ主の壮烈な自爆ｗを見た後では、この文章は
「ボクちゃん、無限が理解できないの
無限が有限とどう違うか説明ちて？
じゃないと、無限なんて数学とは認めないゾ！」
と駄々こねてるようにしか見えないｗｗｗ
＞そして、”数列が無限長で無ければならない理由”を説明する過程で、
＞貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
「数列が有限長でも同じ」と言い張る過程で
確率１で予測が成功する必勝ゲームを作ってしまった
哀れなスレ主の冥福を祈る (-||-)
750:１３２人目の素数さん
18/12/31 14:40:05.22 h9L92WO7.net
スレ主の
「簡単のために、部分集合として、
決定番号が、1<= d <=(m-1)の場合を考える
とすることで、この不具合は回避できる」
による「反例なし必勝ゲーム」
（m番目の箱を見ればm-1番目の箱が予測できる）
という完全自爆の後では 何をいっても
「ピエロちゃん えらいねー、
おサルなのに 沢山カキコして
今日も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾」
とコピペで済ませられるってもんだｗｗｗｗｗｗｗ
751:１３２人目の素数さん
18/12/31 14:44:49.60 y4r2VQPB.net
>>706
「箱の数が有限だと時枝解放は成立しない」に対する反例ってこと？
で、
＞c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える
↑の怪しげな宣言は何？
問題を変えましたという宣言？
いやいやｗ 試合の途中で勝手にゴールの位置変えちゃダメでしょｗ
752:１３２人目の素数さん
18/12/31 14:57:37.22 h9L92WO7.net
>>733
「有限列の場合時枝戦略が成功しない」という反例を作るつもりが
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
と列を限定したために、時枝戦略以上の必勝戦略（m番目の箱を開けるだけで
m-1番目の箱の中身が確率１であたる）をつくってしまう完全自爆ｗ
ルール変えてしかもオウンゴール
スレ主ってここまでバカだと思わなかったよｗｗｗｗｗｗｗ
753:１３２人目の素数さん
18/12/31 15:05:41.25 y4r2VQPB.net
>>718
＞そして、”数列が無限長で無ければならない理由”を説明する過程で、
＞貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
わろたｗ
己の主張の証明を他人（しかもその主張を認めない側）に丸投げしちゃったよこの人ｗ
なに？さんざん気を持たせといて結局何一つ示せてないじゃん、アホくさ～
754:１３２人目の素数さん
18/12/31 15:08:37.71 h9L92WO7.net
>>735
＞己の主張の証明を他人に丸投げしちゃったよこの人ｗ
しかも丸投げしたものが、己の主張の完全否定ｗ
スレ主がいかに安易に
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
といって、その後どうなるか一度も考えなかったことがバレバレ
自爆提案を敵に丸なけする究極のバカ それがスレ主ｗｗｗｗｗｗｗ
755:１３２人目の素数さん
18/12/31 15:09:08.37 y4r2VQPB.net
>>718
＞”無限長ゆえに成り立つ”ということを、改めて証明すべき
無限の場合は既に証明されてます。時枝記事を読んでください。
756:１３２人目の素数さん
18/12/31 15:16:36.84 h9L92WO7.net
>>737
ついでにいうとスレ主の愚劣改変案のような
１）決定番号に上限Dがある
２）D+1番目の箱がある
という状況では
「D+1番目を開ければ、D番目が分かる」
とかいう必勝戦略が実現できるが
１）が満たされない、つまり
無限列で決定番号に上限がない場合は、
時枝記事の戦略によるしかないだろう
757:１３２人目の素数さん
18/12/31 15:19:06.90 y4r2VQPB.net
>>718
＞有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
客室数が有限個のホテルでは「満室でももう1人泊められる」が破綻してるが、
客室数が無限個のホテルでは破綻してないんだけど、何か？
758:１３２人目の素数さん
18/12/31 15:30:00.93 y4r2VQPB.net
ん～ どうもスレ主という人物は「無限とは何か」が壊滅的にわかってないようだ
古代ギリシャ人の方が遥かに無限を理解してるぞｗ
759:１３２人目の素数さん
18/12/31 15:33:19.15 h9L92WO7.net
ID:y4r2VQPBさん
以下の文章を読んでいただき
感想をお願いします
---
>簡単のために、部分集合として、
>決定番号が、1<= d <=(m-1)の場合を考える
>とすること（>>706）で、この不具合は回避できる
箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ
760:１３２人目の素数さん
18/12/31 15:57:57.54 y4r2VQPB.net
>>741
＞箱はm個だが決定番号mの列は想定しない、ということなら
＞m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います
761:１３２人目の素数さん
18/12/31 16:05:45.73 h9L92WO7.net
>>742
どうもすみません
自明なことをわざわざご確認いただきまして
スレ主が「反例！反例！」と騒ぐんで
姑息な改変案を確認したら・・・
反例どころか完全に予測可能！
スレ主は自分の改変案で予測不能かどうか
一度もチェックしてないってことですね
いやほんと考えることが嫌いなバカなんですね スレ主は
762:１３２人目の素数さん
18/12/31 17:38:43.97 jfNleUVx.net
数学板のコテを集めてランク付けしようぜwwwww
ｽﾚﾘﾝｸ(math板)
763:１３２人目の素数さん
18/12/31 17:41:35.20 h9L92WO7.net
>>744
スレ主 安定の最底辺だな
764:
18/12/31 17:46:30.87 I8bqvQKd.net
>>745
私も参加することにしました、狂人枠で
765:１３２人目の素数さん
18/12/31 18:04:48.28 h9L92WO7.net
>>718で自爆死したスレ主は故人枠だなｗ
766:１３２人目の素数さん
18/12/31 22:10:57.21 1cUs/ABC.net
スレ主に間違いを指摘したら
スレ主が理解できた場合
「それでいい。ありがとう」
スレ主が理解できなかった場合
Wikipediaなどのコピペ大量書き込み
スレ主がどうしようもなくなった場合
「必死に言い訳をするピエロちゃん ッﾌﾟ（＾＾ 」
2018年はスレ主の馬鹿っぷりととともに終わります
スレ主以外のみなさま良いお年を～～
767:１３２人目の素数さん
19/01/01 07:21:28.57 hTB7MY8/.net
スレ主は撃沈でいいのかな？
取りあえず敗北宣言してスレ削除してくんない？
ガキじゃないんだから後始末ちゃんとしようね
768:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:06:31.03 5JqLTK2h.net
まず、ご挨拶
皆様、明けましておめでとうございます。
本年もよろしくお願いいたします。ｍ（＿ ＿）ｍ
769:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:07:07.90 5JqLTK2h.net
>>721
>＞はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください
>ちなみにスレ主の考え得る大きな数って何？
私の知っているのは、
“巨大数” URLﾘﾝｸ(ja.wikipedia.org)
くらいですね
770:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:07:48.33 5JqLTK2h.net
>>725
>代表系を定める権利は回答者にあるのだから
それだめですよ。代表系の決め方はすでに時枝記事に書かれています。それ前提です。全く違う数理を採用することは不可。もちろん、ある同値類内で、代表rを別の元r’ にすることは、回答者の自由でしょうが。
一方、「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができるということです。
そして、反例は一つで良い。「有限」の場合に反例が構築できるなら、数理として、時枝記事はもう一度見直されるべきですよね。
771:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:08:20.30 5JqLTK2h.net
>>726
>「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを示しなさいな。
それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
そして、>>706に“（以上は、>>644-645に記述の数学ロジックの通りです）”と纏めています
772:>
>>706 おっと、リンク間違っているね リンク訂正 （>>673の改訂版） ↓ （>>678の改訂版）
773:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:09.46 5JqLTK2h.net
>>737
>＞”無限長ゆえに成り立つ”ということを、改めて証明すべき
>無限の場合は既に証明されてます。時枝記事を読んでください。
はい
その（証明）（カッコ付き）は、「無限」でなくともそのまま成立します。
「有限」の場合でも“部分集合として、決定番号が、1<= d <=(m-1)”（>>706）とすることでＯＫですね
774:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:36.74 5JqLTK2h.net
>>746
C++さん、お元気そうでなによりです（＾＾
775:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:11:16.56 5JqLTK2h.net
さて本題
>>718-719の補足：
１）>>706を時枝記事の有限モデルと名付けよう。（有限数列のしっぽの同値類は>>717に定義の通り）
２）これは、反例です（>>707の通りです。殆ど自明だが、後で説明します）
３）さらに補足すると、決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100) が与えられたとしよう。
その場合、有限モデルで、ｍ＋α（“プラスアルファ”と読む（＾＾。α>=1の整数）と取ることで、このような決定番号をカバーする有限モデルを、構築することができる。
４）なお、>>706でピエロの“g)標本空間 Ω＝{1,･･･,100}”が正当化されるのは、「決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100)」が与えられからであり、そのような場合は、必ずこのような決定番号をカバーする有限モデルを構築することができる。（上述３）の通り。）
５）繰返すが、時枝記事前半の”ふしぎな戦略”の説明では、無限長で無ければならない数学的要素は一つも無い。従って、有限モデルを構築することができる。時枝記事に書かれている”ふしぎな戦略”には、必ずそれをカバーする有限モデルを構築することができる。
以上
776:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:13:20.52 5JqLTK2h.net
＜有限モデルの反例について＞
下記のように誤解して頂けると、ありがたい（＾＾
（時枝記事が、“全く理解できてない”ってことが、露呈するので（＾＾； ）
（そのうち説明しますが、上記>>757の２）(>>707)の通りです。殆ど自明だが、後で説明します。自得する人も多いと思おうので、時間をおいてじっくりやります）
>>727 >>729 >>732 >>734 >>741 >>743
「箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ」
>>742
（>>741より）
＞箱はm個だが決定番号mの列は想定しない、ということなら
＞m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います
777:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:13:55.14 5JqLTK2h.net
あと、このスレはもうすぐ512ＫＢオーバーになるので、新スレを準備しておきます
間に合えば、このスレにも新スレ立てたと書きます
778:１３２人目の素数さん
19/01/01 11:03:36.66 hHuoOtTW.net
>>758
>下記のように誤解して頂けると、ありがたい（＾＾
誤解でもなんでもない
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
779:１３２人目の素数さん
19/01/01 11:04:28.59 BXYtbc9n.net
1年ぶりくらいに覗いてみたらまだ時枝の話してて盛大に吹いたwww
スレ主さんが元気そうでなによりだよ
780:１３２人目の素数さん
19/01/01 11:06:38.15 hHuoOtTW.net
>>758
>そのうち説明しますが
スレ主が自爆したことは説明の必要ありませんが
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
781:１３２人目の素数さん
19/01/01 11:08:45.76 hHuoOtTW.net
>殆ど自明だが、
スレ主が自爆したことは「殆ど」ではなく「全く」自明です
>後で説明します。
自爆の説明は不要です スレ主が軽率なのは皆先刻承知です
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾
782:１３２人目の素数さん
19/01/01 11:09:55.15 hHuoOtTW.net
>自得する人も多い
スレ主自身がまず自得しましょう
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
783:１３２人目の素数さん
19/01/01 11:16:46.24 hHuoOtTW.net
>時間をおいてじっくり
自爆を理解するまで書き込まなくていいぞ！
負け犬ピエロのスレ主ｗｗｗｗｗｗｗ
784:１３２人目の素数さん
19/01/01 11:21:24.59 hHuoOtTW.net
>>759
>新スレを準備しておきます
必要ないって
負け犬ピエロのスレ主の泣言スレなんかｗｗｗｗｗｗｗ
785:１３２人目の素数さん
19/01/01 11:29:46.89 hHuoOtTW.net
>>752
>「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができる
同値関係の定義も、決定番号の定義も上記の通り
しかし、有限個の場合、決定番号Dが最後尾なら
時枝戦略の以下の手続きが実現できない
3.第k列のD+1 番目から先の箱だけを開ける。
s~k_D+1,s~k_D+2,s~k_D+3,･･･
を見て代表r=r(s~k)が取り出せる。
で、上記３．が可能となるよう、
末尾が決定番号とならない形
に改変すると、末尾を見ることで
末尾の直前の箱が１００％予測可能ｗ
１００％予測可能じゃ反「反例」だなｗ
786:１３２人目の素数さん
19/01/01 11:35:20.52 hHuoOtTW.net
>>726
>「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを示しなさいな。
>それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
時枝記事に「無限」と書いてあるなら
「有限」を持ち出すスレ主がルール違反の犯罪者
しかも、それで末端が決定番号にならないよう改変したら
１００％予測の自爆 スレ主は自ら敗北したんだよ
言い逃れのしようもないな
787:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています