18/12/29 16:30:52.49 dAnabccJ.net
>>601
>3年の間スレ主の傍証は尽く否定されたし、
そりゃ決定番号∞とか、無限列の連接とか
トンデモな素人発想が速攻三秒で否定されるのは
あたりまえだろｗｗｗ
>スレ主は一度も時枝解法の間違い箇所を指摘できていない。
スレ主は選択公理を否定したがらないから、代表元は必ずとれてしまう
同値類の性質は定義だから、代表元が存在すれば決定番号は自然数になる
決定番号が自然数なら、１００個の自然数中、
他の９９個より大きな数は存在するなら1個だけだ。
最大値となる自然数が２個以上の場合は、時枝戦略は必ず成功する
つまり、時枝戦略が失敗する可能性はたかだか(100-1)/100=99/100
>なのに何故スレ主が未だに不成立と思ってるのかが謎。
スレ主は単に「独立の筈なのに予測できるわけがない」と
感情的に反発しつづけてるだけ。論理的根拠は特にない。
ただ、それではバカ扱いされるだけなので、
非可測性に固執して「確率は計算できない」と
もっともらしい顔して反対してるだけ。
時枝の「証明」に対する反論のネタは見つけられずしまい。
>誹謗中傷しかできない荒しとなってまで不成立の立場を守る価値があるのか？
スレ主は●違いだから仕方ない
文章がまともに読めない時点で知能指数も格段に低そうだ
大学は出てるらしいが、MARCHどころか日東駒専、
いや大東亜帝国なみのカス大学だろ
ぶっちゃけ早慶とかいうことはない
659:１３２人目の素数さん
18/12/29 16:31:37.70 9ok3z8n8.net
>>608
＞>100個の決定番号が相異なることは保証されていないから・・・
＞
＞おっちゃんがなぜ、Ωの元に決定番号をとりたがるのかわからんが
＞単に（列番号.決定番号)の組を考えればいいだけ
私が間違いをした時点では正確な時枝記事の問題を忘れていて、
そのとき決定番号にしつこくダダこねてこだわって来たスレ主に付き合った。
660:１３２人目の素数さん
18/12/29 16:37:30.48 dAnabccJ.net
>>609
スレ主はAIで失職する人材の典型だろう
スレ主でもできるような計算もしくは機械的作業なら
AIは難なくやりこなすだろうから
スレ主は時枝記事の肝心の戦略の箇所が読解できないから
完全にAIに負けている AIにできない仕事に就くのは無理だろう
661:１３２人目の素数さん
18/12/29 16:44:07.16 dAnabccJ.net
このスレが人気の理由が専らスレ主によるところなのは間違いない
しかし、それはスレ主が思ってるような理由（スレ主が賢い、等）ではない
ぶっちゃけスレ主がアホのくせにリコウぶって
わけのわからんことを書き続けるのが滑稽だから
というこの一点につきるｗ
スレ主がなんでコピペばっかりするのか？
要するにキーワードで検索するだけで
みつかった結果の文章を読解できない
残念なオツムの持ち主だからだろう
662:１３２人目の素数さん
18/12/29 17:42:27.99 9ok3z8n8.net
>>592
まあ、何れにしろ、時枝記事の問題は単純に古典的な確率論でに考えた方が簡単。
663:１３２人目の素数さん
18/12/29 17:46:28.77 9ok3z8n8.net
>>578
あと、上の方で IUT のことにスレ主は触れていたが、
長い IUT の論文を読むことは、マトモな洋書を1冊読むようなことに当たる。
正しいかどうかだけでなく、応用面も限られているようだしな。
見たところ、解析的なことには使えなさそうだ。
そのようなこともあり、IUT をするなら、他のことをした方がいい。
とはいっても、スレ主は驚いたことに中学レベルであったが。
それじゃ、おっちゃんもう寝る。
664:１３２人目の素数さん
18/12/29 18:03:59.83 Om+har0l.net
変数と定数の違いがわからないスレ主は中学生にバカにされるレベル
さらに国語も英語もダメ
反論があるなら「確率変数∈R」や「infinite：実無限」と書かれている書籍名を答えてからね
665:１３２人目の素数さん
18/12/29 18:05:36.2
666:5 ID:X/1uhhp/.net
667:１３２人目の素数さん
18/12/29 18:06:40.06 dAnabccJ.net
IUTに比べたら時枝記事なんか所詮２ｐだろ
そのくらい三分で読めよ、といいたい
スレ主みたいに３年も「わからん！」と駄々こねるのは異常
668:１３２人目の素数さん
18/12/29 18:08:53.51 dAnabccJ.net
>>617
＞おっちゃんにまでバカにされてるのかw
実際スレ主はおっちゃんよりバカだろ
本人はおっちゃんより賢いと思い込んでるみたいだがｗ
669:１３２人目の素数さん
18/12/29 18:38:23.02 dAnabccJ.net
>>611
＞決定番号にしつこくダダこねてこだわって来たスレ主
スレ主は自己愛性人格障害だからな
世界は自分のためにある、と本気で思ってる
670:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:23:23.17 nqXwmrkU.net
じゃ、ご要望により、
(>>592 より）
ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
では、なぜだめか
を説明します
もう”改変は無し”でお願いしますよ！ （＾＾
（>>508で確認を入れていますからね。多分、多くの人は途中で”なぜだめか”に気付くでしょうが ）
先は長いので、またーりしましょうね
まず、選択公理を確認しましょうね（＾＾
「選択公理を使えば、いろんなことができる」は、ある意味正しいが、ある意味では正しくない
選択公理が、魔法の杖のように勘違いしている人がいるので、まずここから
・選択公理については、沢山の文献があるが、下記に適当なものを引用した
・選択公理は、カントール以前の人たちには意識されず、無限集合についても有限集合と同じように扱えると、直感的に捉えていた
・カントール以降、有限、可算無限、非可算無限、それ以上 ということが意識され
・集合論をもとに、数学を公理化しようという動きが活発になった。それが20世紀初頭
・上記のように、選択公理は、数学を公理化しようという動きの中で、”無限集合についても有限集合と同じように扱える”ということを公理化したもの
（選択公理の”えらい”（未定義用語だが）ところは、公理として明解な表現にしたところにある。
その機能は「有限集合に直観的に行っていた操作（ここも厳密な定義はしないが）と同じ」だと。）
・上記のようなことは、どこにでも書いてある（勿論下記引用にもある）
強調したいことは、当然有限集合に対しても、選択公理と同じ操作が可能だと（例えば下記のen.wikipedia Axiom of choice”Restriction to finite sets”ご参照）
・似たようなことで、可算集合に限定した可算選択公理というものも考えられて、「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」（ja.wikipedia 選択公理 選択公理の変種 可算選択公理より）と言われる
つづく
671:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:25:12.23 nqXwmrkU.net
>>621
つづき
ここがすべってしまうと、先に進まないので、念押しです
今日はここまで （後で少し補足入れますが）（＾＾
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
第11章 選択公理 改訂(2018.06.04) 執筆中の本「集合・写像・数の体系(仮)」の草稿 尾畑 東北大
(抜粋)
11.2 選択公理
もし Λ が有限ならば, (11.7) に示したように, 直積集合は順序対または有限列
に帰着されるので, (11.11) は当然成り立つ. ところが, Λ が無限集合の場合は
そうはいかない. こ�
672:ﾌ違いを理解するためには, 有限の場合に「当然成り立つ」 とした根拠を明らかにする必要がある. 実際, 集合論の発展とともに, このよう な問題が認識され始め, 大論争になった. 結果から言うと, Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される. しかし, Λ が無限集合に なると, この議論が通用せず, ZF 公理系の下で (11.11) を証明することができな い. したがって, 必要なら証明なしで公理として認めざるを得ない. この公理こ そが選択公理である. https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 (抜粋) 選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。 つづく
673:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:28:45.06 nqXwmrkU.net
>>622
つづき
定義
空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。
あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像
略
であって任意の x∈ A に対し f(x)∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。
確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
バナッハ＝タルスキーのパラドックスと選択公理
選択公理は「どれかひとつを選んで取り出すことができる」という一見当たり前で直感的な命題に見える。しかし、無限集合においてそのような選択を行えるかどうかは自明ではないという主張もある。
実際、選択公理は、一見、奇怪で非直観的な結果を導く。バナッハ＝タルスキーのパラドックスはそのような結果の中でも有名なもので、「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。
つづく
674:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:30:30.29 nqXwmrkU.net
>>622
つづき
定義
空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。
あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像
略
であって任意の x∈ A に対し f(x)∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。
確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
バナッハ＝タルスキーのパラドックスと選択公理
選択公理は「どれかひとつを選んで取り出すことができる」という一見当たり前で直感的な命題に見える。しかし、無限集合においてそのような選択を行えるかどうかは自明ではないという主張もある。
実際、選択公理は、一見、奇怪で非直観的な結果を導く。バナッハ＝タルスキーのパラドックスはそのような結果の中でも有名なもので、
「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。
つづく
675:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:32:44.63 nqXwmrkU.net
>>623-624
（ダブりなので、どちから一つ省略）
つづき
選択公理の変種
可算選択公理
カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Axiom of choice
(抜粋)
Restriction to finite sets
The statement of the axiom of choice does not specify whether the collection
676:of nonempty sets is finite or infinite, and thus implies that every finite collection of nonempty sets has a choice function. However, that particular case is a theorem of the Zermelo?Fraenkel set theory without the axiom of choice (ZF); it is easily proved by mathematical induction.[6] In the even simpler case of a collection of one set, a choice function just corresponds to an element, so this instance of the axiom of choice says that every nonempty set has an element; this holds trivially. The axiom of choice can be seen as asserting the generalization of this property, already evident for finite collections, to arbitrary collections. (引用終り) つづく
677:１３２人目の素数さん
18/12/29 19:36:09.08 dAnabccJ.net
>>621-622
＞では、なぜだめか を説明します
結論からいうと、現時点では説明できてないけどね
＞まず、選択公理を確認しましょうね
スレ主が自分一匹で確認しろよ
＞どれも空でないような集合を元とする集合
＞（すなわち、集合の集合）があったときに、
＞それぞれの集合から一つずつ元を選び出して
＞新しい集合を作ることができる
時枝記事でいえば、
「空でないような集合」＝「同値類」
「それぞれの集合から一つずつ元を選び出す」
＝「同値類の中から代表元を選び出す」
ということ
つまり、同値類から代表元を選び出せる
というのは選択公理の直接的帰結
反論の余地はない
678:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:36:12.43 nqXwmrkU.net
>>625
つづき
若干の補足：
「バナッハ＝タルスキーのパラドックス」が、”選択公理のせい”とよく言われるが、半分当たっていて半分外れ
”選択公理＋無限集合のせい”というのが、正確なとらえ方だろうと
つまり、下記に解説があるが、3次元ユークリッド空間の有界な部分集合を、
点集合は選択公理を使ってつくられる選択集合で構成することで、パラドックス的状況が生じる
が、良く考えると、点集合は無限集合なわけで
それは、デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（下記”デデキント無限”参照）を持つわけで
ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い
繰返すが、これらのパラドックスは、”選択公理＋無限集合のせい”というのが、正確なとらえ方だろうと思う
URLﾘﾝｸ(ja.wikipedia.org)
バナッハ＝タルスキーのパラドックス
(抜粋)
・3次元ユークリッド空間の有界な部分集合で、内部が空でないもの(つまり、有限の拡がりを持ち、曲線や曲面ではないもの)を任意に二つ選んだとすると、それらは分割合同である。
言い換えると、ビー玉を有限個に分割して組み替えることで月を作ったり、電話を組み替えて睡蓮を作ったり出来る（当然のごとく材質は変えられない）、ということである。
この定理の証明で、点集合は選択公理を使ってつくられる選択集合で構成されており、各断片はルベーグ可測ではない。
すなわち、各断片は明確な境界や通常の意味での体積を持たない。物理的な分割では可測な集合しか作れないので、現実にはこのような分割は不可能である。
しかしながら、それらの幾何学的な形状に対してはこのような変換が可能なのである。
つづく
679:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:36:56.03 nqXwmrkU.net
>>627
つづき
この定理は 3次元以上の全ての次元においても成り立つ。
2次元ユークリッド平面においては成り立たないものの、
2次元においても分割に関するパラドックスは存在する: 円を有限個の部分に分割して組替える事で、同じ面積の正方形を作ることが出来るのである。これはタルスキーの円積問題(en:Tarski's circle-squaring problem)として知られている。
2次元ユークリッド平面においては、合同変換ではなく面積を保つ変換に条件をゆるめると、バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、1929年にジョン・フォン・ノイマンが証明した。
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルトの無限ホテルのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
無限
(抜粋)
デデキント無限
詳細は「デデキント無限」を参照
ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。
URLﾘﾝｸ(ja.wikipedia.org)
デデキント無限
(抜粋)
デデキント無限集合であるとは、A と同数（equinumerous）であるようなA の真部分集合B が存在することである。それはつまり、A とA の真部分集合B の間に全単射が存在するということである。
(引用終り)
以上
680:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:40:48.75 nqXwmrkU.net
>>626
はいはい、ピエロちゃん
自殺行為ありがとう
そうやって、自分で逃げ道を潰してくれると
助かるわ（＾＾；
681:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:43:31.75 nqXwmrkU.net
突然ですが、メモを貼る
時枝とは関係薄いですが（＾＾
URLﾘﾝｸ(researchmap.jp)
榛葉 豊 researchmap
URLﾘﾝｸ(www.sist.ac.jp)
榛葉 豊＊ Yutaka SHINBA
URLﾘﾝｸ(www.sist.ac.jp)
教員の専攻分野 科学哲学 / 科学基礎論
URLﾘﾝｸ(www.sist.ac.jp)
量子力学の数学形式は経験世界のいかなる原理に由来するのか（2014）静岡理工科大学紀要 22 2014年9月
682:１３２人目の素数さん
18/12/29 19:43:52.33 dAnabccJ.net
>>623-624
バナッハ＝タルスキーのパラドックスは、
球面に適用する場合には選択公理が必要だが
例えば双曲平面全体に適用するなら別に必要ない
なぜならバナッハ＝タルスキーのパラドックスの肝は
「変換群が、階数２以上の自由群を部分群として持つか」
にあるのであって、双曲変換群の場合、階数２以上の自由群が
部分群として自然な形であらわれるから、選択公理を用いる必要がない
683:１３２人目の素数さん
18/12/29 19:49:18.82 dAnabccJ.net
>>627-628
＞「バナッハ＝タルスキーのパラドックス」が、
＞”選択公理のせい”とよく言われるが、
＞半分当たっていて半分外れ
>>631に書いた通り、別に選択公理のせいではない
３次元以上の回転群に適用する場合、選択公理が必要なだけ
２次元以上の双曲変換群なら、選択公理抜きの分割で
同様のパラドックスが構成できる
まあ、球面と違って双曲空間全体に
有限の測度を割り当てることはしないから
実際には問題はないが
684:１３２人目の素数さん
18/12/29 19:49:59.02 Om+har0l.net
誰もが知ってることをグダグダとコピペしてスレ伸ばし＆時間稼ぎするアホ
とっとと結論家タコ
685:１３２人目の素数さん
18/12/29 19:55:51.43 dAnabccJ.net
>>629
スレ主はもしかして時枝戦略の成功確率は
「バナッハ・タルスキ―のパラドックス」と同様の
問題を引き起こすと妄想してないか？
残念ながら時枝戦略のどこにも
階数２以上の自由群なんて出てこないから
「バナッハ・タルスキ―と同じ問題を引き起こす」
という難癖は全く説得力がない
むしろ、選択公理の使用によって
同値類の代表元がとれてしまい
決定番号も得られる点で
選択公理を認めるスレ主の行為は
まさにオウンゴール（自殺点）である
逃げ道を塞いで自爆したのはまさにスレ主
選択公理ときいてバナッハタルスキを連想した
AIバカ頭の持ち主では致し方ないが
686:１３２人目の素数さん
18/12/29 20:07:51.35 dAnabccJ.net
>>634
バナッハ・タルスキーのパラドックス」が
双曲空間上では選択公理抜きで実現できるように
広義の時枝戦略も、例えば一般の無限列の代わりに
有理数の小数展開をとる形にすれば、選択公理抜きで
代表元を選ぶ関数が作れて同様の結果が成り立つ
つまり、選択公理の否定は真の逃げ道ではない
687:１３２人目の素数さん
18/12/29 20:12:18.61 dAnabccJ.net
百聞は一見に如かず
双曲平面上でのバナッハ・タルスキのパラドックス
URLﾘﾝｸ(www.youtube.com)
動
688:画なら文章の読めないスレ主にも明らかだろう
689:１３２人目の素数さん
18/12/29 20:20:11.71 dAnabccJ.net
結局、スレ主は選択公理について
むやみにコピペしただけで
Ωが{1,･･･,100}ではダメな理由は
全く説明できなかった
論理的思考力がゼロで検索するしか能がない
AIアタマのスレ主は、何であれ「説明」は不可能らしい
690:１３２人目の素数さん
18/12/29 20:37:49.19 dAnabccJ.net
有理数の小数展開を用いる場合
循環節が始まる桁を決定番号とすれば
選択公理を使用しなくて済む
１００個の有理数から１個選んで
その中のある桁の数字を当てる場合
他の９９個の有理数の循環節の開始位置を見て
その中の最大値の桁を選べば
自分が選んだ有理数の循環節の開始位置が
それより大きい可能性は１／１００しかない
結局可算集合上で各点に均一の重みを与える測度が定義できない
（可算加法性を満足しない）ので有理数全体の測度にもとづく
計算ができないのだが、だからといって上記の計算が無意味だ
という理由にはならない
691:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 20:56:04.18 nqXwmrkU.net
>>631-638
はいはい、ピエロちゃん
自殺行為ありがとう
そうやって、自分で逃げ道を潰してくれると
助かるわ（＾＾；
692:１３２人目の素数さん
18/12/29 20:58:48.86 Om+har0l.net
とうとうハッタリしか言えなくなったスレ主が哀れ過ぎる
693:１３２人目の素数さん
18/12/29 21:04:01.92 dAnabccJ.net
このところスレ主の煽りがスベりまくってる
694:１３２人目の素数さん
18/12/29 21:06:22.15 dAnabccJ.net
スレ主は自分がコピペした文章を読解できてないから当然だが
実はコピペした文章がスレ主を爆破する自爆展開が少なくない
695:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:28:42.51 A4Yw8jtX.net
>>627 補足
>ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い
ここ、補足だが、ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、“可算選択公理”が使われているということ
つまり、このパラドックスは、” 可算選択公理＋可算無限集合のせい”だと
パラドックスは、『デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（上記”デデキント無限”参照）』が表れているのだと
696:現代数学の系譜 雑談 古典ガロア理論も読む
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となる
つづく
697:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:35:39.37 A4Yw8jtX.net
>>644
つづき
２．さて、上記の時枝記事の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。
標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれるのだと。
つまり、これを導くのには、１）選択公理を使って、２）数列しっぽの同値類を作って、３）決定番号を決めている。４）決定番号が自然数だから、シンプルに、標本空間 Ω＝{1,･･･,100}が取れるのだと。
そして、「D >= d^k である確率は、99/100」が導かれ、確率空間を使って時枝記事の解法が正当化されるのだと。
３．くどいが、再度数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
概略こういうことで、良いですね。念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
以上
（参考）
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
確率空間の定義と具体例（サイコロ，コイン） 最終更新:2015/11/06
(抜粋)
標本空間 Ω
確率を考える土台となる集合です。
Ω の各要素は根元事象と呼ばれます。 ω と書くことが多いです。
(引用終わり)
698:１３２人目の素数さん
18/12/30 07:45:04.77 Fgu/mMxZ.net
>>645
>１）選択公理を使って、
>２）数列しっぽの同値類を作って、
>３）決定番号を決めている。
スレ主は既に順番を間違ってるね
正しくは以下の通り
１）数列しっぽの同値類を作って、
２）選択公理を使って
３）同値類の代表元を選んで（決定番号を決めて）いる
決定番号は同値類の代表元に付随して決まる
選択公理は、同値類の作成ではなく
その代表元の選定のために用いられてる
スレ主はこんな基本的なことも分かってない
いったい時枝記事を何を読んでるんだ？
699:１３２人目の素数さん
18/12/30 07:51:11.93 Fgu/mMxZ.net
>>645
＞１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
＞この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
まず３）と４）を分ける理由がないね。
さらにいえば、数列しっぽの同値関係から、
同値類の代表元が存在すれば、
決定番号が自然数であることは
自動的に導ける
したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね
ちなみに、一般の無限列のかわりに有理数の小数展開列を用いる場合
２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
700:１３２人目の素数さん
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となる
701:１３２人目の素数さん
18/12/30 08:01:45.19 Fgu/mMxZ.net
>>648
一般の無限列の代わりに有理数の小数展開を用いる場合
* １）のsが、有理数の小数展開
* ２）の代表元が、循環節から自然に定まる （選択公理の必要無し！）
* ３）の決定番号が、循環節の開始位置となる
スレ主が選択公理に逃げ込む道はこれで塞がったｗ
702:１３２人目の素数さん
18/12/30 08:36:44.88 Fgu/mMxZ.net
蛇足
>>643
＞ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、
＞“可算選択公理”が使われている
これ完全な誤解
なぜなら真部分集合への全単射の構成に可算選択公理は必要ないから
なんか「デデキント無限」を持ち出してるけど、
可算選択公理がない場合、
「デデキント有限」な無限集合が存在する
というだけで、ヒルベルトの無限ホテルの
実現を妨げるものではない
703:１３２人目の素数さん
18/12/30 08:39:51.17 Fgu/mMxZ.net
>>650
自然数全体の集合はデデキント無限
これは選択公理なしに成立する
704:現代数学の系譜 雑談 古典ガロア理論も読む
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
ここ、おれの理解は、可算選択公理を使っていると思うけどね。
まあ、ここは上位互換なので、選択公理を使っていると言っても、間違いではないと思う
ここ、しつこく拘る気は無いが、念押しな
拘って、先に進まないのも困るのでね
良いですね。念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
705:１３２人目の素数さん
18/12/30 08:47:25.05 Fgu/mMxZ.net
ついでにいえば、狭義の時枝戦略における
同値類の代表元の存在を否定するには
非可算選択公理を否定すればいいだけなので
可算選択公理は成立しても問題ない
これでスレ主の
「可算選択公理を否定したら数学が弱体化」
とかいう言い訳も無意味化された
（もっとも>>649でそもそも選択公理の否定自体
時枝戦略の本質的な否定にならないことは
既に言及済だが）
706:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:47:59.09 A4Yw8jtX.net
>>650-651
どもありがとう
スレ主です
その話は、時枝が済んでからやろうね
議論が錯綜しそうだからね
707:１３２人目の素数さん
18/12/30 08:51:09.73 Fgu/mMxZ.net
>>652
>> 一般の無限列のかわりに有理数の小数展開列を用いる場合
>> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
>おれの理解は、可算選択公理を使っていると思うけどね。
それスレ主の誤解
ヒルベルトの無限ホテルの場合も同様だが
代表元を選ぶ関数が直接構成できる場合
可算選択公理は必要ない
>しつこく拘る気は無いが
>拘って、先に進まないのも困るのでね
拘って恥かくのはスレ主だけ
選択公理に固執しても、貴様に勝ち目はないよ
708:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:51:40.07 A4Yw8jtX.net
>>653
結構結構。>>652に含まれることを、自分で書いてくれて
自分で逃げ道を塞いでくれているので、簡単で助かるよ
でも、念のため、>>652にもレスしておくれ（＾＾
709:１３２人目の素数さん
18/12/30 08:52:21.13 Fgu/mMxZ.net
>>654
＞その話は、時枝が済んでからやろうね
必要ない
貴様が誤りを認めればいいだけ
貴様、自分が正しいと思ってるのか？
710:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:54:40.40 A4Yw8jtX.net
>>655
ありがとう
スレ主です。>>656（”念のため、>>652にもレスしておくれ”）と被ったな
他に、言いたいことないですか？（＾＾
711:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:55:08.06 A4Yw8jtX.net
>>657
つー、>>658
712:１３２人目の素数さん
18/12/30 08:56:41.37 Fgu/mMxZ.net
>>656
＞念のため、>>652にもレスしておくれ（＾＾
何にどうレスしてほしいのかね？
>選択公理の有限集合版は、公理というよりむしろ
>原理とか定理という方が良いかもしれないが
明確に定理であることは、貴様がコピペした
以下の文章に書いてあるぞ
貴様、コピペするだけで読解してないのか？アホか？
「Λ が有限の場合は, ZF 公理系 (と論理) だけから
(11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており,
順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される」
713:１３２人目の素数さん
18/12/30 09:00:13.12 Fgu/mMxZ.net
>>658
＞他に、言いたいことないですか？（＾＾
ヒルベルトの無限ホテルやら
有理数の小数展開からの
尻尾の同値類の代表元の選定やら
に関して「可算選択公理」は必要とか
いうのは貴様の誤解だから撤回しろ
選択公理はあくまで写像が構成出来ない場合に
その存在を主張するためにあるのであって、
構成できる場合はそれで存在が証明されるから
必要ない こんなこと数学界の常識
知らないスレ主がバカなだけだ
714:１３２人目の素数さん
18/12/30 09:05:26.92 Fgu/mMxZ.net
無限列を有理数の小数展開列に限定した場合
時枝記事の成立に必要な前提は
１）数列しっぽの同値類
だけ
同値関係は只の定義だから否定しようがない
つまり、この時点でスレ主は詰んだ、死んだ
715:１３２人目の素数さん
18/12/30 09:08:53.96 Fgu/mMxZ.net
1/6=0.1666・・・ の場合
同値類の代表元は
0.666･･･
5/6=0.8333・・・ の場合
同値類の代表元は
0.333・・・
つまり、単純に循環節の開始位置を
小数点以下第1位に持ってくればいいだけ
こんなこと自動的に思いつけよ
算数レベルの問題だろｗ
716:１３２人目の素数さん
18/12/30 09:13:17.15 Fgu/mMxZ.net
スレ主は●●の一つ覚えのように
＞自分で逃げ道を塞いでくれている
といってるが、無意味なブラフである
スレ主はなぜか選択公理に固執してるが
正直コピペすればするほど、それが
本質でもなんでもないことが露呈する
袋小路でいくら壁ひっかいても無駄だぞ！
717:１３２人目の素数さん
18/12/30 09:26:30.57 Fgu/mMxZ.net
ぶっちゃけ有理数の代わりに
有限桁だけ0でない小数（有限小数！）
に限定し、0が無限に続く部分列の先頭位置を
決定番号にするとして、0の入る箱を当てる
というバージョンでも時枝戦略は通用する
718:１３２人目の素数さん
18/12/30 09:28:21.11 Fgu/mMxZ.net
スレ主！貴様の負けだ！
諦めてここから失せろ！
719:１３２人目の素数さん
18/12/30 15:02:49.27 5J4BrLOC.net
>>646
だね
こんな
720:バカが時枝記事を論ずること自体がナンセンス そのナンセンスをこのバカは3年間もやってきた もっと勉強してから数学板へ来いよと言いたい
721:１３２人目の素数さん
18/12/30 15:10:40.53 5J4BrLOC.net
>>652
このバカ間違いを添削してもらって
＞それで良いですよ
って何だその上から目線はｗ
ほんとピエロだなスレ主って
722:１３２人目の素数さん
18/12/30 15:22:17.33 5J4BrLOC.net
本題に入る前の準備作業で既にフルボッコされててﾜﾛﾀ
ほんとスレ主ってピエロだね
723:１３２人目の素数さん
18/12/30 15:31:56.59 5J4BrLOC.net
「選択公理を免罪符のように使って」とかなんとかほざいていたスレ主が今縦断爆撃
食らって死体の破片を撒き散らかしてるね。
中学レベルも分かってないアホが偉そうに数学板にしゃしゃり出て来るからこうなる。
だからチラシの裏でやってろとさんざん言ってきたのに、頑固爺は人の言うことに聞
く耳を持たない。
724:
18/12/30 15:41:18.59 4y49ABsb.net
>>670
×縦断爆撃
◎絨毯爆撃=Carpet bombing URLﾘﾝｸ(en.wikipedia.org)
725:１３２人目の素数さん
18/12/30 15:47:53.76 5J4BrLOC.net
＞>Ωは{1,･･･,100}でOKなんで
＞が、なぜだめかの続きをやります。
の結論を言わせてももらえないスレ主こそピエロにあらんや
昨日だか一昨日だかは時間が必要とか言ってたが、時間かけても同じだったねｗ
当然だよ、3年かけて進歩ゼロなのに数日追加したところで変わる訳が無いｗ
726:１３２人目の素数さん
18/12/30 17:32:59.69 Fgu/mMxZ.net
>>672
＞結論を言わせてももらえない
そもそも云うべき結論がまだ見つかってないようだ
きっと今も必死に検索してるんだろう
無駄な足掻きだが
727:１３２人目の素数さん
18/12/30 18:15:56.59 soHMwsq2.net
レーダー照射
人には証拠を出せと言いつつ自分から一切出さない
スレ主の電波照射
人には証拠を出せと言いつつ自分から一切出さない
728:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:48:13.94 PWZHndJJ.net
>>671
C++さん、ありがとう
お元気そうでなによりです（＾＾
729:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:51:02.01 PWZHndJJ.net
>>673
まあ、言い逃れが出来ないように、逃げ道を防ぐよう十分時間を取った
さて、それでは、昨日（>>644-645 >>652）からの続き
(>>592 より）ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
が、なぜだめかの続きをやります。
１）まず前振りでピエロちゃん発言引用：
・(>>647 ピエロちゃんより)
「したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね」
・ (>>664-665 ピエロちゃんより引用)
「なぜか選択公理に固執してるが
本質でもなんでもないことが露呈する」
「ぶっちゃけ有理数の代わりに
有限桁だけ0でない小数（有限小数！）
に限定し、0が無限に続く部分列の先頭位置を
決定番号にするとして、0の入る箱を当てる
というバージョンでも時枝戦略は通用する」
(引用終り)
（上記「有限」の場合まで言及してくれてありがとう。かつ、選択公理は本質じゃないよね）
つづく
730:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:53:12.80 PWZHndJJ.net
>>676
つづき
２）次に再確認
（>>645 私スレ主より）
数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
(引用終り)
要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
また、選択公理は好きなときに好きなだけ使って良いとする。
さらに、(＞＞652に書いたように)
選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
だから、前述のように、「有限」でも問題なく適用できることを念押ししておく。
つづく
731:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:56:57.55 PWZHndJJ.net
>>677
つづき
３）さて、本論
反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。
（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう）
b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
c) L＝100m個の箱を、100列のm個の箱の列に並び変える。
m個の長さの数列の
732:しっぽの同値類を考えることができ、決定番号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に記述の数学ロジックの通りです） 以上です。 （参考） http://www.geisya.or.jp/~mwm48961/koukou/cond005.htm 高校数学 >> 高校数学Ⅰ・Ａ >> 集合と条件 必要条件・十分条件(反例) (抜粋) 「ｐ→ｑ」 Ｐのどの要素もＱに含まれていればこの命題は真ですが，Ｐの要素のうち１つでもＱに含まれないものがあれば，この命題は偽となります． ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります． (引用終り)
733:１３２人目の素数さん
18/12/31 07:10:38.15 h9L92WO7.net
>>677
>１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
>この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
>要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
上記の３）、４）の代わりに
５）同値類の代表元の存在
が必要
代表元が存在すれば決定番号（自然数）は存在する
これは同値関係の定義から明らか
スレ主は記事中の同値関係の定義の文章 読んでないのか？
734:１３２人目の素数さん
18/12/31 07:14:23.27 y4r2VQPB.net
添削たーいむ
735:１３２人目の素数さん
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 の値を取る。
全然ダメ 上記のｍは存在しない
１つの無限列を１００の無限列に並び変える
無限長の数列の尻尾の同値類を考えることができ
決定番号ｄが決まる
決定番号は１以上の任意の自然数（上限値は存在しない）
736:１３２人目の素数さん
18/12/31 07:19:44.34 y4r2VQPB.net
>>678
＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
D=m の場合、開けるべき箱が無いんだが。。。
737:１３２人目の素数さん
18/12/31 07:20:45.28 y4r2VQPB.net
>>678
で？反例はいつ提示されるの？
738:１３２人目の素数さん
18/12/31 07:23:55.32 y4r2VQPB.net
>>678
＞例えば無限に近い巨大な数と思って貰えば分り易いだろう
無限に近い巨大な数って何？ 答え辛かったら例でもいいよ
739:１３２人目の素数さん
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となる。 時枝記事の解法が成立する。
740:１３２人目の素数さん
18/12/31 07:30:20.35 h9L92WO7.net
>>682
>D=m の場合、開けるべき箱が無いんだが。。。
>>678によるスレ主の姑息な改竄は
>>685で修正したので上記のmは無くなった
スレ主は>>665の「有限桁だけ0でない小数（有限小数） 」を見て
勝手に箱の数を有限個としてよいと誤解したようだが、
有限小数の長さの上限値は存在しないから、
当然無限列（有限小数の終わりの次の桁以降0が無限に続く）
を扱わなければならない つまり箱の数は無限個
741:１３２人目の素数さん
18/12/31 07:47:23.79 y4r2VQPB.net
反例ってまだ提示されてないよね？
もしかして>>678が反例のつもりなの？
だとしたら反例という言葉の意味を知らないのかな？
あるいは時枝解法とは別の何かに対する反例を書いたの？
何が何やらサッパリですわ
742:１３２人目の素数さん
18/12/31 07:48:34.59 h9L92WO7.net
>>683
>反例はいつ提示されるの？
間違った設定での間違った反例は無意味
スレ主がこの期に及んで、時枝記事の肝心な前提である
「箱は無限個」を全然受け入れてない、という事実が明らか
になった。
これは「決定番号∞」と同様の誤りである
おそらくスレ主は
「ｍ番目の箱�
743:ﾉはもはや次の箱がない！これが反例だ！」 と高らかに宣言するのだろうが、読者は皆失笑するだろう 箱は無限個であって、上記のｍ番目の箱は存在しないのだから 無限を理解せず、有限個に改竄するスレ主は 数学を理解する能力が根本的に欠如している と言わざるを得ない
744:１３２人目の素数さん
18/12/31 07:49:13.12 av0tGtzM.net
>無限に近い巨大な数
で笑ってしまった。どんな巨大数でも無限に比べれば0に等しい。
そんなのは数学の常識。
やっぱり工学バカには日常用語としての「無数・無限」（巨大数 だが数学上は有限）
と数学上の「無限」の区別がついてないんじゃないかなぁw
745:１３２人目の素数さん
18/12/31 07:49:48.21 y4r2VQPB.net
>>678
スレ主さん、しばらく留守にするから>>687への回答書いといてね
746:１３２人目の素数さん
18/12/31 07:58:17.32 83/Nq/vP.net
おっちゃんです。
AIとか関係ない持ち出して、やたらめったらコピペするのやめろ。
何が何だか話が分からなくなるだろ。
747:１３２人目の素数さん
18/12/31 08:00:26.90 h9L92WO7.net
>>689
>>無限に近い巨大な数
>で笑ってしまった。
「arbitrarily large」を可能無限と誤解する
スレ主なら大いにあり得ること
スレ主は自分が無限も理解できない
一番のピエロであることを全然理解してない
だからこそ３年もピエロを演じ続けられるわけだが
しかしもうピエロの自爆芸にも飽きた
748:１３２人目の素数さん
18/12/31 08:02:22.81 83/Nq/vP.net
全く、スレ主のコピペはしようもない。
大半がスレ主のコピペで埋め尽くされているような感じじゃないか。
749:１３２人目の素数さん
18/12/31 08:08:53.07 h9L92WO7.net
スレ主はどうやら
「任意長の有限列で成り立つ」事柄は
「無限列で成り立つ」と誤解してるらしい
もちろんそんなことはない
有限列には必ず終端があるが
無限列には終端は存在しない
この質的な違いが重要
スレ主の怪しげな”極限”（？）論法は全く通用しない
それにしても延々と選択公理について述べたのは
なんのつもりだったんだろうか？
正直、スレ主が
＞箱の数を、十分大きな「有限」個の場合を考える。
と書いてきたのを読んで、ズッコケた
750:１３２人目の素数さん
18/12/31 08:11:45.64 h9L92WO7.net
スレ主 オウンゴールの軌跡
１．「決定番号∞」
２．「（無限個は）十分大きな「有限」個」
2度あることは3度ある
スレ主は反省する能力がないサル
751:１３２人目の素数さん
18/12/31 08:15:40.07 h9L92WO7.net
ぶっちゃけスレ主の>>678に対する>>685の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味
752:１３２人目の素数さん
18/12/31 08:17:11.85 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。
753:１３２人目の素数さん
18/12/31 08:17:12.64 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。
754:１３２人目の素数さん
18/12/31 08:18:33.52 h9L92WO7.net
>>691
＞おっちゃんです。
おっちゃんはもうここでスレ主の相手しなくていいぞ
スレ主はおっちゃんよりもはるかにバカだと露見したから
無限が十分大きな有限と同じとかほざく時点で
数学的には十分池沼レベル もはや人間失格のサル
755:１３２人目の素数さん
18/12/31 08:24:02.29 83/Nq/vP.net
>>700
それでは、スレ主の相手頼む。
756:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:24:18.77 PWZHndJJ.net
>>679
> ５）同値類の代表元の存在
> が必要
はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
とします
なお、５）決定番号が自然数は自明だが、念のため追加しただけ
757:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:25:09.63 PWZHndJJ.net
>>684
>無限に近い巨大な数って何？ 答え辛かったら例でもいいよ
はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください
その数＋１で結構です
758:１３２人目の素数さん
18/12/31 08:27:35.78 83/Nq/vP.net
>>699 訂正出来ると思うが、>>700は「>>700(私)」ではなく、「>>699」宛て。 それじゃ、おっちゃん少し寝る。
760:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:27:51.21 PWZHndJJ.net
>>681 >>685-686 >>695
>（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
> (以上は、>>644-645に記述の数学ロジックの通りです）
反例は、時枝記事そのものではないが、ピエロが「時枝記事は成り立つと主張する数学の論理（数学ロジック）」の反例を一つ構成しました
反例は一つでいい
時枝記事を擁護する「時枝記事は成り立つと主張する数学の論理（数学ロジック）」は、破綻しています
761:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:28:47.50 PWZHndJJ.net
>>682 >>688
>＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
>D=m の場合、開けるべき箱が無いんだが。。。
そうですね。ご指摘の通りですね
では、こうしましょう
部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
つづく
762:現代数学の系譜 雑談 古典ガロア理論も読む
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に記述の数学ロジックの通りです）
以上です。
763:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:30:55.69 PWZHndJJ.net
>>690
ありがとう
（>>687）
>もしかして>>678が反例のつもりなの？
Yes
正確には、修正版>>706 を見て下さい
ピエロちゃん（ ID:h9L92WO7 ）が、正確に反応していると思うが、これ反例です。
殆ど自明だが、後で説明します
764:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:32:56.05 PWZHndJJ.net
>>693
おっちゃん、どうも、スレ主です。
私スレ主的には、時枝記事こそ、”しようもない”
（個人的には、もう終わっていて、数学としては殆どゴミだと）
で、根拠（出典）のある”コピペ”こそが
後から見て意味があることだよと
ここで、議論されていることは、あくまで”名無し”（＝素数さん）の発言であって、
後から見てあまり意味があることとは思っていないんだよね
ただ、ピエロちゃんが、面白いから、からかっているだけ（＾＾；
765:１３２人目の素数さん
18/12/31 08:39:12.23 h9L92WO7.net
>>701
＞”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
＞とします
４）、５）は要らない。３）から導けるから
766:１３２人目の素数さん
18/12/31 08:41:42.71 h9L92WO7.net
>>705
>>D=m の場合、開けるべき箱が無いんだが。。。
>では、こうしましょう
>部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
ダメだな そういう姑息な修正では全然対応できない
767:１３２人目の素数さん
18/12/31 08:42:15.36 ZD4X8HMF.net
時枝記事の「しっぽの同値類」は無限列で定義されているわけで
有限列ではどうやって定義すんの？
そのことから書かないと。
768:１３２人目の素数さん
18/12/31 08:46:14.88 h9L92WO7.net
>>707
>ID:h9L92WO7 が、正確に反応していると思うが
だったらL=100mとかいう間違った設定を否定しろ
無限は十分大きな有限じゃないぞｗ
>これ反例です。
全然違う これこそ自明
>後で説明します
間違った前提による偽反例の説明なんか聞くだけ無駄だがな
スレ主は自分の「無限＝十分大きな「有限」」の誤りが
本当に理解できないほどの池沼なのか？
769:１３２人目の素数さん
18/12/31 08:52:54.89 h9L92WO7.net
>>708
数学板の読者諸氏にとってここのスレ主は全く”しようもない”
（数学的には、もう終わっていて、数学としては全くゴミ）
誰が言ったか分からん英語の掲示板の
根拠不明な文章の”コピペ”のどこが
どれほど意味があるのかｗ
ここの書き込みは議論ではない
スレ主に対する教育
まあ、実際は無知無能なスレ主をおちょくってるだけだがねｗ
それにしても無限を理解しないバカでも入れる大学ってあるんだな？
いったいどこだよ 国立大学じゃないことは確かだがな
770:１３２人目の素数さん
18/12/31 08:58:23.48 h9L92WO7.net
スレ主の「反例」はどうせ
「確率１で決定番号は自然数でない」
とかいう馬鹿丸出しの主張だろうｗ
し・か・し、上記の主張はそもそも
「同値類の代表元は、
同値類の任意の元と
しっぽの同値関係にある」
という性質と思いっきり矛盾する
しっぽの同値関係にあるということは
ある有限桁（当然自然数で位置が示せる！）から
先の尻尾が一致するということ
スレ主は�
771:梹}記事をロクに読まず、当然理解もしていない 実にお粗末極まりない
772:１３２人目の素数さん
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となる。
時枝記事の解法が成立する。
773:１３２人目の素数さん
18/12/31 09:14:35.07 h9L92WO7.net
ぶっちゃけスレ主の>>706に対する>>715の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味
774:現代数学の系譜 雑談 古典ガロア理論も読む
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番目から先一致する.
以上
775:現代数学の系譜 雑談 古典ガロア理論も読む
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）で、この不具合は回避できる
どうぞ、”数列が無限長で無ければならない理由”を説明してください
というより、”数列が無限長で無ければならない理由”が説明できない以上、それは数学ではない！！
そして、”数列が無限長で無ければならない理由”を説明する過程で、
貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
以上
776:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:52:25.66 PWZHndJJ.net
まあ、昨日まで、「有限」でも良いと言っていたピエロ
今日は、必死に「無限に限定します」と宗旨替えの図だ（＾＾；
777:１３２人目の素数さん
18/12/31 13:21:28.66 omflZ2LR.net
問題を勝手に作り変えて威張られてもなあ
778:１３２人目の素数さん
18/12/31 13:31:18.28 y4r2VQPB.net
>>702
＞はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください
ちなみにスレ主の考え得る大きな数って何？
779:１３２人目の素数さん
18/12/31 13:40:47.85 ZD4X8HMF.net
昨日の循環小数を使った選択公理不要のバージョンは面白いと思ったぞ。
あと有限小数で残りがすべて0の無限個の箱のバージョンで、「0の箱を当てる」
というバージョンでも成立する。
誰も「有限個の箱で成立する」とは言ってない。そんなことも読み取れない工学バカ。
780:１３２人目の素数さん
18/12/31 13:47:58.51 h9L92WO7.net
>>718
>>箱の数を、無限個と考える。
>無限個で無ければならない理由は？？
時枝記事にそう書いてある
>有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
それを証明してごらん、スレ主よｗ
スレ主が"Arbitrary large number" Theory、つまり
「任意の有限個で成り立つなら、無限個で成り立つ」
とかいう俺様理論を提唱しているらしいことは
以前からわかっているが、そんなものは数学では
全く認められていない
無限列における尻尾の同値類では、同値な2列の場合、
どの箇所から一致するとしてもそこから先必ず
無限一致列がとれる
これは任意長の有限列では決して成り立たない性質である
時枝論法はそもそも無限個の箱を使う前提なのだから
０）箱が無限個
なんてことはわざわざ書かない
>有限長の数列ではあるけれども、そこに反例が存在するならば
>「無限」という要素を加えて、”無限長ゆえに成り立つ”
>ということを、改めて証明すべき
何言ってんだ？このバカスレ主ｗ
そもそも無限長が前提なのだから
「有限長の数列ではあるけれども」
といった瞬間にそれは反例でなくなる
”無限長ゆえに成り立つ”ことは
決定番号がいくつであってもその次の箱が存在する、
という性質から明らか
こんな自明なことに気づけないスレ主は正真正銘の池沼ｗ
781:１３２人目の素数さん
18/12/31 13:49:46.60 ZD4X8HMF.net
時枝戦略が成立するのは無限に一致している箱の同値類が取れるからだよ。
有限個だと最後のひと箱だけ一致しているのを「同値類」と強弁して
その一個前が「当てられないだろう」とスレ主は言うつもりだろw
やっぱり工学バカは「有限と無限の区別が付いてなかった」んだなぁw
782:１３２人目の素数さん
18/12/31 13:54:28.66 y4r2VQPB.net
>>705
＞部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
わろた
自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人
代表系を定める権利は回答者にあるのだから、出題者は予め回答者から代表系を入手して
それに合うように出題する必要があるよね？そうでないと限定した範囲をはみ出るよ？
「どんな実数を入れるかはまったく自由」じゃないよね？
それ時枝問題ちゃいまっせ？あなたは一体何を主張したいの？
まあ箱の数が有限の時点で既に時枝問題じゃないんだがｗ
783:１３２人目の素数さん
18/12/31 14:08:15.15 y4r2VQPB.net
>>704
＞「時枝記事は成り立つと主張する数学の論理（数学ロジック）」は、破綻しています
え？↑が主張したいことなの？
で、「時枝記事は成り立つと主張する数学の論理（数学ロジック）」ってなに？
＞>>644-645に記述の数学ロジックの通りです
と言われてもわからん。だって>>644-645って絨毯爆撃浴びて木っ端微塵にされたじゃん。
ちゃんと「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを
示しなさいな。それせずに「それが破綻してる」と主張してもナンセンスだよ。
784:１３２人目の素数さん
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番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ
貴様、また自爆か？
不具合回避でせっかくの反例を潰してしまったようだなｗｗｗ
ギャハハハハハハ！！！
785:１３２人目の素数さん
18/12/31 14:11:24.75 y4r2VQPB.net
>>708
＞で、根拠（出典）のある”コピペ”こそが
＞後から見て意味があることだよと
少なくともスレ主には無意味だよね？
だってコピペした内容を理解してないんだから
786:１３２人目の素数さん
18/12/31 14:16:23.42 h9L92WO7.net
>>725
＞自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人
しかもそのおかげでせっかくの反例を潰してしまったｗ
>>727でも書いた通り
「箱がｍ個だが、一致開始箇所は、ｍ－１番目まで」
と限定した時点で
「ｍ番目の箱を見ればｍ－１番目の箱が予測できる」
という必勝パターンができてしまったｗ
確率９９／１００じゃなく１
しかも他の列を見ることなく位置はｍ－１と指定できる
反例を示すつもりで必勝ゲームを作ってしまった
とことんおバカなスレ主のピエロっぷりｗｗｗ
２０１８年の大晦日に十分楽しませてもらったぞ�
787:I
788:１３２人目の素数さん
18/12/31 14:21:56.08 h9L92WO7.net
「決定番号∞」がミッドウェイ海戦なら
今回の「1<= d <=(m-1)の場合を考える」は
大和の沖縄特攻作戦に喩えられる暴挙だろう
それにしても自分で反例を完全に潰すとは・・・ププッ
バカもここまでくるとアッパレだなｗｗｗｗｗｗｗ
789:１３２人目の素数さん
18/12/31 14:29:58.48 h9L92WO7.net
>>718
>どうぞ、”数列が無限長で無ければならない理由”を説明してください
>というより、”数列が無限長で無ければならない理由”が説明できない以上、
>それは数学ではない！！
スレ主の壮烈な自爆ｗを見た後では、この文章は
「ボクちゃん、無限が理解できないの
無限が有限とどう違うか説明ちて？
じゃないと、無限なんて数学とは認めないゾ！」
と駄々こねてるようにしか見えないｗｗｗ
＞そして、”数列が無限長で無ければならない理由”を説明する過程で、
＞貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
「数列が有限長でも同じ」と言い張る過程で
確率１で予測が成功する必勝ゲームを作ってしまった
哀れなスレ主の冥福を祈る (-||-)
790:１３２人目の素数さん
18/12/31 14:40:05.22 h9L92WO7.net
スレ主の
「簡単のために、部分集合として、
決定番号が、1<= d <=(m-1)の場合を考える
とすることで、この不具合は回避できる」
による「反例なし必勝ゲーム」
（m番目の箱を見ればm-1番目の箱が予測できる）
という完全自爆の後では 何をいっても
「ピエロちゃん えらいねー、
おサルなのに 沢山カキコして
今日も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾」
とコピペで済ませられるってもんだｗｗｗｗｗｗｗ
791:１３２人目の素数さん
18/12/31 14:44:49.60 y4r2VQPB.net
>>706
「箱の数が有限だと時枝解放は成立しない」に対する反例ってこと？
で、
＞c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える
↑の怪しげな宣言は何？
問題を変えましたという宣言？
いやいやｗ 試合の途中で勝手にゴールの位置変えちゃダメでしょｗ
792:１３２人目の素数さん
18/12/31 14:57:37.22 h9L92WO7.net
>>733
「有限列の場合時枝戦略が成功しない」という反例を作るつもりが
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
と列を限定したために、時枝戦略以上の必勝戦略（m番目の箱を開けるだけで
m-1番目の箱の中身が確率１であたる）をつくってしまう完全自爆ｗ
ルール変えてしかもオウンゴール
スレ主ってここまでバカだと思わなかったよｗｗｗｗｗｗｗ
793:１３２人目の素数さん
18/12/31 15:05:41.25 y4r2VQPB.net
>>718
＞そして、”数列が無限長で無ければならない理由”を説明する過程で、
＞貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
わろたｗ
己の主張の証明を他人（しかもその主張を認めない側）に丸投げしちゃったよこの人ｗ
なに？さんざん気を持たせといて結局何一つ示せてないじゃん、アホくさ～
794:１３２人目の素数さん
18/12/31 15:08:37.71 h9L92WO7.net
>>735
＞己の主張の証明を他人に丸投げしちゃったよこの人ｗ
しかも丸投げしたものが、己の主張の完全否定ｗ
スレ主がいかに安易に
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
といって、その後どうなるか一度も考えなかったことがバレバレ
自爆提案を敵に丸なけする究極のバカ それがスレ主ｗｗｗｗｗｗｗ
795:１３２人目の素数さん
18/12/31 15:09:08.37 y4r2VQPB.net
>>718
＞”無限長ゆえに成り立つ”ということを、改めて証明すべき
無限の場合は既に証明されてます。時枝記事を読んでください。
796:１３２人目の素数さん
18/12/31 15:16:36.84 h9L92WO7.net
>>737
ついでにいうとスレ主の愚劣改変案のような
１）決定番号に上限Dがある
２）D+1番目の箱がある
という状況では
「D+1番目を開ければ、D番目が分かる」
とかいう必勝戦略が実現できるが
１）が満たされない、つまり
無限列で決定番号に上限がない場合は、
時枝記事の戦略によるしかないだろう
797:１３２人目の素数さん
18/12/31 15:19:06.90 y4r2VQPB.net
>>718
＞有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
客室数が有限個のホテルでは「満室でももう1人泊められる」が破綻してるが、
客室数が無限個のホテルでは破綻してないんだけど、何か？
798:１３２人目の素数さん
18/12/31 15:30:00.93 y4r2VQPB.net
ん～ どうもスレ主という人物は「無限とは何か」が壊滅的にわかってないようだ
古代ギリシャ人の方が遥かに無限を理解してるぞｗ
799:１３２人目の素数さん
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番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ
800:１３２人目の素数さん
18/12/31 15:57:57.54 y4r2VQPB.net
>>741
＞箱はm個だが決定番号mの列は想定しない、ということなら
＞m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います
801:１３２人目の素数さん
18/12/31 16:05:45.73 h9L92WO7.net
>>742
どうもすみません
自明なことをわざわざご確認いただきまして
802: スレ主が「反例！反例！」と騒ぐんで 姑息な改変案を確認したら・・・ 反例どころか完全に予測可能！ スレ主は自分の改変案で予測不能かどうか 一度もチェックしてないってことですね いやほんと考えることが嫌いなバカなんですね スレ主は
803:１３２人目の素数さん
18/12/31 17:38:43.97 jfNleUVx.net
数学板のコテを集めてランク付けしようぜwwwww
ｽﾚﾘﾝｸ(math板)
804:１３２人目の素数さん
18/12/31 17:41:35.20 h9L92WO7.net
>>744
スレ主 安定の最底辺だな
805:
18/12/31 17:46:30.87 I8bqvQKd.net
>>745
私も参加することにしました、狂人枠で
806:１３２人目の素数さん
18/12/31 18:04:48.28 h9L92WO7.net
>>718で自爆死したスレ主は故人枠だなｗ
807:１３２人目の素数さん
18/12/31 22:10:57.21 1cUs/ABC.net
スレ主に間違いを指摘したら
スレ主が理解できた場合
「それでいい。ありがとう」
スレ主が理解できなかった場合
Wikipediaなどのコピペ大量書き込み
スレ主がどうしようもなくなった場合
「必死に言い訳をするピエロちゃん ッﾌﾟ（＾＾ 」
2018年はスレ主の馬鹿っぷりととともに終わります
スレ主以外のみなさま良いお年を～～
808:１３２人目の素数さん
19/01/01 07:21:28.57 hTB7MY8/.net
スレ主は撃沈でいいのかな？
取りあえず敗北宣言してスレ削除してくんない？
ガキじゃないんだから後始末ちゃんとしようね
809:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:06:31.03 5JqLTK2h.net
まず、ご挨拶
皆様、明けましておめでとうございます。
本年もよろしくお願いいたします。ｍ（＿ ＿）ｍ
810:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:07:07.90 5JqLTK2h.net
>>721
>＞はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください
>ちなみにスレ主の考え得る大きな数って何？
私の知っているのは、
“巨大数” URLﾘﾝｸ(ja.wikipedia.org)
くらいですね
811:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:07:48.33 5JqLTK2h.net
>>725
>代表系を定める権利は回答者にあるのだから
それだめですよ。代表系の決め方はすでに時枝記事に書かれています。それ前提です。全く違う数理を採用することは不可。もちろん、ある同値類内で、代表rを別の元r’ にすることは、回答者の自由でしょうが。
一方、「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができるということです。
そして、反例は一つで良い。「有限」の場合に反例が構築できるなら、数理として、時枝記事はもう一度見直されるべきですよね。
812:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:08:20.30 5JqLTK2h.net
>>726
>「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを示しなさいな。
それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
そして、>>706に“（以上は、>>644-645に記述の数学ロジックの通りです）”と纏めています
813:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:09:01.78 5JqLTK2h.net
>>706
おっと、リンク間違っているね
リンク訂正
（>>673の改訂版）
↓
（>>678の改訂版）
814:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:09.46 5JqLTK2h.net
>>737
>＞”無限長ゆえに成り立つ”ということを、改めて証明すべき
>無限の場合は既に証明されてます。時枝記事を読んでください。
はい
その（証明）（カッコ付き）は、「無限」でなくともそのまま成立します。
「有限」の場合でも“部分集合として、決定番号が、1<= d <=(m-1)”（>>706）とすることでＯＫですね
815:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:36.74 5JqLTK2h.net
>>746
C++さん、お元気そうでなによりです（＾＾