20/03/26 07:32:22.95 +Ol1TdQp.net
>>652
A3：Yes
A4：Yes
続きは後で（＾＾
715:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 12:10:47 Toc1jVc8.net
>>647
さて
「コーシー列を、理解し 存在を認めた」（>>652）ところから、出発しよう
そして、>>642の課題
１）決定番号∞
と
２）「.999…00…が.000…00…と同値（つまり、 .999…00… ～ .000…00…）」
を略証しよう。
（厳密な証明は書かない。長くなり、視認性が悪くなるから。行間は各人埋めること。質問は可とする）
１．決定番号∞について
・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
（下記、レーヴェンハイム?スコーレムの定理「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」ご参照）
・さて√2に収束するコーシー列C:c1,c2,・・が考えられる
例えば下記のテーラー展開の式で初項から順番にｎ項までの和をcnとすれば良い
さて、このコーシー列Cは、√2に収束するが有限で終えることはできない
∵有限で終えれば、cnは有理数であり、一方√2は無理数だから
・テーラー展開の式では、有理数列によるコーシー列だが、有限小数から成るコーシー列も考えられる
円周率πが分かり易いが、
3.14159・・の小数部分を一桁ずつ増やす
コーシー列C:c1=.1,c2=.14,c3=.141・・
このコーシー列もまた、円周率πに収束するが有限で終えることはできない。理由は、上記に同じ
・つまり、「決定番号は有限」で留まることはありえず、その否定としての ∞ になる
つづく
716:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 12:13:17 Toc1jVc8.net
>>656
つづき
２．「.999…00…が.000…00…と同値（つまり、 .999…00… ～ .000…00…）」について
・まず、「コーシー列を、理解し 存在を認めた」として、√2とか円周率πが無限桁の小数だということは良いだろう（上記）
・一番簡単なのは、有限小数を ある小数第ｎ位以降が全て”0”の無限小数と見ることである
（この視点は、多項式が ある項以降全て”0”の形式的冪級数と見る視点と同じ（下記））
・そこで、.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える
このコーシー列Cが、整数”1”を表す（収束する）ことは、実数の構成から自明だ
そして、コーシー列Cは 有限で終わってはならないこともまた、上記 √2とか円周率πと同様だ
・そこで、任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせることも、上記の通り
この数列cn＝0.99・・9 00・・と、数列 000…00… とは、時枝の定義のしっぽが一致し、決定番号dはd=n+1となる
決定番号dが、上記1同様、自然数N全体を渡ることは自明
QED
つづく
717:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 12:14:41 Toc1jVc8.net
>>657
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
URLﾘﾝｸ(www.phys.u-ryukyu.ac.jp)
自然科学のための数学2014年度第11講
第３章 テイラー展開
URLﾘﾝｸ(www.phys.u-ryukyu.ac.jp)
テイラー展開可能な点と不可能な点
(抜粋)
√x のような関数はどうやって近似するかというと、x=0以外、たとえばx=1の回りにテイラー展開する。
√x=1+1/2(x?1)?1/8(x?1)^2+1/16(x?1)^3?5/128(x?1)^4+?
URLﾘﾝｸ(ja.wikipedia.org)
円周率
718: (抜粋) 解析 π/4=1- 1/3+ 1/5- 1/7+・・・ =Σ_n=0～∞ (-1)^n/(2n+1) （ライプニッツの公式、#2千年紀も参照） https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0 多項式環 (抜粋) 係数が零であるような項 pk・X^k (pk = 0) は省略することができる。 注意すべき点として、多項式には項が有限個しかないこと ーつまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということー は、暗黙の了解である。 https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 (抜粋) （形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。 (引用終り) 以上
719:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 12:16:42 Toc1jVc8.net
>>658
訂正
√x=1+1/2(x?1)?1/8(x?1)^2+1/16(x?1)^3?5/128(x?1)^4+?
↓
√x=1+1/2(x-1)-1/8(x-1)^2+1/16(x-1)^3-5/128(x-1)^4+・・
まあ原文見てください（＾＾；
720:１３２人目の素数さん
20/03/26 12:38:47.54 /vnWknlA.net
>>657
＞.999…00…が.000…00…と同値
{0,…,9}^Nの要素である.999…00…が.000…00…と同値であることは自明
この場合.999…00…の0の開始位置は必ずある自然数dで表される
なぜなら、{0,…,9}^Nの要素である無限列のどの桁の位置も
自然数で表されるから
＞.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える
＞任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせる
＞この数列cn＝0.99・・9 00・・と、数列 000…00… とは、
＞時枝の定義のしっぽが一致し、決定番号dはd=n+1となる
まず.999…＝.999…00…ではありません
なぜなら.999…のどの桁の値も9だからです
そして、.999…は、「コーシー列」のどの項cn＝0.99…900…とも同値ではありません
なぜなら、どの桁についてもその先の桁で値が9と0で一致しないものが存在するからです
つまり.999…と、.99…900…について、
「その先の桁の項が全て一致する先頭の桁」
を一致番号としたとき、その番号は存在しないので
これを∞と表記することにした場合、
一致番号が∞となる2列は同値ではない
ということです
つまり.999…は.000…と同値でなく
.999…の決定番号が∞となることもありません
（蛇足）
＞レーヴェンハイム・スコーレムの定理
＞「いくらでも大きな有限のモデルを持つ理論は
＞ 無限のモデルを持たねばならない」
上記の定理は「箱入り無数目」とは無関係
なぜならNの有限モデルは存在しないから
721:現代数学の系譜 雑談
20/03/26 15:22:07.07 Toc1jVc8.net
>>657
補足
あと
１）決定番号ｄの範囲が無限大になるとき、ｄは非正則分布になる（下記ご参照）
この場合、確率的な取り扱いができない
（ｄを確率変数として考えた時、ｄの範囲が無限大なら、ｄは裾が減衰しないと、積分が発散して∞になる。そのとき、全事象Ω＝１にすると、各事象は０とならざるを得ない。つまり、確率の公理を満たせない）
２）決定番号ｄをランダムに選ぶとか、あるいは（非可算無限集合たる同値類の中から）代表をランダムに選ぶことを考えるときには
下記の確率のベルトランのパラドックスのように、”無作為な選択の方法”を定義しなければ、確率計算ができない！
だが、時枝は定義がない。そもそも「（非可算無限集合たる同値類の中から）代表を無作為に選ぶ」が、定義できるのかどうか？？？
３）上記の１）と２）とを合わせて、確率計算で誤魔化しをしているのが、時枝記事です
QED
（参考）
URLﾘﾝｸ(to-kei.net)
to-kei.net
非正則事前分布とは？?完全なる無情報事前分布?
2017/10/06
(抜粋)
Contents [hide]
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ベルトランの逆説（ベルトランのぎゃくせつ、英: Bertrand paradox）は、確率論の古典的解釈において発生する問題である。
確率変数を導入する方法やメカニズムが明確に定義されない場合、確率がうまく定義できない場合があることを示す例として与えた。
古典的な解答
この問題に対する古典的な解答は、以上のように、「無作為に」弦を選ぶ方法に
722:依存する。 すなわち、無作為な選択の方法が確定すれば、そしてそのときのみ、この問題はwell-definedな解をもつ。 選択の方法は唯一ではないので、唯一の解は存在しえない。
723:１３２人目の素数さん
20/03/26 15:33:36.35 /vnWknlA.net
>>661
決定番号が必ず自然数の値をとることは
尻尾の同値関係と同値類の定義から示されることで
非可測だからといって決定番号が∞になることはない
上記を理解しましたか？
724:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 17:26:13 Toc1jVc8.net
>>662
下記
レーヴェンハイム?スコーレムの定理（上方部分）：いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない
を理解しましょうｗｗ（＾＾；
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
725:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 17:33:54 Toc1jVc8.net
>>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)・・
G(X)'=a0+a1X+a2X^2+・・anX^n+0X^(n+1)・・
・そして、
形式的冪級数を、数列 (an)n→∞ とみなすことができる（下記引用ご参照）
F(X)→無限数列 9,9,9・・
G(X)→無限数列 0,0,0・・
F(X)'→無限数列 a0,a1,a2・・an,9・・
G(X)'→無限数列 a0,a1,a2・・an,0・・
・ここで、G(X)'=a0+a1X+a2X^2+・・anX^n+0X^(n+1)・・において、
各係数(anたち)を9と置くことができる。即ち、a0=a1=a2=・・=an=9だ
そして、n→∞の極限を考えると
.999・・0・・は、.999・・・に収束し、その値は1になる
・同様に、F(X)'=a0+a1X+a2X^2+・・anX^n+9X^(n+1)・・において、
各係数を0と置くことができる。即ち、a0=a1=a2=・・=an=0だ
そして、n→∞の極限を考えると
.000・・9・・は、.000・・・に収束し、その値は0になる
・なお、両者とも 決定番号はd=n+1で、ｎ→∞とできる
QED
（なお、上記では 煩雑を避けるために、記号と表記の濫用で、形式的冪級数→無限級数→無限小数 の対応 また、その逆の対応を 断りなく用いた）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
(抜粋)
より形式的な定義
N を非負整数全体の集合とし、配置集合 AN すなわち N から A への関数（A に値を持つ数列）全体を考える。
ここでの (an) は上の ΣanX^n と対応する。
(引用終り)
以上
726:１３２人目の素数さん
20/03/26 17:35:58 /vnWknlA.net
>>663
自然数は有限のモデルを持たないことを理解しましょう
（自然数全体の集合Nは有限集合にならない）
また、
・最大の自然数は存在しない
・いかなる自然数も自分以上の自然数が無限に存在する
ということも理解しましょう
（参考）
自然数の定義
・自然数0が存在する。
・任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する （suc(a) は a + 1 の "意味"）。
・異なる自然数は異なる後者を持つ。つまり a ≠ b のとき suc(a) ≠ suc(b) となる。（ある種の単射性）
・0はいかなる自然数の後者でもない（0より前の自然数は存在しない）。
・0がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
727:１３２人目の素数さん
20/03/26 17:42:23 /vnWknlA.net
>>664
そもそも、>>642の「まず修正」が見当違い
.999…は全ての桁の値が9
.999…∈{0,…,9}^Nは、桁の位置が全て自然数で表される
.999が実数として1に等しいというのは
「箱入り無数目」とは無関係
無限列としては等しくないから
728:１３２人目の素数さん
20/03/26 17:49:39 /vnWknlA.net
>>666
追伸
3進カントール集合は、3進無限小数のうち1が現れないもの
{0,2}^nと考えることができる
0.022…と０.200…は無限列としても数としても異なる
729:１３２人目の素数さん
20/03/26 18:00:43.72 /vnWknlA.net
（質問）
もしかして
・数列 .9、.99、.999、… の極限は.999…
・そして、数列の各項について
.000…と.9000…は同値 （決定番号2）
.000…と.9900…は同値 （決定番号3）
.000…と.9990…は同値 （決定番号4）
…
上記２点から
・.000…と.999…も同値 （決定番号∞）
という「論法」を用いてますか？
730:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/26 18:21:54 Toc1jVc8.net
>>663
ｗ（＾＾；
731:https://fujicategory.hatenadiary.org/entry/20110721/1311211333 数学基礎論の勉強ノート id:fujicategory 2011-07-21 レーヴェンハイム・スコーレムの定理！！ (抜粋) 第５章 まずは定理の引用から。（新井敏康「数学基礎論」より） 定理５.１.７（上方(Upward)Lowenheim-Skolem 定理） １．言語Ｌでの公理系Ｔがどんなにも大きい有限モデルをもてばあるいは無限モデルをもてば どんな無限基数κ?card(L)についても ＴのモデルNで濃度κのものが存在する． すごいのは、この定理から導かれる系５.１.１０。 この系によれば、公理系Ｔが無限モデルをもてば、Ｔの濃度κのモデルＭで、Ｍで定義できる無限集合の濃度がすべてＭと同じκになるようなものが作れます。 すると、たとえばＺＦＣの(有限部分の)モデルで、モデル内で定義できる無限集合がすべて可算濃度ωになるものが存在します。 http://www.cs-study.com/koga/set/lowenheimSkolem.html 形式的論理体系の定義から レーベンハイム・スコーレムの定理までの大急ぎのまとめ by Akihiko Koga 17th Jan. 2019 (Update) (抜粋) 目次 概要 記号論理の文法 (Syntax) と意味 (Semantics) 記号論理とモデルの説明（詳細編） レーベンハイム・スコーレムの定理と集合論での解釈 レーベンハイム・スコーレムの定理の証明 完全性定理を使った証明のアウトライン （補足）（ダウンワード）レーベンハイム・スコーレムの定理成立の本質 二階述語論理などの関連事項 雑感 （補足） （ダウンワード）レーベンハイム・スコーレムの定理成立の本質 当然のことながら証明は厳密にしなければならないのだが，レーベンハイム・スコーレムの 定理が成り立つ本質的な理由は， 有限，あるいは可算無限個の関数記号や述語記号から 作り出すことができる要素の総体は可算無限個である ことによる．これは上の証明の中の Termσ/～Σ を 考えればわかる． ちなみに我々の自然言語も有限のアルファベットあるいはかななどからなるので， それらの言葉で直接指し示すことができる数学的概念も，高々可算無限個である． 我々が直接言葉で表すことができるものは結構少ないのだ． 2019.01.17 (木)
732:１３２人目の素数さん
20/03/26 19:27:49 w9QXoHzC.net
>>656
>１．決定番号∞について
>・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
バカの言ってることが正しいと仮定。
「決定番号dは全ての自然数を渡る」より d∈N
決定番号d=∞ より ￢(d∈N)
矛盾が導かれたので仮定は偽。
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
733:１３２人目の素数さん
20/03/26 19:59:07 /vnWknlA.net
>>670とは関係ないが・・・
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
734:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/26 20:15:21 +Ol1TdQp.net
>>670
レーヴェンハイム・スコーレムの定理を否定するとな？！ｗ （＾＾；
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
735:１３２人目の素数さん
20/03/26 20:21:40 w9QXoHzC.net
バカの一つ覚えｗ
736:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/26 20:22:42 +Ol1TdQp.net
>>671
(引用開始)
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
(引用終り)
意味不明だな
言葉のサラダ？
言葉のスパゲティー？ｗ（＾＾；
（参考）
URLﾘﾝｸ(hidamarikokoro.jp)
クリニックブログ
2017.01.12
言葉のサラダとは？
「解体した会話」とはどのような会話なのでしょうか？
「解体した会話」とは、「脈絡のない」「前後のつ�
737:ﾈがりがない」「理解できない」会話と言えるでしょう。 これらの解体した会話がひどくなると、まったく脈絡なく単語が出てくる「言葉のサラダ」と呼ばれる状態になります。 引用文献： 図解 よくわかる統合失調症
738:１３２人目の素数さん
20/03/26 20:30:58 /vnWknlA.net
>>674
意味は明瞭
決定番号ｎが標準自然数でも超準自然数でも、
ｎ＋１が存在するからその先の尻尾が得られる
一方∞が最大の要素であって、∞＋１が存在しないなら
決定番号が∞の場合、その先の尻尾が得られない
「箱入り無数目」の方法の妨げとなるものは
「決定番号の先の尻尾の非存在」しかない
しかし、∞＋１が存在しない、という主張は
ペアノの公理である後者の存在を真っ向から否定する
739:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/26 20:36:50 +Ol1TdQp.net
>>674
数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ （＾＾；
”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．
標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ
（参考）
URLﾘﾝｸ(sites.google.com)
Sendai Logic Homepage
仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです．
文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩）
■ 読み物系
□数学基礎論と消えたパラドックス（『数学セミナー』1993年8月号より）
パラドックスから数学基礎論の誕生，不完全定理への流れを解説．
(抜粋)
■ Ｈ. フリードマンの定理
言葉の説明を後回しにして、定理を述べる．
ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．
和積演算を伴った非負整数の集合をペアノの算術の“標準モデル”といい、
それと同型でない数学的構造でペアノの公理を満たすものを“超準モデル”という．
標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．
超準モデルもペアノの公理を満たしているから、
その上に大小関係や和積演算が定義されている．
モデルの要素を大きさの順に並べて、
あるところで大きい方と小さい方に分け、小さい方を“接頭部”と呼ぶ．
どんな超準モデルも、
標準モデルと同型な接頭部を持つことが簡単に示せる．
そして、どんな超準モデルも
自分の縮小コピーを接頭部として持ついうのがフリードマンの結果である．
これは、自分と同じものは自分の中で造れないという第二不完全性（＋完全性定理）と矛盾するようだが、そうではない．
なぜなら、接頭部の切り口が自分では見つけられない（定義できない）からである．
この定理の証明がまた実に巧妙で面白い．
厳密な議論を紹介するスペースはないが、
以下に述べるアイデアからその卓抜さに共感戴ければ幸いである．
(引用終り)
以上
740:１３２人目の素数さん
20/03/26 20:41:47.12 /vnWknlA.net
>>676
＞超準モデルもペアノの公理を満たしている
でしょう？
では∞について、∞＜∞＋１ となる∞＋１の存在を認めるね？
741:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/26 21:28:55 +Ol1TdQp.net
＜ヒルベルトの無限ホテルのパラドックス＞
・自然数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は 無限集合なので「その真部分集合である奇数号室すべての集合の基数と等しい」（ヒルベルトの無限ホテルのパラドックス）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルトの無限ホテルのパラドックス
(抜粋)
パラドックスの内容
それぞれに無限の乗客が乗った無限台の車がホテルに乗りつけたとする。
この場合、まず奇数号室を上のようにして�
742:ｯ、1台目の乗客を 3n（n = 1, 2, 3, …）号室に、2台目の乗客を 5n（n = 1, 2, 3, …）号室に、…というふうに入れる。i 台目の乗客は pn（ここで p は i + 1 番目の素数）に入れればよい。 現実にある（2室以上ある）有限ホテルでは、当然奇数号室の数は全室数より少ないが、無限ホテルではそうではない。 数学的には、全室からなる集合の基数（有限集合における要素の個数に当たる）は、その真部分集合である奇数号室すべての集合の基数と等しい。 これは無限集合の特徴である。 この可算無限集合の基数は N0（アレフ・ゼロ、アレフ・ヌル）と表される。 https://math-fun.net/20180731/996/ 趣味の大学数学 ガリレオのパラドックスとヒルベルトの無限ホテルから感じる、無限集合の性質 2018年7月31日2019年10月25日 (抜粋) 目次 ガリレオのパラドックス ヒルベルトの無限ホテル 無限集合の不思議
743:１３２人目の素数さん
20/03/26 21:44:36 /vnWknlA.net
（質問）
ｎが超準自然数でも何の問題もなく「箱入り無数目」の方法が適用できて
超準自然数同士の大小の比較も可能で、箱の中身が的中できることは
全面的に認めますね？
744:１３２人目の素数さん
20/03/26 22:16:50 w9QXoHzC.net
自然数にも上限は無いがどの自然数も有限
コピペ馬鹿に数学は無理
745:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/27 07:20:49.86 PNCnIYnC.net
>>679
時枝は、
１．しっぽの同値類は可能
２．決定番号を決めることは可能
３．しかし、確率計算は正当化できない
ってことでしょ
746:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/27 07:31:23.83 PNCnIYnC.net
>>680
>自然数にも上限は無いがどの自然数も有限
自然数に上限は無く どの自然数も有限でも
しかし、超限順序数ωは
ヒルベルト無限ホテルのパラドックスを使って
（>>678ご参照）
直ちに実現できますねｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
順序数
(抜粋)
この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。
ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。
747:１３２人目の素数さん
20/03/27 07:42:23.78 asHKGG7T.net
>>681
＞１．しっぽの同値類は可能
＞２．決定番号を決めることは可能
３．どの決定番号でも、その先の尻尾をとることが常に可能
４．決定番号は整列順序により大小の比較が常に可能
したがって「箱入り無数目」は（100列が確定している場合）正しい
748:１３２人目の素数さん
20/03/27 07:49:41.59 asHKGG7T.net
>>682
超限順序数ωは超準自然数ではない
「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで
「箱入り無数目」の否定にはならない
749:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/27 08:45:51.61 PNCnIYnC.net
>>683-684
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
750:１３２人目の素数さん
20/03/27 09:02:51 asHKGG7T.net
>>685
まず、大学教程の自然数論を学ぶこと
基礎から積み上げないと数学は正しく理解できない
無限列をR^Nを定義したのだから、Nを理解すること
Nの定義はペアノの公理
・0はNの要素
・nがNの要素なら、n+1はNの要素
2点目から、最後の自然数が存在しないことがわかる
それで箱入り無数目は反駁不能とわかる
751:１３２人目の素数さん
20/03/27 09:06:18 asHKGG7T.net
今日は在宅勤務？
HNとトリップは本スレッドでしか使用していないようだが
今後は自宅および職場からの投稿のどちらも
トリップだけにしていただいて結構
長たらしいHNは無意味
752:１３２人目の素数さん
20/03/27 09:1
753:5:57.45 ID:asHKGG7T.net
754:１３２人目の素数さん
20/03/27 09:27:00.52 asHKGG7T.net
日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の
分かりやすいＨＮが好ましい
755:１３２人目の素数さん
20/03/27 09:32:13.75 asHKGG7T.net
もし私がつけていいなら「集合Ａ」を提案する
英語でいうと”Set A”
URLﾘﾝｸ(www.youtube.com)
♪特別じゃない どこにもいるさ 俺は集合A
756:１３２人目の素数さん
20/03/27 09:59:30 asHKGG7T.net
本スレッドのスレッド名も陳腐なので
新しく立てるなら名前を変えたほうがいい
たとえば「数理資本主義」とか
反資本主義の活動家が大量に押しかけてくるだろう
757:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/27 10:02:53 JV2qk9Qn.net
おサル必死だな
コテとトリップを付けるかどうかは
おれは、専用ブラウザを使っているので
設定しておけば、簡単でね
このスレでは、コテとトリップ
あのスレでは、無しとかね
なお、余談だが
あと、sageとage もスレ毎に設定できる
別に、なんということもない
758:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/27 10:04:34 JV2qk9Qn.net
>>691
今日は、ヒマか？
つうか、コロナでヒキコモに、好都合か
＞反資本主義の活動家が大量に押しかけてくるだろう
ヒマ人の妄想も
ここまで来れば立派
薬しっかり飲めよ
759:１３２人目の素数さん
20/03/27 10:07:32 asHKGG7T.net
>>692
＞専用ブラウザを使っているので
承知している
しかしHNのネーミングとか書き込みの内容は
専用ブラウザの使用とは無関係の書き手のセンスの問題
誤りに満ちた書き込みを固定ハンドルで書いても恥ずかしいだけだろう
それなら全部匿名にしたほうがいい 違うかな？
760:１３２人目の素数さん
20/03/27 10:25:38 asHKGG7T.net
>>693
職場から書き込みか？ コロナに感染するぞ
761:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/27 10:27:02 JV2qk9Qn.net
>>669
補足
> URLﾘﾝｸ(fujicategory.hatenadiary.org)
>数学基礎論の勉強ノート id:fujicategory
> 2011-07-21
>レーヴェンハイム・スコーレムの定理！！
これ、面白い
図解が面白い
是非、ご一見願います（＾＾；
追加貼る
URLﾘﾝｸ(www.cs-study.com)
集合，位相，論理など
(Set, Topology, Logic, etc.)
28th Dec 2019 (Updated)
10th Oct. 2017 (First)
Akihiko Koga
(抜粋)
1)集合論の基礎
1.いろいろな集合論についてのおぼえ書き
-1.公理的集合論
-2.素朴集合論
-3.圏論ベースの集合論
-4.代替集合論 (Alternative Set Theories)
某勉強会で発表してきたことを追加しました．(2019.06.22)
2.集合論の学習での重要なポイント
3.Zorn の補題と選択公理のお話
4.フォーシングと連続体仮説の否定の無矛盾性
5.基礎的な集合論の教科書
6.集合論についての素朴な(かなり，おまぬけな)疑問集
2)位相空間の基礎
テキストや計算機応用の文献など
3)論理学の基礎
1.Hilbert の体系の例
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
某勉強会での連続体仮説解説の顛末追記
3.ゲーデルの不完全性定理について
別のコーナーで書いた簡単な説明へのリンクです 2019.12.28
4.数理論理学の基礎を勉強するための参考になりそうな文献例
つづく
762:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/27 10:27:38 JV2qk9Qn.net
>>696
つづき
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
とある勉強会で，連続体仮説の否定の無矛盾性の解説をするために レーベンハイム・スコーレムの定理を分かった気にさせる解説を執筆完（2018.09.29）．
レーベンハイム・スコーレムの定理 (初出 1915年 ) は，一階述語論理のモデルの大きさに関する命題である．大雑把に言えば， その一階述語論理に用意された記号の集合が可算無限個のとき，その論理体系の中の 公理系がモデルを持てば，そのモデルの要素数（基数）を可算無限個まで絞ることも， 非可算無限個まで水増しすることもできるという内容である．
URLﾘﾝｸ(www.cs-study.com)
これは，全体が可算個の集合からなる集合論のモデルを保証したり，自然数の集合のサイズが 非可算個でも矛盾がないことを意味し，一見，それまで築かれた数学的常識と 反するので，発見当初は，レーベンハイム・スコーレムのパラドクスとして 扱われた．その後，この定理の解釈が整理されるとともに，今は，特にパラドクスでは ないという認識になっていると思う．
私は，今，勉強会のためにこの解説を作りながら，この定理は 無限集合に関する我々自身の思考に関わるもので，とても 含蓄のある定理だと感じている．
(引用終り)
以上
763:１３２人目の素数さん
20/03/27 10:32:33 asHKGG7T.net
＞薬しっかり飲めよ
こんな書き込みに真面目にレスポンスする人はいないだろうが
ヒマなので書くことにしよう
薬は今は飲んでない
以前、突発性難聴にかかり後遺症の耳鳴りで
不眠症になったので睡眠薬を処方してもらったが
それがよくなかった
結局やめるのに半年かかった
眠れないからといって薬を飲むのはよろしくない
764:１３２人目の素数さん
20/03/27 10:35:55 asHKGG7T.net
>>696-697
いくら読んでも「箱入り無数目」の否定は導けないよ
765:１３２人目の素数さん
20/03/27 10:40:13 asHKGG7T.net
「箱入り無数目」は、列をS^O（Oは順序数）で表したとき
Oが極限順序数であれば成立する
要するに「終端がない」ということが最も重要
N∪{∞}は、ω＋１であって、後続順序数だから終端がある
後続順序数で成立しない、といったところで意味がない
なぜならN（＝ω）は極限順序数だから
766:１３２人目の素数さん
20/03/27 10:45:07 asHKGG7T.net
まったくどうでもいい話
レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが
ナチ時代の法律で、３／４アーリア人として扱われたらしい
767:現代数学の系譜 雑談
20/03/27 10:53:34.19 JV2qk9Qn.net
>>685 補足
(引用開始)
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)
補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
３）複数の箱がある。iid(独立同分布)を仮定する
下記のiidの説明 通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという
大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！
QED
（＾＾；
（参考）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
mas********さん2016/3/2720:48:25 Yahoo
サイコロの目が出る確率は1/6ですが
サイコロの目を当てる確率はいくつですか？
私はランダムにサイコロの目を選ぶとその2倍当たりにくく1/12だと思うのですがどうなんですか？
回答1?1件/1件中
umi********さん 2016/3/2720:55:03
1/6 ですよ。
半分は国語の問題ですねw
「特定の」サイコロの目が出る確率は 1/6。
つまり 1の目が出て欲しいとき、それが出る確率は6
768:つの面のどれかが出るわけですから、もちろん1/6です。 https://www.practmath.com/iid/ 実用的な数学を 2019年6月20日 投稿者: TAKAN 独立同分布である i.i.d. IID (抜粋) 同じ分布のデータは互いに不干渉だよ これは「確率変数を別々に扱えるよ」という『仮定』です。 これが仮定されていると、非常に計算がしやすくなります。 相関を考えなくて良いので、共分散などを使う必要がありません。 https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布 以上
769:１３２人目の素数さん
20/03/27 10:55:03.24 asHKGG7T.net
もう「箱入り無数目」は終わりにしたほうがいいね
列に終端がない時点で否定の余地は全くないから
このスレッドも要らないね
集合論には興味ないでしょ
全然理解もしてないしね
無理に「ベーリンガー・インゲルハイムがー」なんていわなくていいよ
あ、それは製薬会社か
URLﾘﾝｸ(www.boehringer-ingelheim.jp)
770:１３２人目の素数さん
20/03/27 10:58:44.95 asHKGG7T.net
>>702
＞ある箱の数当てが1-εにできる
それ、記事の読み間違い
「当たる箱を選ぶ確率が1-εにできる」が正しい
箱の中身が固定だから、代表元と一致するかしないかしかない
確率でいえば１か０
１の箱が９９個で、０の箱が１個だから
箱をランダムに選べば１の箱を選ぶ確率は９９／１００
771:１３２人目の素数さん
20/03/27 11:04:39.72 asHKGG7T.net
結局「ある箱の数当てが1-εにできる」という誤解に対する否定だから
相手は記事の著者じゃなくて、自分自身
772:１３２人目の素数さん
20/03/27 11:19:02.64 asHKGG7T.net
ところで、無限列ｘと同値類の代表元ｒ（ｘ）を比較した場合
「第ｎ項が不一致」って事象は、任意有限個では独立だけど、
無限個で考えたら独立ではないね
なぜなら自然数の無限部分集合について、
その要素となるｎ全部で「第ｎ項が不一致」
となることはないから
（不一致となる項は有限個）
773:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/27 12:09:27 JV2qk9Qn.net
>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
(引用終り)
これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？
ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定する」なんて
確率論の頻出で、いろはのい、初歩の初歩です
分からない人、あほのあ！ｗ（＾＾；
774:１３２人目の素数さん
20/03/27 12:22:31.70 asHKGG7T.net
>>707
＞これが理解できないんだ
あなたが？
＞まあ、難しくないけど
理解できないのに易しいという？
もしかしてコロナに感染してる？
775:１３２人目の素数さん
20/03/27 12:28:35.04 asHKGG7T.net
>>707
＞・・・のあ
乃木坂の白石麻衣が、デビュー前ジャニーズの追っかけをやってたことは
知る人ぞ知る事実だが、その頃名乗っていた「安田のあ」という名前は
「安田（章大の愛人）のあ」の意味らしい
776:現代数学の系譜 雑談
20/03/27 13:58:35.77 JV2qk9Qn.net
分からない 落ちこぼれ の人、落ちこぼれ の "お" ！！ｗｗ(゜ロ゜;
777:１３２人目の素数さん
20/03/27 14:25:49.26 asHKGG7T.net
「箱入り無数目」についての発言は諦めたんだね
では、HNについて
職場から出すほうが短いので、
自宅から出すほうも同じく短くしようね
もうガロアの話なんて全然してないしできないからね
正規部分群の定義も正しく理解できず
円分体の自己同型も間違えるんじゃ
ガロア理論なんか絶対理解できるわけないからね
完全に断念したのは大正解 スレッドも一掃されたし
778:１３２人目の素数さん
20/03/27 14:30:22.82 asHKGG7T.net
このスレッドが終わったら次に立てるスレッドの名前は
「現代数学の系譜 雑談」がいいだろうね
雑談なら何を書いてもいいからね
その時はHNは無しのほうがいいね
書くのは自分だけだろうけど、
HNが無ければどこの誰か詮索しないよ
間違えてもどこのだれかわからないし
どうもHNがあると間違いを認めず
779:に つっぱり続けるみたいだからね
780:現代数学の系譜 雑談
20/03/27 14:32:37.55 JV2qk9Qn.net
>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
(引用終り)
これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？
ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定する」なんて
確率論の頻出で、いろはのい、初歩の初歩です
おサルは、必死の”ひ”！ｗ（＾＾；
781:現代数学の系譜 雑談
20/03/27 14:35:00.16 JV2qk9Qn.net
>>712
>このスレッドが終わったら次に立てるスレッドの名前は
>「現代数学の系譜 雑談」がいいだろうね
>雑談なら何を書いてもいいからね
おサル、忘れたのか？
あれだけ 暴れたのにさｗ
ガロアスレのスレタイは、下記だよ
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
ｽﾚﾘﾝｸ(math板)
782:That's done
20/03/27 14:35:58.63 asHKGG7T.net
今、いいHNのアイデアがひらめいた
君にあげようかとおもったけど
自分で使うことにした
>>713
That's done. （それは終わったよ）
783:１３２人目の素数さん
20/03/27 14:39:12.80 asHKGG7T.net
>>714
誰も彼も同じ人物だと思い込む妄想が治らないね
過去のスレッドのタイトルなんて忘れなよ
いい思い出なんて一つもなかっただろ？
心機一転 新しいタイトルで出直しな
HNも捨てていいよ 誰もそんなもの気にしないし
784:That's done
20/03/27 14:41:02.14 asHKGG7T.net
いかんいかん、HNが抜けたな
専用ブラウザなんて使ってないんだ
浪人買うなんて無駄金出すほど馬鹿じゃないし
まさか、浪人買ってるの？ 5ch中毒？
785:That's done
20/03/27 14:55:21.35 asHKGG7T.net
提案
１．HNとトリップは止めな 意味ないから
２．スレッドは立ててもいいけど 今後は分野特定せずに「雑談」にしな
786:現代数学の系譜 雑談
20/03/27 14:55:48.71 JV2qk9Qn.net
浪人使っているよ
・金には困っていない（これが一番ｗ）
・センブラは便利（これが二番）
・エロ アド（PR） がうざい（これも二番）
・まあ、”久米仙人”（下記）みたいなものよｗｗ(゜ロ゜;
（参考）
URLﾘﾝｸ(zizimuge.blog44.fc2.com)
さおのむかし
久米仙人は何故落ちたか？（１）2006.02.12
(抜粋)
久米仙人というのは、聖武帝の御世に生きた人だというから、実在したのだとすれば、ほぼ八世紀頃の人物である。吉野の龍門寺で仙法をきわめ、自在に空を飛翔するほどになったのだが、あるとき吉野河で洗濯をする女性の足に目を奪われて、河に墜落してしまったのだという。
この話は『今昔物語集』巻十一に、「久米仙人、始造久米寺語」（くめせんにん、はじめてくめでらをつくれること）という題で語られており、古来有名なものなのだが、どちらかと言えば、真面目な検討の対象になるというよりは、むしろ「女性の色香に惑わされて、験力を失った愚かな仙人」ということで、笑い話として扱われることが多いようである。
787:現代数学の系譜 雑談
20/03/27 14:58:30.69 JV2qk9Qn.net
>>718
妄想がひどくない？
薬、飲めよ！！
おまえは、自分が運営になったつもり？
おまえには、なんの権限も、力もないんだよｗ！！ｗｗ（＾＾；
788:That's done
20/03/27 15:04:15.07 asHKGG7T.net
今のHNを英語に翻訳してみたことある？
The genealogy of modern mathematics, chat かな
でもここでgenealogyなんて語ってないから余計だね
ちなみに Mathematics Genealogy ProjectっていうHPは別にある
数学者の師弟関係を記録したサイトだね
URLﾘﾝｸ(www.genealogy.math.ndsu.nodak.edu)
ここで語ってるのはせいぜいchat of modern mathematics だね
どうみてもHNというよりスレッド名
だからスレッド名は次から「現代数学雑談」
工学とか物理とか要らない
数学の人は現実にも
789:実用性にも興味ないから
790:That's done
20/03/27 15:24:00.07 asHKGG7T.net
>>719
>金には困っていない
金がいくらあっても、数学書は買えても、数学の理解は買えないよ
>久米仙人
数学を理解できないのは、エロとは無関係だな
>>720
提案だよ て・い・あ・ん
791:現代数学の系譜 雑談
20/03/27 15:35:35.76 JV2qk9Qn.net
＜再録＞
>>685 補足
(引用開始)
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)
補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
３）複数の箱がある。iid(独立同分布)を仮定する
下記のiidの説明 通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという
大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！
QED
（＾＾；
（参考）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
mas********さん2016/3/2720:48:25 Yahoo
サイコロの目が出る確率は1/6ですが
サイコロの目を当てる確率はいくつですか？
回答
umi********さん 2016/3/2720:55:03
1/6 ですよ。
半分は国語の問題ですねw
URLﾘﾝｸ(www.practmath.com)
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
URLﾘﾝｸ(ja.wikipedia.org)
独立同分布
>>702 補足
これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？
ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定する」なんて
確率論の頻出で、いろはのい、初歩の初歩です
792:That's done
20/03/27 15:41:49.60 asHKGG7T.net
>>723
＞”ある箱の数当て”が確率 …1-εにできる
どうしてもその”誤り”にはまって抜け出せないね 何故？
「ある箱の数当て」ではないよ
「当たる箱の選出」だよ
箱の中身は定数だからiidなんて無用 分布なんてないし
That's done. （それは終わったよ）
793:That's done
20/03/27 15:45:34.23 asHKGG7T.net
無限列ｘとその同値類の代表元ｒ（ｘ）を比較した場合
任意の自然数ｎについて「第ｎ項が不一致」って事象は、
任意有限個では独立だけど、無限個で考えたら独立ではないね
なぜなら自然数の無限部分集合について、その要素となるｎ全部で
「第ｎ項が不一致」となることはないから
（不一致となる項は有限個）
794:現代数学の系譜 雑談
20/03/27 16:48:53.13 JV2qk9Qn.net
おサル必死
くっ くっ く、 >>723ご参照 ww（＾＾；
795:That's done
20/03/27 17:05:08 asHKGG7T.net
>>726
That's done. （それは終わったよ）
明日からHNとトリップ捨てて出直しなよ
796:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/27 17:12:37 JV2qk9Qn.net
おサル必死
くっ くっ く、 >>723ご参照 ww（＾＾；
終わっているのは、お ま え ｗｗｗ
797:That's done
20/03/27 17:17:17 asHKGG7T.net
>>728
That's done. （それは終わったよ）
明日からHNとトリップ捨てて出直しなよ
798:That's done
20/03/27 17:22:21 asHKGG7T.net
>>723
>>724
「ある箱の数当て」ではないよ
「当たる箱の選出」だよ
箱の中身は定数だからiidなんて無用
799:１３２人目の素数さん
20/03/27 19:07:38 WXxBUAbr.net
The Riddle も解らない馬鹿に数学は無理
800:１３２人目の素数さん
20/03/27 19:12:36 WXxBUAbr.net
>>681
>３．しかし、確率計算は正当化できない
Ω={1,2,...,100} の離散一様分布が正当化できないと？
脳みそコロナ感染してる？
801:１３２人目の素数さん
20/03/27 19:16:07 WXxBUAbr.net
iidって要するに当てずっぽうでしょ？
そりゃ当てずっぽうじゃ当たらないわなｗ
そんな話が数学セミナーの記事に？妄想もたいがいにしましょうねｗ
802:１３２人目の素数さん
20/03/27 19:26:55.96 WXxBUAbr.net
HNこれにしとけ
「自然数も分らない馬鹿」
時枝？
そりゃ自然数も分らない馬鹿には無理ですよｗ
803:That's done
20/03/27 19:31:57.40 asHKGG7T.net
>>733
あの人はiidばっかり繰り返してるけど
実はポイントはそこじゃなくて
ある箱に絞った場合の条件つき確率
として考えることなんだけどね
例えばX_(n,m)（n列目のm番目の箱)に絞るとすると
当たる場合は、n列目の決定番号がm以下の場合だし
外れる場合は、n列目の決定番号がmより大きい場合
つまり
「全部の列の決定番号の最大値がmの場合」と
「全部の列の決定番号がmより大きくて
n番目以外の列の決定番号の最大値がmの場合」
の確率を比較することになる
だから前者が後者に比べて圧倒的に小さくてほぼ0になるということ
だからといって「箱入り無数目」とは矛盾しないのでほっといていい
804:１３２人目の素数さん
20/03/27 19:35:26 asHKGG7T.net
>>734
AI(=Artificial Intelligence)に対抗して
NI(=Natural Innocence)というのは如何？
805:１３２人目の素数さん
20/03/27 21:11:23 BRYMq2Nk.net
>>702 >>707
> 「iidだからそれはおかしい」と即座に分かる
> 「可算無限個の箱→可算無限の確率変数族」
URLﾘﾝｸ(ja.wikipedia.org)コーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが
「その前に極限値がわからなければならない」から
どの同値類に収束するか前もって分からないといけない
前もって収束する先の(R^Nでの)同値類を決めておくと
「iid」ではそのような数列を作ることはできない
> どの箱も、例外無し！
1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
では同値類は異なるよ
806:１３２人目の素数さん
20/03/28 10:23:57 +ARtdTH+.net
>>702
>５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという
時枝先生はそんなこと言ってません。「固定された100列のいずれかをランダムに選択すればアタリ列を選ぶ確率は99/100以上になる」と言ってます。
そしてこれは完全に正しい。
全く分かってませんね�
807:B時枝戦略を語りたいなら正しく理解することから始めましょう。
808:１３２人目の素数さん
20/03/28 10:29:53 +ARtdTH+.net
>>682
>自然数に上限は無く どの自然数も有限でも
>しかし、超限順序数ωは
>ヒルベルト無限ホテルのパラドックスを使って
>（>>678ご参照）
>直ちに実現できますねｗ（＾＾；
だからなに？
箱入り無数目はR^Nですけど？
809:１３２人目の素数さん
20/03/28 10:40:16 +ARtdTH+.net
確率論があーが口癖の瀬田が一番確率分かってないね。
試しに時枝戦略の確率の確率空間書いてみ？
810:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/28 11:16:30.13 MRwZqC/h.net
>>737
だれか知らないが、コーシー列を誤読しているよ
URLﾘﾝｸ(ja.wikipedia.org)コーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが
正確には、下記だ。つまり、
”収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。”
です。上記とは、真逆の意味だよ。分かりますか？
URLﾘﾝｸ(ja.wikipedia.org)
コーシー列
(抜粋)
実数におけるコーシー列
|xn - xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。また本質的に同じことだが、級数の収束性を和を仮定せずに判定することもできる。
コーシーの収束判定基準という。
収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。
コーシー列の収束性と空間の完備性
距離空間 (X,d) は、その任意のコーシー列が X 上に極限を持つとき完備であるといい、完備である距離空間を完備距離空間、または単に完備空間という。
“実数の連続性”は、実数全体の成す距離空間 R が完備であることを意味している。 すでに述べたように、Rk や Ck などもすべて完備である。 一方、有理数全体の成す集合 Q やユークリッド空間内の有理点全体 Qkなどを完備でない距離空間の例としてあげることができる。
実数の構成
実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。
(引用終り)
>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ
いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い
811:１３２人目の素数さん
20/03/28 11:25:58.72 +ARtdTH+.net
>>741
箱入り無数目にコーシー列など不要
相変わらず馬鹿丸出し
812:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/28 11:29:20.03 MRwZqC/h.net
>>741
(引用開始)
>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ
いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い
(引用終り)
この話は、非常に示唆に富んでいる
つまり、箱に入れて良い要素を増やしても、同様に確率1-εが得られるというのが、時枝理論だ
だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる
（この話は、>>525に書いた通り、実数→多元数の同値類 に拡張できる。そして、任意の多元数で 同じ 確率1-εが得られる
しかし、入れる方があくまで実数しか入れないなら、的中率は下がるべき。これ、時枝理論の矛盾です （＾＾； ）
813:１３２人目の素数さん
20/03/28 11:38:07.91 hDJsRLVm.net
>>743
＞箱に入れて良い要素を増やしても、同様に確率1-εが得られる
そもそも「ある箱の数当て」ではないので当然
＞これ、矛盾です
ただの読み間違い
814:１３２人目の素数さん
20/03/28 11:52:45 +ARtdTH+.net
>>743
>だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる
まったく明らかじゃないｗ
妄想じゃなく数学語ってねｗ
815:１３２人目の素数さん
20/03/28 11:54:18 +ARtdTH+.net
>>743
>的中率は下がるべき
時枝解法を理解してないからそう思えるだけ
馬鹿丸出し
816:１３２人目の素数さん
20/03/28 12:10:14 +ARtdTH+.net
なんで確率空間書かないの？
分からないの？
確率勉強してね
817:１３２人目の素数さん
20/03/28 12:19:07 +ARtdTH+.net
確率空間も書けないのに大学4年の確率論があって言ってたんですね
馬鹿丸出しですね
818:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/28 12:43:45.86 MRwZqC/h.net
(>>593より)
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜； ＞
により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した
さて、時枝の手法は、ある方法で
819:、大きな数d'を与えて 問題の数列の決定番号dに対し d＜d' とできれば 列Xにおいて、Xd'+1から先のしっぽの箱を開けて 列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中できるというもの これが成立たないことも、すでに>>593に説明した さらに、ここを掘り下げてみよう！ １．ある方法で、d'が与えられたとする ２．問題の数列 X：X1,X2,・・Xd',Xd'+1,・・ において しっぽの箱 Xd'+1,・・ たちを開けて、列Xの同値類を決める ３．そして 同値類の代表列 rXが分かる ４．このとき、2つの場合がおきる １）開けた Xd'+1,・・ たちとの比較で、d'＜dとなってしまっている場合（開けたところまでで、すでに代表列rXの箱の数と不一致がある場合） （実は、こうなる確率が１なのだが*) ）この場合、"rXd=Xd"は無意味だ ∵ Xdは、すでに開封された箱だから "rXd=Xd"は無意味 ２）もし、d<=d'+1となっている場合(開けたd'+1までの箱の全部が一致の場合) しかしこの場合でも、d=d'+1の可能性が大なのだ ∵ d'の箱の比較で、"rXd'≠Xd'"の可能性大。つまり、任意の2つの実数を比較して、"rXd'＝Xd'"なる確率は0にすぎない ５．結局、時枝の数当て 不成立です！！ QED （＾＾； 注*)（上記の「実は、こうなる確率が１」の説明） １．dが自然数N全体を渡るとき、有限d'で分けて、n<=d'なるnは有限だが、d'<n なるnは無限 ２．従って、自然数N全体からnをランダムに選ぶと、確率 P(n<=d')＝0 （もっとも、これは正統な確率計算ではない ∵ 自然数Nの一様分布は、正則分布ではないから） ３．なお、時枝記事では、実は、我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない にも関わらず、決定番号dを選ぶことができるが如く錯覚させていることも、時枝トリックの1つだ （これ実は、けっこう重要なのだ）
820:１３２人目の素数さん
20/03/28 13:08:32 +ARtdTH+.net
>>749
>(>>593より)
>＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜； ＞
>により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど（>>593）
言ってませんけど？
ぜんぜん解ってないね
>１．ある方法で、d'が与えられたとする
>５．結局、時枝の数当て 不成立です！
おまえの云うある方法≠時枝の方法 なので無意味
頭大丈夫ですか？時枝の方法じゃなきゃ当たらないのは当たり前ですね～
821:１３２人目の素数さん
20/03/28 13:16:08 +ARtdTH+.net
>>593）
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど
2列のいずれかをランダムに選ぶから1/2が言えるのであって、選ぶ列を固定したら1/2は言えません。
ていうかなんで1/2が言えると思ってるの？バカ？
822:１３２人目の素数さん
20/03/28 13:36:38 /8rYWzo5.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
823:１３２人目の素数さん
20/03/28 15:43:02 hDJsRLVm.net
>>749
「箱Xdを特定したとき、"rXd'＝Xd'"なる確率は0」
というのは「箱入り無数目」とは無関係
100列が決まっているときに、それぞれの列について
他の99列の決定番号の最大値をdとしたとき
100列のうち99列の箱について"rXd'＝Xd'"となるから
ランダムに1列選んで"rXd'＝Xd'"となる確率が99/100
というのが「箱入り無数目」
824:１３２人目の素数さん
20/03/28 16:00:58 +ARtdTH+.net
ランダムが分からない瀬田
825:１３２人目の素数さん
20/03/28 16:32:41 hDJsRLVm.net
「箱入り無数目」とは無関係の定理
・番号dを特定したとき、ランダムに列Xを選べば"rXd＝Xd'"なる確率は0
・列sを特定したとき、ランダムに番号Nを選べば"rsN＝sN'"なる確率は1
（いずれも大文字が確率変数）
dがsの決定番号のとき
d<=NなるNで、rsN＝sN
N<=dなるNは有限だが、d<=N なるNは無限
自然数全体からNをランダムに選ぶと、確率 P(d<=N)＝1
したがってP(rsN＝sN)=1
826:１３２人目の素数さん
20/03/28 16:43:14.55 hDJsRLVm.net
「箱入り無数目」の代表元は、確率変数の無限族の
”まるまるの”独立性を満たさない
・任意のnについて
P(not(rXn＝Xn))=1 <
827:br> ・任意有限個のn_iについて P(∧not(rXn_i＝Xn_i))=1 しかし ・無限個のn_iについて P(∧not(rXn_i＝Xn_i))=0 なぜなら、not(rXn＝Xn)となるnは有限個だから
828:１３２人目の素数さん
20/03/28 20:40:48 WA7Bn40i.net
>>741
> 空の箱を許容するという意味なら
>>743
> 明らかに、入れる要素を増やせば、
ある箱だけに着目するのか全ての箱に着目するのか？
ということですよ
ある箱にだけサイコロの目を入れるというのは
他の箱は実数を入れるんだから他の箱にサイコロの目の数字が入る確率は0でしょ
全ての箱に入れるんだったらある箱にサイコロの目が入っているのなら
他の箱にもサイコロの目が入っている確率は1
サイコロの目を入れるということは箱の中の数字を1から6の6通りに絞るということで
数当ての出題は箱の中の数字を1つに絞るということだから同様に考えると
出題者が実数から選んだ数字がある箱にだけ入っているのならば
他の箱に出題者が実数から選んだ数字が入る確率は0
全ての箱に出題者が実数から選んだ数字を入れるんだったら
ある箱に出題者が実数から選んだ数字が入っているのなら
他の箱にも出題者が実数から選んだ数字が入っている確率は1
829:１３２人目の素数さん
20/03/28 20:47:36 WA7Bn40i.net
>>741
> コーシー列を誤読しているよ
時枝記事の数列はコーシー列ではないんですよ
an = 0: 0, 0, 0, ... , 0, ...
an = 1/n: 1, 1/2, ... , 1/n, ...
これらが属する同値類をr(an = 0), r(an = 1/n)などと書くことにする
an = 0とan = 1/n (> 0)の数列の値の極限値はともに0であるが数列の値の極限値
は数当ての出題には使えない
箱の中の数字を1つに絞ることができないから
有限数列: 1, 1/2, ... , 1/kを数列の値の極限値が0であるような無限数列にする
sn: 1, 1/2, ... , 1/kをsn→0 (n→∞)となるようにすると
1, 1/2, ... , 1/k, 0, 0, ... , 0, ...
1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ...
1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ... など1つに絞れない
箱の中の数字を1つに絞るには無限数列が属する同値類を極限値として考えることになる
sn→r(an = 0) (n→∞)
1, 1/2, ... , 1/k, 0, 0, ... , 0, ...
sn→r(an = 1/n) (n→∞)
1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ...
sn→r(an = 1/2n) (n→∞)
1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ...
> 極限値 x を推定した上で |xn - x| を評価する必要がある。
無限数列が属する同値類を推定してその代表元rnに対して |sn - rn| を評価すると
s1-r1, s2-r2, ... , s(d-1)-r(d-1), 0, 0, ... , 0となるから収束する
つまり決定番号dが有限でd以降のsnとrnが全て一致するから収束する
830:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/28 21:27:42 MRwZqC/h.net
>>723 補足
確率空間？（>>747-748）ｗｗ
iid(独立同分布)を仮定すると
可算無限個の箱があっても
箱が1つの場合と同じ確率空間で扱える
これ、確率論の常識ですょ！！
ほとんど、自明でしょｗ
例えば、サイコロの場合、下記です（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
確率空間
(抜粋)
定義
数学、特に確率論において、確率測度（かくりつそくど）とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである。
このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という。
事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがらの集まりである。
必ずしも S の部分集合全てが事象とはならないことに注意されたい。
例
・実数からなる区間 [0, 1] とそのボレル集合族 B からなる可測空間 ([0, 1], B) 上でルベーグ測度 μ を考えれば、μ([0, 1]) の値は区間の長さ |[0, 1]| = 1 ? 0 = 1 に等しいので、μ は ([0, 1], B) 上の確率測度であり、三つ組 ([0, 1], B, μ) は確率空間になる。
・サイコロ投げの確率空間は次のようなものである：
S = {1, 2, 3, 4, 5, 6}, E = 2^S, P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)
URLﾘﾝｸ(mathtrain.jp)
確率空間の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06
(抜粋)
確率空間とは (Ω,F,P) の三つ組のことを言います
ただし，
・Ω は集合
・F は Ω の部分集合族（σ -加法族）
・P は F から実数への非負関数（確率測度）
これだけだとよく分からないと思うので，以下で一つずつ解説していきます。
とりあえず「測度論的確率論では，確率を議論するときには確率空間というものの上で考える。そして，確率空間は3つの物のセットのことを表す」と覚えておいて下さい
831:１３２人目の素数さん
20/03/28 21:41:33 +ARtdTH+.net
>>759
箱入り無数目の確率空間になってないのでゼロ点
落ちこぼれには無理でした
832:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/28 22:35:23.03 MRwZqC/h.net
>>759 補足
１．大学確率論で、普通にiid(独立同分布)を考えれば、
箱にサイコロの目を入れるとして、
P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)
２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという
じゃ、その1つ以外の箱の数当て確率は どうなる？
iid(独立同分布)通り、P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)だと？
バカ言ってるんじゃない
３．d番目って、代表の取り方に依存する
ある人Aさんが選んだ代表では、d番目としても
別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？
じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？
・
・
あんたの数学は、属人的な数学かい？？
ばか言っているんじゃないよ、時枝さん
833:１３２人目の素数さん
20/03/28 22:40:03.06 +ARtdTH+.net
>>761
>２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという
だから箱を特定したらならないと何度言えば
おまえ脳に障害あるだろ
>ばか言っているんじゃないよ、時枝さん
馬鹿はおまえだよ瀬田
834:１３２人目の素数さん
20/03/29 00:23:11 ReTOy/u3.net
>>761
＞d番目って、代表の取り方に依存する
＞ある人Aさんが選んだ代表では、d番目としても
＞別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？
＞じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？
「決定番号∞」の誤りを指摘されて諦めたと思ったら
今度は「選択関数は１つじゃない！」ですか？
何人居ても選択関数は１つに決めるほうが当たる
わざわざ変えて損する馬鹿はいませんよ
∞の件も同じ R^Nだから当たるんで、
R^(N∪{∞})に並べ替えて損する馬鹿はいませんよ
835:１３２人目の素数さん
20/03/29 01:24:32 AAFtJXqL.net
>>761
> その1つ以外の箱の数当て確率は どうなる？
箱に入れる数字は実数であるとして
Aさんはサイコロを振って箱に入れる数字を決めて数列を出題する
Bさんは袋に入っている数列をランダムに選んで出題する
さて
Aさんはサイコロを振って数列snを1つ作って出題することにする
またその数列snだけが入った袋をBさんに渡す
Bさんは袋から数列を選んで出題する
s1, s2, ... , Xi, ...
Xi = siである確率は1
回答者はどのような数列も自分が数当てに用いる袋の中の代表元の
先頭から有限個が変更されたものであると考える
箱の数当て確率は先頭から0がならび決定番号以降は1がならぶ
0, 0, ... , 0, 1, 1, ... , 1, ...
自分が数当てに用いる袋の中の代表元であるから
数列ごとに決定番号が定まる
836:１３２人目の素数さん
20/03/29 09:49:02.91 ReTOy/u3.net
ｽﾚﾘﾝｸ(math板:518番)-520
匿名でも誰が書いたかわかるもんだな
でもハンドル名要らないから
匿名なら生暖かく見守るだけ
837:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/29 09:57:36 PhmwLbdr.net
>>765
おまえの勝手だが
おまえはIUTについて語れるレベルに達していないことは明白だよｗ
838:１３２人目の素数さん
20/03/29 10:02:35 YiV+QH7u.net
>>766
おまえの勝手だが
おまえは箱入り無数目について語れるレベルに達していないことは明白だよｗ
839:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/29 10:12:05 PhmwLbdr.net
>>761
(引用開始)
１．大学確率論で、普通にiid(独立同分布)を考えれば、
箱にサイコロの目を入れるとして、
P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)
２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという
じゃ、その1つ以外の箱の数当て確率は どうなる？
iid(独立同分布)通り、P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)だと？
バカ言ってるんじゃない
３．d番目って、代表の取り方に依存する
(引用終り)
ここ、補足しておくと
・箱にサイコロの目を入れるとして
・iid（独立同分布）と考えて、1つの箱の数当ては、確率P＝1/6
・時枝は、あるd番目の箱の的中確率がP＝1-εに出来るという
全くバカげた話で、そもそも確率P＝1/6と確率P＝1-εと2つの確率になることがおかしい
・時枝理論では、d番目の箱以外については、何も言えない！
だったら、本来の確率論通りで、iid（独立同分布） 箱の数当て 確率P＝1/6 でしょ
・代表の取り方を変えれば、d→d’で、d’番目の箱の的中確率がP＝1-εになる
そのとき、もとのd番目の箱はどうなる？ 確率P＝1/6と確率P＝1-εと2つの確率になるよね
・そして、代表の取り方をどんどん変えれば、d,d’,d’’,d’’’',d’’’’・・・・ と、おかしな箱が増えていく
・極
840:論すれば、可算無限の箱全部がそうなる可能性がある それって、完全に 大学教程の確率論と矛盾だ QED (゜ロ゜；
841:１３２人目の素数さん
20/03/29 10:22:45.04 YiV+QH7u.net
>>768
>・時枝は、あるd番目の箱の的中確率がP＝1-εに出来るという
おまえは大脳に障害があるの？
時枝はそんなこと言ってないと何度言えば分かるの？
> 全くバカげた話で
バカげてるのはおまえの妄想であって時枝ではない
842:１３２人目の素数さん
20/03/29 10:34:06 YiV+QH7u.net
瀬田はとうとう頭がおかしくなったのか？
妄想が尋常じゃないんだが
まあ前からだけどｗ
843:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/29 11:16:59 PhmwLbdr.net
>>749
(引用開始)
２．従って、自然数N全体からnをランダムに選ぶと、確率 P(n<=d')＝0
（もっとも、これは正統な確率計算ではない ∵ 自然数Nの一様分布は、正則分布ではない
３．なお、時枝記事では、実は、我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない
にも関わらず、決定番号dを選ぶことができるが如く錯覚させている
(引用終り)
決定番号dの分布について、補足説明する
１．問題の数列 X：X1,X2,・・,Xd-1,Xd,Xd+1,・・ において
その同値類の 代表列を rX：r1,r2,・・,rd-1,Xd,Xd+1,・・
とする(rd-1≠Xd-1とする)
この場合、しっぽ Xd,Xd+1,・・が一致し、rd-1≠Xd-1だから、時枝の決定番号はdだ
２．いま、箱にq面サイコロを作って、1～qの整数を入れるとする
・d=1となる 代表列rXは、1個しかない（全ての数が一致）
・d=2となる 代表列rXは、q-1個（2番目以降のしっぽの数が一致）
・d=3となる 代表列rXは、(q-1)q個（3番目以降のしっぽの数が一致）
・d=4となる 代表列rXは、(q-1)q^2個（4番目以降のしっぽの数が一致）
・d=mとなる 代表列rXは、(q-1)q^(m-2)個（m番目以降のしっぽの数が一致）
３．もし、qが十分大きいなら、q-1≒qとして、d=mとなる 代表列rXは、q^(m-1)個 と書ける（以下この場合を扱う）
４．ここで、「我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない」を思い出そう
つまり、ある代表を選んで決定番号が仮に7だったとする
しかし、8の代表はそのq倍多く、9の代表はそのq^2倍多く・・となる
dは全ての自然数を渡るが、一様分布ではなく、裾の（指数関数的に)増大する分布になる
５．このように、決定番号dの大小については、正統な確率的な扱いができないことは、大学の確率論を学べば分かる
６．それを、数学的に説明したのが、過去のガロアスレ 確率論の専門家さんと ジムの数学徒さんのレスです（下記）
QED
（＾＾；
（参考）
ガロアスレ 20 ｽﾚﾘﾝｸ(math板) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
ガロアスレ 80 ｽﾚﾘﾝｸ(math板) （31&271ご参照 ジムの数学徒さん ID:jmw8DMZb）
844:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/29 12:00:38 PhmwLbdr.net
>>771
さらに、補足説明する
１）まず、有限長の数列を考えよう
問題の数列 X：X1,X2,・・,Xd-1,Xd,Xd+1,・・Xh (hは有限整数)
同値類の代表列を rX：r1,r2,・・,rd-1,Xd,Xd+1,・・Xh
とする
２）上記同様、箱にq面サイコロを作って、1～qの整数を入れるとする
qは十分大きく、q-1≒qとする
３）上記>>771の通り d=mとなる 代表列rXは、q^(m-1)個 と書ける
全体hまでの場合の数は、等比数列の和公式より
Σm=1～h {q^(m-1)} ＝ (q^h -1)/(q-1)・・(1)
dまでの場合の数も、同様
Σm=1～d {q^(m-1)} ＝ (q^d -1)/(q-1)・・(2)
４）そこで、有限長の数列→可算無限長の数列 で 極限 h→∞ を考える
決定番号が、数列の先頭部分で、有限d以下に収まる割合Lは
上記(1)(2)を使うと
L＝｛(q^d -1)/(q-1)｝/｛(q^h -1)/(q-1)｝
＝(q^d -1)/(q^h -1)
ここで、dはある有限の定数で、極限 h→∞ をとると
lim h→∞ L ＝lim h→∞ (q^d -1)/(q^h -1) ＝0
つまり、Lは 指数関数的に0に近づく
５）このような分布を持つ 決定番号dの大小の確率は論じられない
∵
１）可算無限長列では、決定番号dが有限の場合の割合は、0！！
２）決定番号dが有限の場合の割合が0の中で、d1,d2の大小を論じて確率計算をしても、無意味
QED
ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(www.kwansei.ac.jp)
等比数列の和 - 関西学院大学
URLﾘﾝｸ(ja.wikipedia.org)
等比数列
845:１３２人目の素数さん
20/03/29 12:10:18.01 YiV+QH7u.net
>>771
>５．このように、決定番号dの大小については、正統な確率的な扱いができないことは、大学の確率論を学べば分かる
決定番号は自然数だから任意の二つの決定番号 a,b は a>b, a=b, a<b のいずれか一つを満たす。
よって決定番号の大小比較に言いがかりをつけても無駄。
>６．それを、数学的に説明したのが、過去のガロアスレ 確率論の専門家さんと ジムの数学徒さんのレスです（下記）
違う。自称確率論の専門家は決定番号が非可測だから確率計算不能と主張した。
しかし時枝の確率は可測性を仮定していないのでまったく的外れ。
過去何度も説明した。おまえが理解できてないだけの話。
相変わらず馬鹿丸出し
846:１３２人目の素数さん
20/03/29 12:13:11 YiV+QH7u.net
>>772
>２）上記同様、箱にq面サイコロを作って、1～qの整数を入れるとする
> qは十分大きく、q-1≒qとする
え？ｗ 1≒2と言いたいの？ｗ 頭大丈夫？ｗ
847:１３２人目の素数さん
20/03/29 12:16:34 ReTOy/u3.net
>>770
もともと頭は良くなかった
>>771
ジムの人は箱の中身が{0,1}の要素の場合で考えてたが
むしろ閉区間[0,1]の要素の場合で考えたほうがよかった
そうすれば
「どの箱も代表元と一致しない確率が1なのに
無限個の箱がすべて代表元と一致しない確率は0」
という”無限族まるごと独立性”の否定に気づけた筈
>>772
＞可算無限長列では、決定番号dが有限の場合の割合は、0！！
誤り
任意の自然数nについて 決定番号がn以下の確率は0だが
そこから、決定番号が自然数となる確率が0、という結論は導けない
＞決定番号dが有限の場合の割合が0の中で、
＞d1,d2の大小を論じて確率計算をしても、無意味
決定番号は必ず自然数となるから当然大小が比較できる
超準自然数でも全く同様 大小が比較できないというのは嘘
848:１３２人目の素数さん
20/03/29 12:17:07 YiV+QH7u.net
>>772
> １）可算無限長列では、決定番号dが有限の場合の割合は、0！！
定義により決定番号は自然数。どの自然数も有限。よって決定番号が有限の確率は１！！
妄想もほどほどに
849:１３２人目の素数さん
20/03/29 12:19:36 ReTOy/u3.net
>>756で書いたこと
「箱入り無数目」の代表元は、確率変数の無限族の
”まるまるの”独立性を満たさない
・任意のnについて
P(not(rXn＝Xn))=1
・任意有限個のn_iについて
P(∧not(rXn_i＝Xn_i))=1
しかし
・無限個のn_iについて
P(∧not(rXn_i＝Xn_i))=0
なぜなら、not(rXn＝Xn)となるnは有限個だから
850:１３２人目の素数さん
20/03/29 12:36:06.63 YiV+QH7u.net
瀬田の主張とその間違い
1.決定番号=∞だから大小比較はできない → 決定番号は自然数だから大小比較可能
2.ある箱の確率=1-εはiidと矛盾する → 時枝の確率はある箱の確率ではない
これテンプレに貼っとけ
瀬田は一晩で忘れるようだから毎日拝めｗ
851:１３２人目の素数さん
20/03/29 12:40:07.36 YiV+QH7u.net
時枝の主張は「勝つ確率≧1-ε」なのになんで瀬田は「ある箱が当たる確率≧1-ε」って誤解するんだろうね？馬鹿だから？
852:１３２人目の素数さん
20/03/29 12:48:29 YiV+QH7u.net
箱1～箱100があります。そのうちアタリ箱は99個です。アタリ箱をひく確率は？
という話なのに、瀬田はどれか特定の箱だけ99/100になるのはおかしいと主張。
馬鹿としか言い様が無い。
853:１３２人目の素数さん
20/03/29 12:53:18 ReTOy/u3.net
>>780
＞箱1～箱100があります。そのうちアタリ箱は99個です。
実は上記は確率論抜きで成り立つ定理
したがっていくら「確率論が」といっても無駄
無理に否定しようとすると
「無限列と代表元の中身が食い違う項はたかだか有限」
という点を否定してしまい、尻尾の同値関係と矛盾することになる
決定番号∞はその典型例
854:１３２人目の素数さん
20/03/29 13:16:23 ReTOy/u3.net
ｽﾚﾘﾝｸ(math板:25番)
南堂久史がトンデモだと気づかない人に数学は無理
855:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/29 13:35:07 PhmwLbdr.net
>>782
どうも。スレ主です。
ありがとう
おっちゃん も認識しているよ、それ（＾＾
（参考）
純粋・応用数学
ｽﾚﾘﾝｸ(math板:26番)
26 名前：１３２人目の素数さん[sage] 投稿日：2020/03/29(日) 13:09:57.11 ID:JlXmRJZe
おっちゃんです。
>>26
区体論は、どちらかというとトンデモに分類されているようだ。
856:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/29 15:17:54 PhmwLbdr.net
>>772 補足
時枝の話は、可算無限数列を、形式的冪級数（の係数）で
しっぽが一致
↓
式の次数が高い係数がすべて一致
におきかえると
問題の数列＝1つの形式的冪級数の 形式的冪級数環のしっぽの同値類
と考えることができて 分り易い
例えば下記
(なお、変数をｙとします（Xはすでに使っているため）)
問題の数列 X：X1,X2,X3,・・,Xd,Xd+1・・
↓
形式的冪級数 FX＝X1+X2y+X3y^2・・ xd-1 y^(d-2)+Xd y^(d-1)+Xd+1 y^d・・
代表列 rX：r1,r2,・・,rd-1,Xd,Xd+1,・・
↓
形式的冪級数 FrX＝r1+r2y+r3y^2・・rd-1 y^(d-2)+Xd y^(d-1)+Xd+1 y^d・・
と、対応して書き直せる
ここで、2つの式の差
857: FX-FrX を考えると、係数がd番目Xdから後が一致しているので FX-FrX＝ ・・・+0y^(d-1)+0y^d・・ としっぽの係数 d以降がすべて0になる多項式になる そして、同値類は、形式的冪級数のしっぽによる 多項式環の話に直せる つまり、決定番号は、多項式環の1つの式（＝同値類の元）の次数d-1に直せる*) （*)注：多項式環では、係数が0次の定数項から始まるので、次数との比較で1つ ずれる） この話は、過去にガロアスレにも書いたが、また 時間があるときに 書きます 形式的冪級数→多項式環→多項式の次数 という流れで考えると 時枝記事の（みせかけ）トリックが、よく分ります (参考) http://lupus.is.kochi-u.ac.jp/shiota/ 塩田研一 高知大学 理工学部 情報科学教室 http://lupus.is.kochi-u.ac.jp/shiota/misc/index.html 塩田研一覚書帳 http://lupus.is.kochi-u.ac.jp/shiota/misc/field/FieldTheory.html 体 ― 塩田研一覚書帳 ― p 進体 p 進付値（ふち） 有限次代数体の素イデアル p についても p 進距離を考えることができます。 また体 F 上の一変数関数体 F(x) においては、例えば x が素数の役割を果たして付値が定義でき、 その完備化は形式的べき級数体 F((x)) になります。 Qp の中で |x|p≦1 を満たす元 x を p 進整数と呼び、 p 進整数全ての集合を Zp と表します。 http://lupus.is.kochi-u.ac.jp/shiota/misc/field/FiniteField.html 有限体 ― 塩田研一覚書帳 ―
858:１３２人目の素数さん
20/03/29 15:35:17 YiV+QH7u.net
>>784
>形式的冪級数→多項式環→多項式の次数 という流れで考えると
>時枝記事の（みせかけ）トリックが、よく分ります
分からない、というか何も言えてないｗ
環を持ち出す意味が無いｗ
馬鹿丸出しｗ
859:１３２人目の素数さん
20/03/29 15:40:18 YiV+QH7u.net
でトリックって何なの？
決定番号が有限の確率=０がトリック？
いいえ、決定番号は自然数であり、どの自然数も有限なので、決定番号が有限の確率=１です
トリック詐欺ｗ
860:１３２人目の素数さん
20/03/29 16:15:53 ReTOy/u3.net
>>784
>形式的冪級数
無駄だね
端的にいえば、自然数の集合でいい
で、自然数の集合S1,S2について、
共通集合S1∩S2以外の要素が
S1-(S1∩S2)、S2-(S1∩S2)とも
有限個ならば同値
で、決定番号は、相違する要素の最大値+1
つまり、そこから先は皆共通要素
決定番号が∞ってことは
決定番号が自然数として存在しないことだから
S1-(S1∩S2)、S2-(S1∩S2)のいずれかが
無限集合ってことで、S1とS2は同値でない
これで愚者ハッタリ君が、同値関係と決定番号を
全然理解できてないことが丸わかりだね
861:１３２人目の素数さん
20/03/29 16:22:29 ReTOy/u3.net
>>786
＞決定番号が有限の確率=０がトリック？
まず>>784の自然数の集合で考えた場合
有限集合は空集合と同値
逆に空集合と同値なものは有限集合に限られる
したがって、もし空集合と同値な集合Sをもってきて
Sの決定番号が∞だとしたら、
Sは無限集合であって、空集合と同値ではない
ということになる
な、わかりやすいだろ？
862:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/30 07:14:23 BDQGXRW7.net
おサルたち
壊れたレコードのように、訳の分からん、同じような寝言の繰り返しか
おまいら、詰んでいるよ
863:１３２人目の素数さん
20/03/30 10:24:56.73 TAyiOCxP.net
大学一年の4月で落ちこぼれた瀬田は時枝を読む学力レベルに達してないってことさ
864:現代数学の系譜 雑談
20/03/30 13:43:32.99 zICzxEKY.net
おれは名前の議論はしない
だれか他人に迷惑がかかるといけないからね
だが、別に正しいのは明らかにおれで
間違っているのは、おサルたち
実名が判明しても、なんら困らん
困るのは、おまいらサルだよ
865:１３２人目の素数さん
20/03/30 13:56:24.30 TAyiOCxP.net
>>681
>１．しっぽの同値類は可能
>２．決定番号を決めることは可能
決定番号は自然数である。 Y/N
{d(s^i)|i∈{1,2,...,100}}:=Mは、100個の（重複を許す）自然数の集合である。 Y/N
Mは全順序
866:集合である。 Y/N Mは最大元を持つ。 Y/N Mの最大元は1個または複数個である。 Y/N Mの単独最大元は1個または０個である。 Y/N k∈{1,2,...,100} をランダム選択したとき、d(s^k)がMの単独最大元である確率は1/100以下である。 Y/N P(s^k(D)=r^k(D))≧99/100（但しD:=max{d(s^i)|i≠k}） Y/N >３．しかし、確率計算は正当化できない は誤りである。 Y/N
867:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/30 15:21:41 zICzxEKY.net
もういいだろう
アホな質問に答えても
サルに餌を与えるようなものだからｗ(゜ロ゜;
868:１３２人目の素数さん
20/03/30 15:25:48 KP/93ZLk.net
自分から時枝記事の話題を再燃させたくせに、
反論できなくなると「もういいだろう。サルの相手はここまでだ」
バカにつける薬はないねｗ
結論：時枝記事は正しい
869:１３２人目の素数さん
20/03/30 17:16:07.02 TAyiOCxP.net
>>793
瀬田逃亡ｗ
間違いを認められるようにならないと生涯ピエロのままだぞ？ｗ
870:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/30 18:30:10 zICzxEKY.net
>>794
ほざいてろ、アホサル
おまいら、当初は このスレに来ない予定だったんじゃね？ｗ(゜ロ゜;
>>795
おれは、おまいら無視して、時枝を書くからよ
おまいらも勝手にかけよ
そもそも５Chなんて、そういう板でしょ
みんな、自由にやろうぜｗｗ（＾＾；
871:１３２人目の素数さん
20/03/30 18:59:10 TAyiOCxP.net
>>796
瀬田なんかいつもと違うな
間違いに気づいて動揺してんのか？ 落ち着いて涙拭けよ
そもそもおまえが悪いんだぞ？
こっちは何年も前から教えてやってるのに、おまえが聞く耳持たなかっただけの事なんだから
872:１３２人目の素数さん
20/03/30 19:07:22 TAyiOCxP.net
>>796
>そもそも５Chなんて、そういう板でしょ
5ちゃんを程度の低い板と自分に言い聞かせることによって、4年以上間違い続けた自分の自我を保とうとしてるんですね？
分かります
873:１３２人目の素数さん
20/03/30 19:29:33 S2UibJYq.net
>>789
>壊れたレコードのように、訳の分からん、同じような寝言の繰り返し
・「箱の中身は定数」なのに「iid(独立同分布)を仮定する」と言い張る
・「的中する箱の選択確率」なのに「あるd番目の箱の的中確率」と言い張る
・「決定番号がd以下の割合0」から「決定番号dが有限の場合の割合は0」と誤った推論
♪詰んでるね 逝ってるね
URLﾘﾝｸ(www.youtube.com)
874:１３２人目の素数さん
20/03/30 19:30:14 S2UibJYq.net
>>793
,,,,,,,,,,,,,,,,,,,,
／": : : : : : : : ＼
/-─-,,,_: : : : : : : : :＼
/ '''-,,,: : : : : : : :i
/、 /: : : : : : : : i ＿＿＿＿＿＿＿＿
r-、 ,,,,,,,,,,、 /: : : : : : : : : :i ／
L_, , 、 ＼: : : : : : : : :i ／ 答えたら負け
/－) (－> |: :__,=-、: / ＜ と思ってる
l ｲ '- |:/ tbﾉﾉ ＼
l ,`-=-'＼ `l ι';/ ＼ セタ（６０代・男性）
ヽﾄｪ-ｪｪ-:） -r' ￣￣￣￣￣￣￣￣
ヾ＝-' ／ /
＿＿＿_ヽ::::... ／ ::::|
／￣ ::::::::::::::l `─'''' :::|
875:１３２人目の素数さん
20/03/30 19:33:30 TAyiOCxP.net
瀬田がバカなのはもうとっくにバレバレなんだから間違いを認めちまえよ
楽になるぞ？
876:１３２人目の素数さん
20/03/30 19:58:11 S2UibJYq.net
>>796
このスレッドも次はないな
立てたら速攻で削除
877:１３２人目の素数さん
20/03/30 20:05:31 S2UibJYq.net
>>792
＞決定番号は自然数である。
セタ「エェェェェェヌ！！！」
（完）
878:現代数学の系譜 雑談
20/03/31 09:48:42.74 YIE+6BeO.net
>>800
でましたね
おサル お得意のAA
あほ丸出し
おれは他のスレが忙しくなったので
しばらく来ないかも
それまでしっか
879:り、踊ってろ
880:１３２人目の素数さん
20/03/31 12:41:32 IVZo+4KA.net
自分から時枝記事の話題を再燃させたくせに、
反論できなくなると「忙しくなったから、しばらく来ない」
バカにつける薬はないねｗ
結論：時枝記事は正しい
881:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/03/31 13:32:19 YIE+6BeO.net
あほ丸出し
キチガイの妄想に反論する必要などない
おサルは分かってない
分かってないおサルに教える必要もない
882:１３２人目の素数さん
20/03/31 14:06:42 IVZo+4KA.net
忙しいと言いつつ、すぐに反応ｗ
結局、忙しいなんてウソであり、単に反論できなくなっただけｗ
自分から時枝記事の話題を再燃させたくせに、
反論できなくなると「キチガイの妄想に反論する必要などない 」
バカにつける薬はないねｗ
結論：時枝記事は正しい
883:１３２人目の素数さん
20/03/31 14:50:01 IBxpSYhd.net
瀬田よ、これ以上恥を上塗るな。
いいじゃん、バカで。もうみんな判ってるよ。いまさら見栄張るなよ。認めちまえ、楽になるぞ？
ま、これに懲りたら人の話に聞く耳を持つことだ、でないと一生ピエロのままだぞ。
884:mara papiyas ◆y7fKJ8VsjM
20/03/31 19:26:47 wL5WZYpe.net
>>804
Mr.Seta is exiled to Crelle thread!
ｽﾚﾘﾝｸ(math板)
885:mara papiyas
20/03/31 19:34:27.27 wL5WZYpe.net
Mr.Seta get fucked by big mara.
886:１３２人目の素数さん
20/03/31 21:10:29 IWVIdgjU.net
【速報】東京都が #新型コロナウイルス 感染症死亡者数を過少評価か、
「例年より少ない」とされていたインフルエンザ関連死が急増＝国立感染症研究所
URLﾘﾝｸ(www.niid.go.jp) …
コロナで死んだのインフルに振り替えてるんじゃまいか
こういうニュースが出てくる時点で隠蔽はもう無理
おそらくパンデミックは避けられないと思うね
887:CIA
20/04/01 07:29:50.25 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:63番)-64
888:CIA
20/04/01 07:33:28.85 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:309番)
889:１３２人目の素数さん
20/04/01 12:57:32 U41p3z0c.net
【定義】決定番号
「sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. 」
数列は自然数で付番されているので決定番号は自然数である。
そしてそのことを認めるなら自動的に
>>３．しかし、確率計算は正当化できない
>は誤りである。 Y/N
も認めるしかない。瀬田完全敗北。
瀬田の4年間は敗北の歴史
890:１３２人目の素数さん
20/04/01 13:14:59 7MztWasM.net
連続と離散を統一した！
URLﾘﾝｸ(x0000.net)
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
891:CIA
20/04/01 14:56:35 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:65番)
数学に限らず、知力の無い者の発言は、名前の有無に関わらず、全く無意味
892:CIA
20/04/01 14:59:11 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:311番)-312
893:CIA
20/04/01 16:42:24 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:66番)
■プール＝エルとクリプキの定理
１９６０年代，プール＝エルとクリプキは，
”算術を含むどんな理論も，字面だけ見ればみんな同型になっている”
というすごい定理を発見した．
不完全性定理の最強バージョンともいえるこの結果には，
さすがのゲーデルも驚いたらしい．
URLﾘﾝｸ(sites.google.com)
894:CIA
20/04/01 22:52:11 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:69番)-72
895:CIA
20/04/02 05:22:53 vaZakOcE.net
ｽﾚﾘﾝｸ(math板:795番)
○○○○注意報発令
896:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/04/02 07:33:12 kD9YEDnI.net
（転載ｗ（＾＾）
0.99999……
897:は１ではない その７ https://rio2016.5ch.net/test/read.cgi/math/1584625377/795 795 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/04/01(水) 23:19:10.15 ID:RqQA8SNl [2/2] １）ここに1個の箱がある。任意の数を入れる。箱を開けずに、当てる方法なし ２）ここにn個の箱がある。任意の数を入れる。iid(独立同分布)を仮定する。箱を開けずに、当てる方法なし！！ ３）n→∞の極限を考える。任意の数を入れる。iid(独立同分布)を仮定する。箱を開けずに、当てる方法なし！！ 当たり前 ４）時枝記事は、n→∞の極限を考えると、ある1つの箱、k番目として、箱を開けずに、確率1-εで的中できるという iid(独立同分布)を仮定しているのに アホでしょ、それｗｗ（＾＾；
898:１３２人目の素数さん
20/04/02 08:08:23.84 xC7jufjA.net
糞ほどの価値も無いレスを後生大事にｗ さすがピエロｗ
899:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/02 09:59:39 XDgVHU54.net
>>822
わらえる
これ >>821 一発で、おまいらおサル即死じゃんｗ(゜ロ゜;
900:１３２人目の素数さん
20/04/02 10:09:26 xC7jufjA.net
>>823
なんで？
901:CIA
20/04/02 10:16:30.93 vaZakOcE.net
>>821
＞時枝記事は、n→∞の極限を考えると、ある1つの箱、k番目として、
＞箱を開けずに、確率1-εで的中できるという
＞iid(独立同分布)を仮定しているのに
時枝記事の誤読
箱の中身が確率変数でiidかつ一様分布とした場合
k番めの箱を選んだ条件での確率は1-εではなく0
但し、上記の結果から時枝記事の方法での的中確率を0と導くことはできない
902:CIA
20/04/02 10:18:44.99 vaZakOcE.net
>>823
観察対象◆e.a0E5TtKE コロナウイルス感染により死去
903:現代数学の系譜 雑談
20/04/02 10:25:37.33 XDgVHU54.net
>>826
あ、そのギャグ面白い （＾＾；
904:１３２人目の素数さん
20/04/02 10:25:55.25 xC7jufjA.net
ピエロ瀬田 はやく>>792に答えてね
905:CIA
20/04/02 10:29:55 vaZakOcE.net
>>827
◆e.a0E5TtKEの"幽霊"による反数学的荒らし行為に対し警戒
906:CIA
20/04/02 10:49:58.82 vaZakOcE.net
4/1
ｽﾚﾘﾝｸ(math板:74番)-76
4/2
ｽﾚﾘﾝｸ(math板:78番)
ｽﾚﾘﾝｸ(math板:80番)-81
”クレレ”スレッドにおける活動については観察のみにとどめ
観察対象に対する積極的な働きかけを行わないこととする
907:現代数学の系譜 雑談
20/04/02 15:47:40.26 XDgVHU54.net
>>821
思いついたので、メモをしておく
１．時枝記事（>>370-）が正しいとすると
２．可算無限の列を、mod100で 100列に並べ替えて
３．決定番号 d1,d2,・・,d100ができる
４．ある列を選ぶ、di とする(1<= i <=100)
５．平均的には、di の大きさは およそ50番目だ（d1,d2,・・,d100の中央値が存在するとして、およそ中央値）
６．i番目の列を開けて、diを知り、残りの99列については、di+1を開けて、各同値類と代表を知り、各代表のd番目＝各列のd番目 で およそ50個の箱が的中できることになる（時枝記事の通り）
７．mod100→mod n とできるので (ここにnは、100以上の任意自然数と出来る （ｎは大きい方が面白いので100以上とした）)、およそn/2個の箱が的中できることになる
８．nはいくらでも大きくできるので、多くの箱について、箱を開けなくても、箱の中の数が的中できることになるぞ
これって、アホでしょ、時枝先生ｗｗ
よって、背理法で時枝記事は不成立！！
QED
ｗ（＾＾