■ このスレッドは過去ログ倉庫に格納されています
現代数学の系譜 カントル 超限集合論他 3
- 1 :132人目の素数さん:2020/07/18(土) 10:01:53 ID:ywyns0bH.net
- このスレでは、超限集合論その他関連する事項を、全て扱います
脱線ありですw
1)テンプレ1
過去スレ
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/
現代数学の系譜 カントル 超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/
関連スレ
1)現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き
2) 1)の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-
3) 2)の中の正則性公理に関する議論の前のスレ(^^
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-
2)テンプレ2
まあ、カッカとせずに、のんびりやりましょう(^^
あと、関連事項は、>>1のスレから適宜写してくることにしましょう(^^
なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミ・・ つまり;
おっさんずゼミ=「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよw(^^;
好きなときに好きなことを書かせてもらいます
5CH数学板は、遊びです
https://ja.wikipedia.org/wiki/%E3%81%8A%E3%81%A3%E3%81%95%E3%82%93%E3%81%9A%E3%83%A9%E3%83%96
おっさんずラブ
(抜粋)
『おっさんずラブ』は、2016年からテレビ朝日系列において放送されているテレビドラマシリーズである。同年12月31日(30日深夜)に『年の瀬 変愛ドラマ第3夜』として単発放送された[1][注釈 1]後、「土曜ナイトドラマ」枠で2018年に第1シリーズ[2]、2019年に第2シリーズが放送予定である。
(引用終り)
- 106 :現代数学の系譜 雑談 :2020/08/03(月) 07:34:40.64 ID:duI4lbde.net
- >>102 補足
>もし、-1 ちょうどか、大きいなら、積分は発散し、非正則な分布になって、確率計算はできません
>(ご存知、ベキ数が-1では、その無限和は(あるいは積分は)、発散します(下記、高校数学の美しい物語 ご参照))
>ベキ数が-1 より小さい場合にのみ、積分は収束し、確率計算が可能になります。
時枝の決定番号は、”ベキ数が-1 より小さい”どころか、負べきでさえありません
”ベキ数が正”です
積分(又は和)は発散し、非正則な分布になって、確率計算はできません
>>104 補足
時枝さんのやっていることは
何かの手段で、ある有限のDを与えると
ある確率(時枝記事では99/100)で、D>=d とできるというもの
(ここに、dは問題の数列の決定番号)
ところが、問題の決定番号なるものは、あきらかに 非正則な分布です
(非正則な分布については>>67をご参照)
この場合、どんな有限のDに対しても、そのような確率計算はできません(確率99/100などとんでもない)
これが、「なぜ、当たるように見えるの?」「なぜみんな引っ掛かるの?」 という仕掛けです(>>57)
つまり、決定番号の確率計算で、非正則な分布を使っているということが見えないから、如何にも当たるように見えて、みんなが引っ掛かるのです!
QED
(^^;
- 107 :132人目の素数さん:2020/08/03(月) 12:08:28.51 ID:SY3ylgSX.net
- >>106
>ところが、問題の決定番号なるものは、あきらかに 非正則な分布です
確率計算で使う100個の決定番号の組(N^100の元)はsが定まると同時に定まります。
sから100列を作る方法やR^N→R^N/〜の切断を決めると、写像f:R^N→N^100、f(s)=(d1,d2,...,d100) も決まることを理解しましょう。
N^100上の定まった一点は分布の意味を持たない、強いて分布と言うなら正則な一点分布です。非正則ではありません。
Prussさんは1週間ほどで間違いを認めたのに、あなたは5年経っても認められないようですねー
- 108 :132人目の素数さん:2020/08/03(月) 12:32:33.09 ID:SY3ylgSX.net
- >>106
>つまり、決定番号の確率計算で、非正則な分布を使っているということが見えないから、如何にも当たるように見えて、みんなが引っ掛かるのです!
いいえ、多くの人が引っかかったのは、箱入り無数目の確率をP(d1>d2)と勘違いしたからです。
正しい確率はP(a>b)です。(ここでaはd1とd2のいずれかをランダムに選んだ方、bは他方。)
非正則な分布を使っているというトンデモ主張はあなただけですね。
- 109 :132人目の素数さん:2020/08/03(月) 13:12:55.20 ID:oNzb06v/.net
- >>106
>時枝さんのやっていることは
>何かの手段で、ある有限のDを与えると
>ある確率(時枝記事では99/100)で、D>=d とできるというもの
>(ここに、dは問題の数列の決定番号)
上記は全くの誤りであり嘘
>>101を読みましょう
列
s^1〜s^100
決定番号
d(s^1)〜d(s^100)
自列以外の決定番号の最大値
D(s^1)〜D(s^100)
100列の決定番号の最大値
D
■最大値Dを決定番号とする列が1個のみの場合
D=d(s^m1)
(m1は、決定番号が最大の列の番号)
◆選んだ列s^kがs^m1の場合 (1列) 確率1/100
d(s^m1)>D(s^m1)=d(s_m2)
(m2は、決定番号が2番目の大きさの列の番号)
したがって代表値と一致しない可能性あり
◆選んだ列s^kがs^m1以外の場合 (99列) 確率99/100
d(s^k)<D(s^k)=D=d(s^m1)
したがって代表値と一致する
■最大値Dを決定番号とする列が複数個の場合
どの列を選んでも d(s^k)<=D(s^k)=D
したがって代表値と一致する (確率1)
- 110 :132人目の素数さん:2020/08/03(月) 13:52:20 ID:SY3ylgSX.net
- 瀬田は「Nから大きい元を選んだ方が勝ちゲーム」にすり替えたくて仕方ないんでしょうねw
- 111 :132人目の素数さん:2020/08/03(月) 14:01:35.78 ID:mWEkE2T9.net
- >>106
より数学的な議論は、下記のmathoverflowです(^^;
(>>92-93より)
数学的にきちん詳しくと論じているのが、mathoverflowの二人の数学Drです
(>>28より再録)
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
(抜粋)
answered Dec 9 '13 at 17:37 Math Dr. Tony Huynh氏
・・・If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.
(引用終り)
Math Dr. Tony Huynh氏も分かっている
”If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.”
つまり
”If it were somehow possible to put a 'uniform' measure on the space of all outcomes”が実現できれば なのだが
'uniform' measure=一様分布 (「一様分布」は、>>67の非正則事前分布の説明に出てくるね)
Math Dr. Tony Huynh氏も分かっているね
時枝における、「確率測度として成り立っていない!」は、ヴィタリ集合的なものではなく、
(全事象の積分ないし和が無限大に発散する)「非正則分布になる」ので、
”全事象の確率は1であるというコルモゴロフの確率の公理”をうまく満たすことができない
ってこと
Math Dr. Tony Huynh氏も分かっているねぇ〜(^^
以上
- 112 :132人目の素数さん:2020/08/03(月) 14:04:50.79 ID:SY3ylgSX.net
- 出題者が数列を固定すると数当てに用いる100個の決定番号も固定される理屈が理解できないんでしょうね。
なにしろ同値類や選択公理といった基礎的なことを全然理解してませんからね。
だから壊れた機械のように決定番号の分布があと吠え続けるのでしょう。
- 113 :132人目の素数さん:2020/08/03(月) 14:09:42.38 ID:oNzb06v/.net
- >>112
以前、
「決定番号が有限になる確率は0!」
と馬鹿丸出しな嘘をいってたのは
◆yH25M02vWFhP でしたか
実は中卒ですか?
え?大卒?ウソでしょう(嘲)
- 114 :132人目の素数さん:2020/08/03(月) 14:14:44.41 ID:SY3ylgSX.net
- >>111
あなたDrとか権威に弱いですねー
モンティホール問題を多くの数学者は間違えましたよー
権威を信仰するのは数学ではなく宗教ですよー
- 115 :132人目の素数さん:2020/08/03(月) 14:16:25.13 ID:oNzb06v/.net
- 選択公理を認めるなら、いかなる列の決定番号も自然数 つまり有限です
∞になることなどあり得ません(∞は自然数ではありませんw)
つまりいかなる100列を持ってきてもその決定番号は全て有限の自然数です
当然その中の最大元が存在します
最大の決定番号を持つ列が1つだけなら、
その1つを選ばない限り、決定番号d(s^k)が
他の列の決定番号の最大値D(s^k)より小さいので
代表元と一致します
もし最大の決定番号を持つ列が2つ以上なら
どの列を選んでも決定番号d(s^k)が
他の列の決定番号の最大値D(s^k)より
大きくなることはないので
かならず代表元と一致します
ただそれだけ
>>106の文章は全くの誤りなのです
たった2pの雑誌の記事すら正しく読めない
こんな人が国立大卒なわけないですよ(嘲)
中卒高卒の学歴詐称はやめてほしいですね
- 116 :132人目の素数さん:2020/08/03(月) 14:21:09 ID:SY3ylgSX.net
- >>111
そもそも自分で解ってないから二人のDrがあと言い出すんでしょ?
解ってたら引用する必要無いですよね?
で、解ってないあなたがなんでDrの発言が正しいと判断できるのでしょうか?
- 117 :132人目の素数さん:2020/08/03(月) 14:34:52.73 ID:SY3ylgSX.net
- >>115
>ただそれだけ
はい、それだけですね。
でも同値類も選択公理も解ってない瀬田にはそれだけのことも理解できないんです。
それどころかx∈yとx⊂yが同値だと言ってみたり、∞は大きな有限であると言ってみたり、要するに安達級のトンデモなんです。
- 118 :132人目の素数さん:2020/08/03(月) 15:33:17.00 ID:mWEkE2T9.net
- >>111
mathoverflowの3人の経歴、ご参考まで
・質問者のDenis氏は、コンピュータサイエンスの人。数学の測度の議論には、全くついていけていないと思ったな(^^
・Alexander Pruss氏は、en.wikipediaに名前が載るほとの大物。数学Drで、いま哲学系の大学教授だが、数理哲学系みたいだね
・Tony Huynh氏も、数学Drで、”I am currently a Research Fellow in the School of Mathematics at Monash University with David Wood.”とあるから、現役の数学研究者かな
mathoveは、結構Q&Aが入り乱れて、分かりにくいと思うが
上記の経歴を頭に入れて読むのが良いと思うよ
(参考)
https://mathoverflow.net/users/21059/denis
Denis ENS Lyon, Lyon, France
http://perso.ens-lyon.fr/denis.kuperberg/
Denis Kuperberg
http://perso.ens-lyon.fr/denis.kuperberg/papers/CV_en.pdf
2009 ? 2012 PhD Thesis, with Thomas Colcombet, LIAFA, University Paris Diderot.
Title : Study of classes of regular cost functions.
2008 ? 2009 Master 2, Theoretical Computer Science, ENS Lyon/Udem Montreal (ranked 2nd/14).
https://mathoverflow.net/users/26809/alexander-pruss
Alexander Pruss
Professor of Philosophy, Baylor University
https://en.wikipedia.org/wiki/Alexander_Pruss
Alexander Pruss
Biography
Pruss graduated from the University of Western Ontario in 1991 with a Bachelor of Science degree in Mathematics and Physics. After earning a Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals
https://mathoverflow.net/users/2233/tony-huynh
Tony Huynh
I am currently a Research Fellow in the School of Mathematics at Monash University with David Wood.
I completed my PhD in the Department of Combinatorics & Optimization at the University of Waterloo. My supervisor was Jim Geelen. I am mainly interested in graphs, matroids, and combinatorial optimization, but I enjoy dabbling in other areas as well.
- 119 :132人目の素数さん:2020/08/03(月) 15:38:52.47 ID:mWEkE2T9.net
- >>118 タイポ訂正と補足
タイポ訂正
mathoveは、結構Q&Aが入り乱れて、分かりにくいと思うが
↓
mathoverflowは、結構Q&Aが入り乱れて、分かりにくいと思うが
補足
・Professorにして、数学DrのAlexander Pruss氏の発言が一番しっかりしていて、信頼できると思う
・次が、Tony Huynh氏(現役の数学研究者)
・質問者のDenis氏は、測度論とか、測度論に基づく現代確率論の知識が殆どないみたい(日本の高校生レベルの確率の知識と見た)
- 120 :132人目の素数さん:2020/08/03(月) 15:40:37.83 ID:oNzb06v/.net
- >>118
・測度の議論は全く無意味
なぜなら数列の項は全て定数であって確率変数ではないから
HuynhもPrussも思いっきり読み違った
数学者のくせに文章も正しく読めないなんて、ああ恥ずかしい
もちろんこの二大馬鹿を盲信する◆yH25M02vWFhPも
数学以前に文章が読めない点で、数盲文盲といわざるを得ませんね
- 121 :132人目の素数さん:2020/08/03(月) 15:43:45.99 ID:oNzb06v/.net
- >>118
The Riddleに関する限り、数列の項は定数だから
分布は一切考える必要ない
考えた瞬間、HuynhやPrussみたいな馬鹿になる
Kuperbergが「数列の項が確率変数でない」という点を
理解してるかどうか定かでないが、理解してるなら大正解!
- 122 :132人目の素数さん:2020/08/03(月) 16:05:01 ID:SY3ylgSX.net
- >>118
>上記の経歴を頭に入れて読むのが良いと思うよ
だーかーらー
そういった先入観こそが多くの数学者にモンティホール問題を間違えさせた原因だと分からないんですかー?
経歴で真偽が決まるならケンブリッジのフェロー時枝先生が最強ですよーw
- 123 :132人目の素数さん:2020/08/03(月) 16:11:30 ID:SY3ylgSX.net
- Prussさんは間違いを認めて確率99/100以上を認めましたよー
今だに間違いを認められない愚か者は瀬田だけですよー
- 124 :132人目の素数さん:2020/08/03(月) 16:17:23 ID:SY3ylgSX.net
- まあ瀬田の場合は正解を教えらえても理解できないだろうから
「分からずに言ってた」と認めればいいんですよー
「間違っていた、正しくは成立だ」なんて言う必要は無いですよー
- 125 :132人目の素数さん:2020/08/04(火) 10:35:57 ID:IS+2McMD.net
- 箱入り無数目より引用
「箱それぞれに,私が実数を入れる.(中略)そして箱をみな閉じる. 今度はあなたの番である.」
瀬田に質問
「あなた」が数当てで用いる100個の決定番号は「箱をみな閉じる.」の時点で固定される。Y/N
- 126 :132人目の素数さん:2020/08/04(火) 17:25:10 ID:IS+2McMD.net
- 瀬田は基本的な問い(>72 >91 >125)から逃げ回り、壊れた機械のように決定番号の分布があを繰り返す。
出題者がs∈R^Nを固定すると100個の決定番号の組(d1,d2,...,d100)∈N^100も固定されるんだから、分布なんて意味を為さないのに。
暑さで脳みそ腐ってるんですかー?
- 127 :132人目の素数さん:2020/08/05(水) 10:12:17.50 ID:uHXMmtXl.net
- 瀬田はレス番号72,91,125からいつまで逃げ続けるつもり?
- 128 :132人目の素数さん:2020/08/06(木) 00:45:06 ID:Soxz+OQO.net
- 瀬田よ
別に無理難題を聞いてる訳じゃないぞ、ごくごく基本的なことしか聞いてないぞ
なぜそこまで頑なに逃げる必要があるのか?
- 129 :132人目の素数さん:2020/08/07(金) 12:43:29.65 ID:mMVW2HEZ.net
- 瀬田よ
要するにおまえはごくごく基本的なことも分かってないということでいいんだな?
そこまで頑なに回答を拒否するということはそういうことだ
- 130 :132人目の素数さん:2020/08/07(金) 15:56:50.53 ID:kwZAOrGY.net
- >>111補足
1)下記、非正則な分布は、積分値が無限大に発散してしまい、全事象の確率は1であるというコルモゴロフの確率の公理に反しています
ですので、まっとうな確率計算はできません
2)例えば、1〜100まで100枚のカード各1枚あるとします。典型的な一様分布です。
番号を点数として、1点〜100点とします。
3)カードをよくシャッフルして伏せて、カードを1枚とる。二人の対戦ゲームとします。点数が上なら勝ち
もし、自分が90点代、例えば、91点だとします。上位1割の点数ですから、勝つ確率9割です
4)でも、1〜1000まで1000枚のカード各1枚なら? 91点なんて低い点数では、勝てる確率1割以下です
5)1〜nまでn枚のカード各1枚なら、上位1割 つまり (9/10)n以上の点数で、勝てる確率1割以下です
6)では、n→∞ の非正則な分布ではどうか?
非正則な分布は、積分値が無限大に発散してしまい、全事象の確率は1であるというコルモゴロフの確率の公理に反しています
ですので、まっとうな確率計算はできません
1億点でも、1兆点でも、有限の点数では、∞に比べて微小であり、まっとうな確率計算ができません。あえて、するなら確率0(ゼロ)です
7)時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません
QED(^^
(>>67より)
https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN Inc 2020/04/14
非正則事前分布とは?〜完全なる無情報事前分布〜
(抜粋)
非正則分布は確率分布ではない!?
非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。(注:正確には、”ようなもの”で、これに限りません)
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
(引用終り)
以上
- 131 :132人目の素数さん:2020/08/07(金) 18:07:00 ID:mMVW2HEZ.net
- 瀬田がまた逃げたので正解を発表します
どの列(R^Nの元)の決定番号も自然数である。Y/N
Y 同値関係、決定番号の定義から。
100列の決定番号は100個の(重複を許す)自然数である。Y/N
Y 決定番号は自然数なので。
100列の決定番号中、単独最大の決定番号はたかだか一つである。Y/N
Y 100列の決定番号の集合はNの有限部分集合であり最大元が存在する。最大元が単数なら単独最大は1個。最大元が複数なら単独最大は0個。
100列から単独最大以外の決定番号の列を選択すれば勝ちである。Y/N
Y その場合D≧dとなるので問題の列のD項目を代表のD項目の値だと言えば勝ち。
100列のいずれかをランダム選択すれば勝率は99/100以上である。Y/N
Y 100列のうち勝つ列は99列以上であり、ランダムとは一様分布だから。
「あなた」が数当てで用いる100個の決定番号は「箱をみな閉じる.」の時点で固定される。Y/N
Y sから100列を作る方法とR^N/〜の代表を予め決めておけば、sが固定されると同時に100列の決定番号も固定される。
固定された一組の決定番号(d1,d2,...,d100)(N^100上の一点)の分布???
標本数1の標本分布を考えても無意味ですねー、理解できますかー?
考えてもいいけど正則ですねー、積分は発散しませんからー、分からないんですかー?
- 132 :132人目の素数さん:2020/08/07(金) 19:59:18.49 ID:B3bne7H4.net
- >>130
> まっとうな確率計算はできません
通常のサイコロの確率も正しくない(まっとうな確率計算はできない)
という結論が導かれる素晴らしい考察です
- 133 :132人目の素数さん:2020/08/07(金) 20:22:34.43 ID:mMVW2HEZ.net
- サイコロ:6面のいずれかをランダムに選ぶ
箱入り無数目:100列のいずれかをランダムに選ぶ
どちらも離散一様分布ですねー なんでこんな簡単なことが分からないんですかねー
- 134 :132人目の素数さん:2020/08/07(金) 20:36:51.66 ID:M6ulU/zP.net
- >>133
>なんでこんな簡単なことが分からないんですかねー
坊やだからさ
https://www.youtube.com/watch?v=P7gBOxWySN0
- 135 :現代数学の系譜 雑談 ◆yH25M02vWFhP :2020/08/08(土) 06:37:27 ID:wEGnwISi.net
- なんか、コテハン設定忘れていたな
>>131
分かってないね
そう見えなければ、時枝が間違うはずないだろ?
というか、数学パズルにならない
そして、多くの人が嵌まった
過去、ガロアスレで議論が始まったときには、そういう嵌まった人が沢山いた
だが、みんな悟って去って行った
日高は、あなただよ
- 136 :132人目の素数さん:2020/08/08(土) 12:25:31 ID:UfE8aa17.net
- >>135
論理が分からない・直観でしか考えられない瀬田のような数学音痴が引っかかる、だから数学パズルなんだよ。
間違いに気づいて去って行ったのは不成立派。Prussでさえ成立を認めた。未だに認められない頑固なバカは瀬田一人。
- 137 :132人目の素数さん:2020/08/08(土) 12:29:19 ID:UfE8aa17.net
- >>135
ガキみたいに駄々こねてないで>>131に間違いがあると言うなら具体的に指摘してみな?
こっちはおまえの持論「決定番号は非正則分布」の間違いを具体的に指摘してるんだから。
- 138 :132人目の素数さん:2020/08/08(土) 12:35:15 ID:UfE8aa17.net
- >>!35
数学で反論できないとガキのように駄々を捏ねる
だからおまえはダメなんだよ、おまえ数学板から去ったら?向いてないから
- 139 :現代数学の系譜 雑談 ◆yH25M02vWFhP :2020/08/09(日) 07:25:01 ID:QmjvhqAQ.net
- >>135
「グロタンディーク伝説:彼の思考が最初から抽象的で、具体例で考察せずに一般論を構築していたことを示すものだという数学者もいる」
まあ、普通の人が、グロタンディーク伝説をまねしない方が良い。天才以外はね
あなた、時枝ももう少し具体例に落として、考えなよ(^^
(参考)
純粋・応用数学(含むガロア理論)3
https://rio2016.5ch.net/test/read.cgi/math/1595166668/131
グロタンディーク伝説:彼の思考が最初から抽象的で、具体例で考察せずに一般論を構築していたことを示すものだという数学者もいる
有名な話です
グロタンディーク氏は、全てが抽象的思考だとか思われたらしいが
一般には、”抽象 ←→ 具体例 ” これの行ったり来たり
天才のまねをしても、大概の人はだめでしょうね
”全てが抽象的思考”とか、まねしない方がいい
(参考)
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%82%AF%E3%82%B5%E3%83%B3%E3%83%89%E3%83%AB%E3%83%BB%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF
アレクサンドル・グロタンディーク
(抜粋)
逸話
このエピソードは、彼の思考が最初から抽象的で、具体例で考察せずに一般論を構築していたことを示すものだという数学者もいる。
(引用終り)
- 140 :現代数学の系譜 雑談 :2020/08/09(日) 08:24:12.79 ID:QmjvhqAQ.net
- >>139 補足
さて、時枝をもう少し具体例に落として、考えてみよう
(>>7 時枝記事(数学セミナー201511月号の記事)ご参照)
(>>37の)フレシェフィルターによる、時枝の可算無限数列のシッポの同値類
(これだけでは何も新しいことは言えないが、考察の手がかりには なる)
1)簡単に2つの可算無限数列x,yで考えよう
いま、具体例として、無理数の無限小数展開の小数部分を考える
10進で、各桁は0〜9の数で、この可算無限数列が得られる
(例えば、π=3.14159 26535 89793・・で、小数点以下の”14159 26535 89793・・”を考えるってこと)
2)フレシェフィルターは、これだけでは何も言えないが、超準解析(ノンスタとも)と繋がっているところが良いね
”14159 26535 89793・・”の時枝の同値類を考える
例えば、先頭の有限部分を変えた ”x1,x2,x3,x4, 9 26535 89793・・”などは、その例だ(x1,x2,x3,x4・・・などは任意の実数で可)
これらで、数列xとその同値類を考える
3)さて、時枝さんのやっていることは、別の数列yから、ある有限の決定番号dyを得て
問題の数列xの決定番号dxとの比較で、dx < dy となっていれば、勝ち
つまり、数列xにおいて、dy+1番目より大きいシッポの数を知って、数列xの代表からdy番目の数列xの数が的中できるという
4)ところが、>>130で書いたように、決定番号はその分布が非正則。つまり、コルモゴロフの確率の公理を満たすことができない
だから、P(dx < dy)=1/2 (つまり確率1/2) という計算が正当化されない
5)フレシェフィルターに戻ると、x1,x2,x3,x4・・・などは、上記のように別に 10進の 0〜9 に限らない。任意の実数で良いのだ
とすると、代表のdy番目の数は、「0〜9 に限らない 任意の実数」となっている可能性が大
そういうことを、確率計算に折り込む必要があるが、それも難しい(不可能でしょ)
6)ここらを批判しているのが、mathoverflowでの二人の数学Dr Alexander Pruss 氏と Tony Huynh氏です!(>>92 ご参照)
以上
つづく
- 141 :現代数学の系譜 雑談 :2020/08/09(日) 08:24:38.11 ID:QmjvhqAQ.net
- >>140
つづき
参考(>>37より)
”2つの無限列s1,s2∈R^Nについて
一致する項の番号の集合が
Nの補有限部分集合(つまりNにおける有限集合の補集合)
ならば同値、というだけのことだろう
(これが、フレシェ・フィルタを用いた同値関係の再定義)”
(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC
超フィルター
超フィルター(ちょうフィルター、英: ultrafilter)または極大フィルター(きょくだいフィルター、英: maximal filter)とは順序集合上で定義されたフィルターの中で極大なものをいう。
冪集合上の超フィルター
基本性質
・X が有限集合のとき U が自由な超フィルターだとすると Φ = Xc ∈ U より矛盾するので、有限集合上には単項フィルターしか存在しない。
・無限集合 X の補有限部分集合全体 Pfin(X) := {A ⊆ X : |X \ A| <= ∞} は真のフィルターとなりフレシェ (仏: Frechet) フィルターと呼ばれる。超フィルターが自由なこととフレシェフィルターを含むことが同値。
・無限集合 X の超フィルター全体 Ult(X) の濃度は、X の冪集合 P(P(X )) の濃度と等しくなる(これはフィルター全体や自由な超フィルター全体の濃度とも等しい)。
・無限集合 X 無限基数 κ < |X| にたいし、X 上の集合族 Pκ(X) := {A ⊆ X : |X \ A| < κ} は真のフィルターとなり(特に κ = |X| のとき)一般化されたフレシェ (英: generalized Frechet) フィルターと呼ばれる。X 上の超フィルターが κ-一様なことと、Pκ(X) を含むことが同値。
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
(引用終り)
以上
- 142 :現代数学の系譜 雑談 :2020/08/09(日) 11:19:01.53 ID:QmjvhqAQ.net
- >>115
>選択公理を認めるなら、いかなる列の決定番号も自然数 つまり有限です
>∞になることなどあり得ません(∞は自然数ではありませんw)
<赤ペン先生>(^^
1.それ、”選択公理”の問題ではない、レーヴェンハイム-スコーレだよ。一階の理論か、一階以上の理論かの問題
2.レーヴェンハイム-スコーレム:「定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す」
レーヴェンハイム-スコーレム:「一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない」
3.自然数:「物の個数を数える基数のうちで有限のもの」、「物の並べ方を示す順序数のうちで有限のもの」
「自然数は、可算無限集合である」!!
分かってないね
QED w(^^;
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86
レーヴェンハイム-スコーレムの定理
(抜粋)
レーヴェンハイム-スコーレムの定理(英: Lowenheim-Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論(真の一階算術の理論)には非可算なモデルがあり、(R, +, ×, 0, 1) の理論(実閉体の理論)には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム-スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。
つづく
- 143 :現代数学の系譜 雑談 :2020/08/09(日) 11:19:34.53 ID:QmjvhqAQ.net
- >>142
つづき
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
集合論においては、自然数は
物の個数を数える基数のうちで有限のものであると考えることもできる
物の並べ方を示す順序数のうちで有限のものであると考えることもできる。
自然数と同様に整数の全体も可算無限集合である。
(補足)
http://www.cs-study.com/koga/set/lowenheimSkolem.html
形式的論理体系の定義から
レーベンハイム・スコーレムの定理までの大急ぎのまとめ by Akihiko Koga 27th Mar. 2020 (Update)
(抜粋)
まず,公理という用語から定義する.その体系で選ばれた論理式を公理という. 公理は有限個でも無限個でも構わない.ただし,どんな体系を作るにしても,論理的体系を 成立させるために,最初から選ばれている公理がある.例えば,P→P などである.
(ダウンワード)レーベンハイム・スコーレムの定理成立の本質
当然のことながら証明は厳密にしなければならないのだが,レーベンハイム・スコーレムの 定理が成り立つ本質的な理由は,
有限,あるいは可算無限個の関数記号や述語記号から 作り出すことができる要素の総体は可算無限個である
ことによる.
(引用終り)
以上
- 144 :132人目の素数さん:2020/08/09(日) 12:31:05.69 ID:O3Ql50FC.net
- >>140
>だから、P(dx < dy)=1/2 (つまり確率1/2) という計算が正当化されない
時枝先生はそんな計算していない。
正しくは
P(a < b)=1/2(但し、dx≠dyを仮定し、dx,dyのいずれかをランダムに選んだ方をa、他方をbと置いた。)
このことは過去何度も教えてやってるのだが、瀬田は脳に障害があるのか未だに学習できてない。
- 145 :132人目の素数さん:2020/08/09(日) 12:41:09.75 ID:O3Ql50FC.net
- >>140
>代表のdy番目の数は、「0〜9 に限らない 任意の実数」となっている可能性が大
> そういうことを、確率計算に折り込む必要があるが、それも難しい(不可能でしょ)
なにをバカ丸出しなこと言ってるのやら
100列のうち単独最大の決定番号を持つ列は1列以下なんだから、ランダム選択すれば99/100以上の確率で勝ち
瀬田はまったく分かってないな
- 146 :132人目の素数さん:2020/08/09(日) 12:45:15.00 ID:O3Ql50FC.net
- >>142
>それ、”選択公理”の問題ではない
馬鹿丸出し
選択公理を仮定しなければR^N/〜の代表系の存在は保証されない。
代表系が存在しなければ決定番号は定義できない。
瀬田はまったく分かってないな
- 147 :132人目の素数さん:2020/08/09(日) 12:51:26 ID:O3Ql50FC.net
- 瀬田は選択公理が分かってないから箱入り無数目でどう使われているかも分かってないんだろう
馬鹿丸出し
- 148 :132人目の素数さん:2020/08/09(日) 14:50:54.32 ID:k7ukMcet.net
- >>140
>4)ところが、決定番号はその分布が非正則。
> つまり、コルモゴロフの確率の公理を満たすことができない
> だから、P(dx < dy)=1/2 (つまり確率1/2) という計算が正当化されない
>>144
>時枝先生はそんな計算していない。
144のいう通り
単に2列を決めたあとで(ここ重要!つまり列は変数ではない)
そこから決定番号が大きい方の列を選ぶ確率が1/2だと云ってるだけ
列が変数ではないから、非可測とか関係ない
したがってPrussのイチャモンも全く通用しない
- 149 :132人目の素数さん:2020/08/09(日) 14:52:50.82 ID:k7ukMcet.net
- >>142
レーヴェンハイム-スコーレムの定理で何をいおうとしてるのか不明だが
もし「決定番号が∞になり得る」といってるなら、正真正銘の馬鹿である
- 150 :132人目の素数さん:2020/08/09(日) 14:58:28.27 ID:k7ukMcet.net
- ◆yH25M02vWFhP が云ってること
「任意の2つの自然数n1,n2について、いずれか一方niを選び
それがもう一方njより大きくない確率P(ni<=nj)は
少なくとも1/2になる、とはいえず、実は0だ」
もちろん、全くの誤りだ
- 151 :現代数学の系譜 雑談 :2020/08/09(日) 20:01:46.69 ID:QmjvhqAQ.net
- >>130 補足
> 7)時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません
決定番号は、明らかに上限はなく、自然数全体を渡る。つまり n→∞
このような場合、確率分布は、広義積分(又は和)になります(下記ご参照)
n→∞ まで、積分する(あるいは和を取る)とき
n→∞ で、十分早く減衰する必要があります。単なる減衰ではなく、1/xよりも早く減衰しなければ発散します
(x^k で言えば、べきk が、-1よりも早く減衰しなければ、積分値は発散します。nで言えば、1/nより早く減衰する必要があるってことです)
つまり、時枝の決定番号は、n→∞ で 積分(又は和)が発散し、非正則分布になり、まっとうな確率計算はできません
確率分布を勉強すれば、これは初歩の初歩で、常識です(^^
発散する場合、分布は非正則分布であり、まともな確率計算はできません
(参考)
https://ameblo.jp/2217018/entry-12318900072.html
プロフィール|ピグの部屋 ペタ
広義積分∫x^^kdxの収束・発散 2017-10-12
(抜粋)
J(k)=∫[1?∞]x^k dx
とする。
収束・発散
J(k)はk<-1のときに収束し、その極限値は1/|k+1|である。
それ以外のときは、+∞に発散する。
https://ja.wikipedia.org/wiki/%E5%BA%83%E7%BE%A9%E7%A9%8D%E5%88%86
広義積分
(抜粋)
広義積分(こうぎせきぶん、英: improper integral)とは何らかの定積分の積分区間を動かしたときの極限である。極限値は有限確定値に収束することもあるが発散することもある。積分区間の端点(片方または両方)は何らかの実数か正または負の無限大に近づく。
- 152 :現代数学の系譜 雑談 :2020/08/09(日) 20:17:57.74 ID:QmjvhqAQ.net
- >>151 補足
ロングテールとか、裾の重い分布とか言われます
ですが、これらは、確率分布の裾が減衰する分布です
時枝の決定番号は、全く減衰などしません。よって、積分(又は和)は発散し、非正則分布であり、まともな確率計算ができません!!(^^;
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%B3%E3%82%B0%E3%83%86%E3%83%BC%E3%83%AB
ロングテール
https://upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Long_tail.svg/220px-Long_tail.svg.png
黄色部分が「ロングテール」である。
https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
- 153 :132人目の素数さん:2020/08/09(日) 23:16:34.97 ID:O3Ql50FC.net
- >>151
箱入り無数目の確率計算に「決定番号の分布」なるものは使われていませんのであなたの主張は意味を為しません。
反論があるなら「決定番号の分布」なるものが使われている箇所を具体的に提示して下さい。
提示できなければまたいつもの妄想と判断させて頂きます。
- 154 :132人目の素数さん:2020/08/10(月) 08:43:25.14 ID:EXUgpgw2.net
- >>153
>箱入り無数目の確率計算に「決定番号の分布」なるものは使われていません
その通り
Prussの指摘で意味があるのは
「列が定数の場合の確率計算から、
列が確率変数となる場合の確率を出すのは
conglomerabilityが成立する場合に限られる
The Riddleではその性質が成立しないから無理」
という点だけ
列が定数の場合のThe Riddleの計算については
Prussも否定できなかった 当たり前だ
100本のあみだくじで外れが1本の場合の
確率計算と同じだから
ここで「あみだくじの全種類が必要」とかいうのは馬鹿
- 155 :132人目の素数さん:2020/08/10(月) 10:19:42.62 ID:izpSkA1Y.net
- 阪大工って猫もそうだったがなんでこんなゆがんだコンプ持ち排出できるのか理解に苦しむ
- 156 :現代数学の系譜 雑談 :2020/08/10(月) 15:02:22.67 ID:gEQArxFG.net
- >>151
> 7)時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません
無限がからむとか、「無作為」(ランダム性)がからむ確率パラドックスは、よく知られている(下記)
時枝も類似
直観で、二つの決定番号の大小比較で、確率1/2が時枝の主張だが、数学的裏付け無し
(”無限”がからむ確率パラドックス)
https://ja.wikipedia.org/wiki/%E3%82%B5%E3%83%B3%E3%82%AF%E3%83%88%E3%83%9A%E3%83%86%E3%83%AB%E3%83%96%E3%83%AB%E3%82%AF%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
サンクトペテルブルクのパラドックスは、極めて少ない確率で極めて大きな利益が得られるような事例では、期待値が発散する場合があるが、このようなときに生まれる逆説である
(抜粋)
パラドックスの内容
偏りのないコイン[注釈 1]を表が出るまで投げ続け、表が出たときに、賞金をもらえるゲームがあるとする。もらえる賞金は、1回目に表が出たら1円、1回目は裏が出て2回目に表が出たら倍の2円、2回目まで裏が出ていて3回目に初めて表が出たらそのまた倍の4円、3回目まで裏が出ていて4回目に初めて表が出たらそのまた倍の8円、というふうに倍々で増える賞金がもらえるというゲームである
この問題における賞金の期待値を計算してみると、その数値は無限大に発散してしまうのである。
(「無作為」(ランダム性)がからむ確率パラドックス)
https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AB%E3%83%88%E3%83%A9%E3%83%B3%E3%81%AE%E9%80%86%E8%AA%AC
ベルトランの逆説
(抜粋)
確率論の古典的解釈において発生する問題である。確率変数を導入する方法やメカニズムが明確に定義されない場合、確率がうまく定義できない場合があることを示す例として与えた
ベルトランによる問題の定式化
「円に内接する正三角形を考える。その円の弦を1本無作為に選ぶ。その弦が正三角形の辺よりも長くなる確率はどれだけか?」
ベルトランはこれに関して3つの主張を述べた
古典的な解答
この問題に対する古典的な解答は、以上のように、「無作為に」弦を選ぶ方法に依存する。すなわち、無作為な選択の方法が確定すれば、そしてそのときのみ、この問題はwell-definedな解をもつ。選択の方法は唯一ではないので、唯一の解は存在しえない
- 157 :132人目の素数さん:2020/08/10(月) 17:29:44.81 ID:ooIoTF6w.net
- >>156
>直観で、二つの決定番号の大小比較で、確率1/2が時枝の主張だが、数学的裏付け無し
おまえ>>144が読めんの?
アホでも分るように書いてやってるんだから読んで理解しろバカ
- 158 :132人目の素数さん:2020/08/10(月) 17:33:16.92 ID:ooIoTF6w.net
- >>156
> 7)時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません
はい、箱入り無数目の確率計算のどこで「決定番号の分布」なるものが使われているのか提示できなかったのでまたいつもの妄想と判断させて頂きました。
妄想はほどほどにして下さいねー。
- 159 :132人目の素数さん:2020/08/22(土) 00:28:14 ID:PIye8TW8.net
- そうなんだ
- 160 :現代数学の系譜 雑談 :2020/08/30(日) 17:28:06.23 ID:oR3g+efa.net
- >>156
>> 7)時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません
>無限がからむとか、「無作為」(ランダム性)がからむ確率パラドックスは、よく知られている(下記)
>時枝も類似
「時枝も、決定番号は n→∞ の非正則な分布です。なので、まっとうな確率計算ができません」ですが
これ(非正則な分布)が、実は、普通 見えない、見えていないのです
それが、錯覚の原因とパラドックスの原因なのです
例えば、有限の場合、例えばポーカーの「ロイヤルストレートフラッシュ」
この手が来れば、こちらはガンガン強気で攻めることができます。まず負けないと判断できます
繰返すが、これ有限の場合なのです。つまり、手の強さに上限があるから、上限の強い手が来れば、「負けない」と判断できます
ところが、手の強さに上限がない、つまり無制限だとすれば? 自分が、どんなに強い手を得ても、それが有限なら、必敗です
なぜなら、相手は無限の強さですから
これと同じことが、時枝の決定番号に言えます
決定番号で有限のd1を得た
これを、未知の無限大の可能性のあるd2との大小比較(=勝ち負け、つまり、d2>d1なら負け)を考えると
d2は、∞まで可能性があるので、どんなに大きなd1を得ても、必敗予想になるべきです
これが、時枝のトリックの分り易い説明です
(参考)
https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%BC%E3%82%AB%E3%83%BC%E3%83%BB%E3%83%8F%E3%83%B3%E3%83%89%E3%81%AE%E4%B8%80%E8%A6%A7
ポーカー・ハンドの一覧
A◆ K◆ Q◆ J◆ 10◆ のようなAから10までのストレートフラッシュのことを、「ロイヤルフラッシュ」とも呼ぶ。この役は、一般的なルールにおいて最も強い役である。日本では「ロイヤルストレートフラッシュ」と呼ぶことがある。
- 161 :132人目の素数さん:2020/09/06(日) 00:23:59 ID:JRBNrvaF.net
- >>160
>時枝も、決定番号は n→∞ の非正則な分布です。
いいえ、正則です。
100個の決定番号は「私」のターンにおいて固定される、つまり「あなた」のターンにおいてはN^100空間の一点のみ確率1、他のすべての点は確率0ですから。
- 162 :132人目の素数さん:2020/09/06(日) 00:34:06 ID:JRBNrvaF.net
- >>160
>これを、未知の無限大の可能性のあるd2との大小比較(=勝ち負け、つまり、d2>d1なら負け)を考えると
>d2は、∞まで可能性があるので、どんなに大きなd1を得ても、必敗予想になるべきです
大小比較を行う100個の決定番号は「私」のターンにおいて決定済みなので「∞まで可能性がある」は誤解ですねー
- 163 :132人目の素数さん:2020/09/07(月) 03:01:51.52 ID:uKa1rOlY.net
- >>160
>決定番号で有限のd1を得た
>これを、未知の無限大の可能性のあるd2との大小比較(=勝ち負け、つまり、d2>d1なら負け)を考えると
>d2は、∞まで可能性があるので、どんなに大きなd1を得ても、必敗予想になるべきです
あなたが言ってるのは
「Nのいずれか1元を無作為に選んだ時、ある自然数より小さい確率」
ですね。これ、箱入り無数目の確率(以下に引用)とはまったく別モノですね。
「さて, 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
その前にそもそも「Nのいずれか1元を無作為に選ぶ方法」が示されてません。Nは無限集合ですから有限集合のようなわけには行きませんよ?
- 164 :132人目の素数さん:2020/09/07(月) 05:46:52.27 ID:bE/6WhUJ.net
- ◆yH25M02vWFhP は箱入り無数目のゲームを取り違えてるよな
100列の内、99列を開けて、その中の最大決定番号Dを得たところで
Dを固定して、残り1列のみを毎回選ぶもんだと誤解してる
全然違うよ
100列全部固定していて、どの列を選ぶかだけが異なるんだよ
だから他より大きな決定番号をもつ列(たかだか1列)を
選ぶ確率は1/100なんだよ
- 165 :132人目の素数さん:2020/09/08(火) 22:18:45.07 ID:jldlOMMa.net
- ↑
瀬田、まったく反論できないの図
そりゃそうだ、根本的に解ってないからね
- 166 :132人目の素数さん:2020/09/09(水) 19:08:18.44 ID:RmImPufM.net
- https://rio2016.5ch.net/test/read.cgi/math/1598748159/283
>時間は、数学では抽象化されているでしょ
>離散時間 T = {1, 2, 3, …}で、→∞ とすれば、これ時枝の可算無限個の箱だろ
そもそも、箱=確率変数、と思ってる時点で誤りですがね
>状態空間 Sで、ユークリッド空間 R^dで一次元とすれば、
何が一次元?狂ってますね
>これRは箱に任意の実数を入れる話と合う。
毎回入れなおすわけではないですね
したがって確率変数ではないですね
>おサルは確率論・確率過程論が、サッパリってことが ばればれ
そもそも無限個の箱=無限個の確率変数という思い込みが誤りですね
>時枝については、いまや形勢は完全に逆転した
>時枝が分かっていないのは、おサルさん、あなたですよ
まったくの妄想ですね
- 167 :132人目の素数さん:2020/09/10(木) 06:20:06.98 ID:9gEGQrRx.net
- https://rio2016.5ch.net/test/read.cgi/math/1598748159/303-304
>確率論・確率過程論でThe Riddle不成立を証明してみて
箱=確率変数 と脊髄反射するだけの、
お🐎🦌な◆yH25M02vWFhP には到底無理
「箱入り無数目」では、箱の中身は入れ替えない
だから箱の中身は確率論・確率過程論の
確率変数の定義を何度読み返しても
確率変数となり得ない
定義による論理的思考ができず、
フロイトの精神分析並の「自由連想」するしか
能がない素人の◆yH25M02vWFhP には
数学は到底理解不能!!!
- 168 :132人目の素数さん:2020/09/10(木) 12:18:14.89 ID:e23m6Bgx.net
- >>166
>そもそも無限個の箱=無限個の確率変数という思い込みが誤りですね
そうですね。
箱の中身は「私」のターンで固定されるので、「あなた」のターンで確率変数になり様が無いですね。
まったくの誤解だと思います。
箱入り無数目より引用
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. (中略)そして箱をみな閉じる.
今度はあなたの番である.・・・」
↑
この通り、1.「私」が箱に実数を入れる→2.箱を閉じる→3.「あなた」のターン の順であることが明記されてますから。
日本語が不自由なんですかね?
- 169 :現代数学の系譜 雑談 :2020/09/12(土) 17:41:53.30 ID:cnqeiEp4.net
- >>160 補足
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID(独立同分布)(>>8-9)!
1.独立だから、問題の箱以外を開けても、問題の箱とは無関係
2.同分布だから、どの箱も、別の確率になることはない
さらに、おかしなこと
1.箱の数として、ある確率現象を考える。コイントスの0,1なら確率1/2
サイコロで1〜6の数なら確率1/6
閉区間[0,1]の一様分布の実数1点的中は、確率0(∵零集合だから)
2.ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
どんな確率現象でも、一律99%。これはおかしい
なぜ、こんなおかしな事が?
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です(^^
- 170 :132人目の素数さん:2020/09/15(火) 19:07:39.06 ID:9Bwg1zHi.net
- >>169
あなたの主張を要約すると
「下手くそな当て方では当たらない、だから時枝先生の当て方でも当たらないはずだ」
なんですよ。解かりますか?
その推測には何の根拠も無いし実際間違っているのでゼロ点ですねー 落第です
それでなんで何日も経ってから自己レスし、しかもsageなんですか?
そんなにレスしてることを隠したいんですか? 反論されるのが嫌なんですか? 言ったもん勝ちを狙ってるんですか? あなたって何なんですか?
- 171 :現代数学の系譜 雑談 :2020/09/15(火) 20:36:16.79 ID:U8/AtlFY.net
- おれら、勝負ついているんだよね
で、いまさら、まともにレスする気がないんだわw
適当にあしらうのみ
それで宜しければ、どうぞww
- 172 :132人目の素数さん:2020/09/15(火) 21:40:54.77 ID:9Bwg1zHi.net
- ですよね
不成立の証明を課題に与えても手も足もでないようですし
- 173 :132人目の素数さん:2020/09/15(火) 21:44:32.84 ID:D6yfk4lL.net
- >>171
たしかに勝負は◆yH25M02vWFhP の惨敗で決着しているw
いまさら言い訳のしようもあるまい
言い訳すればするほど恥かくからなw
行列の件も2度も3度も間違う醜態
線形代数を知らない🐎🦌にはこまったもんだ(嘲)
おれは適当にあしらったりはしないよ
おまえの🐎🦌っぷりをとことんあげつらってやる
それはおまえに対する数学の教育 感謝しろよ 🐎🦌wwwwwww
- 174 :132人目の素数さん:2020/09/15(火) 21:47:42.76 ID:9Bwg1zHi.net
- 下手くそな当て方で当たらないことをいくら示しても
時枝先生のやり方で当たらないことを示したことにはならない
こーんな至極当然のことも解らないおバカさんに数学は無理ですよー なにかっこつけてんですかー?
- 175 :現代数学の系譜 雑談 :2020/09/16(水) 10:19:20.63 ID:64Y83pRt.net
- おサルが二匹か
まあ、時枝が分かるためには
大学教程の確率論・確率過程論を学ぶのが先
確率変数の概念も分からんようじゃ、議論にならん
と言って、私が、ここで、
大学教程の確率論・確率過程論を教えるわけにはいかないのは、当然のこと
まあ、教えてもね
チンパンジーにアインシュタインの相対性理論を教えるが如しかもな
自分で勉強してもらうしかないが
どうも、ムリみたいだな
そういうことです
- 176 :132人目の素数さん:2020/09/16(水) 23:58:38.14 ID:H2TkBIYN.net
- >>175
誰も確率論・確率過程論を教えてくれなんて言うてまへんがな
The Riddle不成立を証明してごらんとは言うたが
証明まだ?
- 177 :現代数学の系譜 雑談 :2020/09/17(木) 06:30:13.67 ID:Goa0/AaP.net
- >>175
証明は100年前に終わっているが、
そこには大学教程の
確率論・確率過程論の確率変数の概念が使われている
確率変数の概念が分からない人には、
理解できないだけのこと
です
- 178 :132人目の素数さん:2020/09/17(木) 06:35:53.52 ID:PUn6GZi6.net
- >>177
そもそも「箱入り無数目」における確率変数の認識が間違っとるが
さらにいえば、その間違った認識でも「当たる確率0」は導けないが
せいぜい「非可測だから計算不能」としか言えない
◆yH25M02vWFhPの主張は誤りだと、確率論で証明できる
ま、非可測集合すら理解できない◆yH25M02vWFhPには無理かwwwwwww
- 179 :132人目の素数さん:2020/09/17(木) 06:38:18.40 ID:PUn6GZi6.net
- もう「箱入り無数目」は諦めろ
εδも分からん🐎🦌の貴様に測度論も確率論も無理w
まず、線形代数からやり直せ
ああ、いきなり斜体とか一般化するなよ
まず可換体から理解しろ 🐎🦌に非可換体なんか10000年早いw
- 180 :132人目の素数さん:2020/09/17(木) 06:48:22.16 ID:PUn6GZi6.net
- ここ、ガダルカナルで◆yH25M02vWFhPは惨敗した
◆yH25M02vWFhPは”フィリピン”に集中しろ
- 181 :現代数学の系譜 雑談 :2020/09/17(木) 10:59:03.01 ID:mTCCJp7z.net
- ガダルカナル・タカさん、元気かな〜?
最近みないけど
戦艦「時枝」は、IID(独立同分布)(>>8-9)弾一発で、瞬殺・轟沈しましたぁ〜!w(^^
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%80%E3%83%AB%E3%82%AB%E3%83%8A%E3%83%AB%E3%83%BB%E3%82%BF%E3%82%AB
ガダルカナル・タカ(Guadalcanal Taka、1956年12月16日 - )は、日本のお笑いタレント。本名は井口 薫仁(いぐち たかひと)。
株式会社TAP所属で、ビートたけし率いるたけし軍団の一員。血液型B型。
妻はフリーアナウンサーの橋本志穂。
日本テレビ系列『お笑いスター誕生』等で活躍。同番組で知り合ったツーツーレロレロ(そのまんま東・大森うたえもん)に、たけし軍団の草野球に助っ人として誘われ、参加する中で、たけしに軍団に加わる事を打診され加入した。枝豆と共に軍団入りし、同時にコンビ活動を停止。
1986年12月8日 - 9日にフライデー襲撃事件に参加し、暴行容疑で大塚警察署に現行犯逮捕。謹慎後に復帰。
以後、『スーパージョッキー』など、たけしの番組において、たけし軍団の大番頭的ポジションで出演しつつ、ピンのタレントとしては、ローカル局・UHF局の番組でMCとして出演を重ね、キャリアを積む。
話術の巧みさを買われ「スーパーサブ」的なポジションでゲスト出演することも多い。NHKからも声がかかっており、さらに『なるトモ!』、『情報ライブ ミヤネ屋』といった在阪準キー局制作番組にもレギュラー出演し、特に、関西ローカル番組では重宝されている。
妻の橋本志穂(当時福岡放送アナウンサー)とは、北九州市のスペースワールドでのイベントで共演し知り合った。
出演
- 182 :132人目の素数さん:2020/09/18(金) 00:56:47.25 ID:zs2UU8cH.net
- >>177
なんだかんだ言って結局証明できんやな
いつも口だけやな
- 183 :現代数学の系譜 雑談 :2020/09/20(日) 23:40:49.36 ID:w0R3FJMo.net
- 1.不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
2.時枝の記事の後半で、おかしなこと
1)数列のシッポだから、ビタリ風の非可測集合と即断しているが、そもそも可算無限次元のR^∞には、計量が入らない(自乗総和が無限大に発散する)
計量を入れるなら、ヒルベルト空間などに制限する必要があるが、そこの問題ではない
時枝戦略の本質的問題点は、決定番号の分布が非正則分布になり、確率計算ができないことにある
2)確率変数の独立の定義に、イチャモンつけている
しかし、「確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義される」という表現は、コンパクト性定理でも使われている表現で、まっとうなものです
(下記 渕野 などご参照)
時枝氏の書いていることは、ちょっと変です
3.結局、時枝記事の戦略は成り立ちません!
(参考)
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである
https://fuchino.ddo.jp/kobe/jyohokiso-2012-compactness.pdf
有限から無限への移行原理としての命題論理 渕野昌 2012
P7
命題論理のコンパクト性定理
定理1 Tのすべての有限部分集合が充足可能なら T も充足可能である
コンパクト性定理は,無限の性質が本質的かかわっている定理である
命題論理のコンパクト性定理は,有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の1つとなる
- 184 :132人目の素数さん:2020/09/21(月) 02:08:37.37 ID:/oh0cClf.net
- >>183
>不成立の証明は、反例を一つ提示すれば、終わる
その通り。
>時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
これは酷い。
箱入り無数目における反例とは勝つ戦略が存在しない実数列だよ。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
↑
この文章からそれが読み取れないようじゃ数学の前に国語を勉強した方がよいのでは?
- 185 :132人目の素数さん:2020/09/21(月) 07:03:17.67 ID:ygseaWNf.net
- >>183
🐎🦌 毎度恒例の発狂
「箱入り無数目」ではどの箱も確率変数ではない
したがって「無限個の確率変数の独立性」とかまったく無意味
100個の無限列は固定であり、
どの1列を選ぶかしか任意性がなく
当らないのはたかだか1列だから
当たる確率は少なくとも1-1/100=99/100
たったこれだけ
- 186 :132人目の素数さん:2020/09/21(月) 07:15:43.31 ID:ygseaWNf.net
- >>183
>そもそも可算無限次元のR^∞には、計量が入らない
またまた🐎🦌発言発見w
そもそもn^∞でもよいし、その場合にはビタリの非可測集合が構成できる
貴様が🐎🦌だからできないだけ
>時枝戦略の本質的問題点は、
>決定番号の分布が非正則分布になり、
>確率計算ができないことにある
別スレの「零因子」と同様のトンチンカンぶりw
誤 決定番号の非正則分布になり
正 決定番号の正則な分布が存在せず
ちなみに上記は
「箱の中身が確率変数だと”誤解”した場合の
時枝戦略の問題点」
正しい理解は「箱の中身は定数」だから無意味
- 187 :132人目の素数さん:2020/09/21(月) 07:23:45.46 ID:ygseaWNf.net
- >>183
>「確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義される」
>という表現は、コンパクト性定理でも使われている
無限個の箱のうち、たかだか有限個の箱の中身だけ0でない、という制限の上で、
任意の有限個の箱の中身が独立とすることはできる
しかし、この場合、それぞれの箱の中身が0でない確率が1だとしても、
無限個の箱全部が0でない確率は、0になる
つまり、1の無限個の積=1、という式は成立しない
- 188 :132人目の素数さん:2020/09/21(月) 09:23:14.60 ID:/oh0cClf.net
- >「箱入り無数目」ではどの箱も確率変数ではない
まず、実数列の決定権は「私」にある。
それに対し数当て方法(確率変数の取り方も含む)の決定権は「あなた」にある。
だから「私」が箱の中身を確率変数とする(ex. IID)はルール違反。
次に、「あなた」は箱の中身を確率変数としてもよい。
ただそれでは勝てない(そもそも勝率が定まらない)だけのこと。
下手くそな戦略で勝てないからといって「勝つ戦略は無い」とは言えない。
↑
瀬田はここが分かってない。
時枝先生は確率99/100以上で勝つ戦略を示したのだから、勝つ戦略が無いことを示すには時枝先生の戦略が間違っていることを示すことが必要条件。
ところが瀬田は時枝先生の戦略については一言も触れず、「下手くそな戦略」についてしか言わない。完全な間違い。ゼロ点。落第。
- 189 :132人目の素数さん:2020/09/21(月) 10:18:07.85 ID:ygseaWNf.net
- >>188
「私」「あなた」ではなく「出題者」「回答者」と書いてくれないか
このゲームでは「出題者」は、はじめに箱の中身を決める権利がある
しかし、それは、はじめの一回だけである
その後、一切中身を入れ替えることは禁止する
それが「箱の中身は確率変数でない」という意味
瀬田はここが分かってない、というより分かりたがらない
分かったら負けだからw
「箱入り無数目」の記事で
確率99/100以上で勝つ戦略が使えるゲームとは
そういうルールだ、ということ
もちろん、箱の中身を毎回変えていいのなら
「箱入り無数目」の記事の方法では確率計算はできない
その理由はPrussが述べたconglomerabilityが成立しないから
ただ、その場合にも「当たる確率0」は言えない
つまり、箱入り無数目の主張の拡大だけでなく、
セタの主張も完全に否定される
(どちらもconglomerabilityが成立する前提でしか正しくないから)
セタの主張を正当化するには
・箱の中身は確率変数
・「回答者」が箱を選べるのは最初の一回のみ
(以後、箱を選びなおすことは禁止)
というルールを採用するしかないが、
そんなルールは記事には一切書いてない
- 190 :132人目の素数さん:2020/09/21(月) 15:51:26.89 ID:ygseaWNf.net
- 時枝、Pruss、セタ 三者の違い
1.箱の中身に関して
時枝
箱の中身は定数
出題者が箱の中身を入れられるのは最初の一回だけ
Pruss
セタ
箱の中身は確率変数
出題者は毎回、箱の中身を入れ替えられる
2.箱の選択に関して
時枝
Pruss
選択される列の番号は確率変数
回答者は毎回、列を選びなおせる(つまり箱も選び替えられる)
セタ
選択される箱の番号は定数
回答者は最初に列を選び、記事の戦略で箱を選んだら
再び選び替えることはできない(つまり同じ箱で予測する)
3.予測的中確率について
時枝
少なくとも99/100 運が良ければ1
Pruss
計算不能(非可測性&non conglomerabilityにより)
セタ
0(箱の中身の確率分布のみで計算可能)
セタの主張は、「2.箱の選択に関して」で
セタの独善的なルールを適用することによってのみ成立する
セタがこのことを明確に述べないのは
自分でも「箱を選びなおせない」というルールが
独善的だと気付いているからだろう
セタのこの卑怯卑劣なやりかたは
まさに加藤某とかいうT大H学部卒の官僚上がりの政治家が用いる
「東大話法」「ご飯論法」に通じるものである
- 191 :132人目の素数さん:2020/09/21(月) 20:14:55.25 ID:Lnon6Ca0.net
- そうですね
私もそう思います
- 192 :132人目の素数さん:2020/09/21(月) 22:53:31.00 ID:/oh0cClf.net
- 瀬田相変わらずフルボッコやな
- 193 :現代数学の系譜 雑談 :2020/09/22(火) 11:10:52.99 ID:qkl/9znF.net
- >>188 再録
(引用開始)
1.不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)
ようやく分かってきたのかな?
(>>177より)
>>175
証明は100年前に終わっているが、
そこには大学教程の
確率論・確率過程論の確率変数の概念が使われている
確率変数の概念が分からない人には、
理解できないだけのこと
です
(引用終り)
の意図が
(>>175)
おサルが二匹か
まあ、時枝が分かるためには
大学教程の確率論・確率過程論を学ぶのが先
確率変数の概念も分からんようじゃ、議論にならん
と言って、私が、ここで、
大学教程の確率論・確率過程論を教えるわけにはいかないのは、当然のこと
まあ、教えてもね
チンパンジーにアインシュタインの相対性理論を教えるが如しかもな
自分で勉強してもらうしかないが
どうも、ムリみたいだな
そういうことです
- 194 :132人目の素数さん:2020/09/22(火) 11:21:50.09 ID:bhCM9tOh.net
- >>193
100年前に終わってる証明を書けない理由は?
君さあ、言ってて恥ずかしくないの?恥知らずなペテン師だから恥ずかしくないのかな?
- 195 :現代数学の系譜 雑談 :2020/09/22(火) 12:14:12.85 ID:qkl/9znF.net
- >>188 再録
(引用開始)
1.不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)
(>>169より)
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID(独立同分布)(>>8-9)!
1.独立だから、問題の箱以外を開けても、問題の箱とは無関係
2.同分布だから、どの箱も、別の確率になることはない
さらに、おかしなこと
1.箱の数として、ある確率現象を考える。コイントスの0,1なら確率1/2
サイコロで1〜6の数なら確率1/6
閉区間[0,1]の一様分布の実数1点的中は、確率0(∵零集合だから)
2.ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
どんな確率現象でも、一律99%。これはおかしい
なぜ、こんなおかしな事が?
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です(^^
- 196 :132人目の素数さん:2020/09/22(火) 12:32:41.27 ID:bhCM9tOh.net
- >>195
証明まだ?
100年前に終わってるんじゃなかったの?
- 197 :132人目の素数さん:2020/09/22(火) 13:50:06.63 ID:jk08YZjf.net
- >>193
もう>>190で終わってますよ
>私が、ここで、大学教程の確率論・確率過程論を教えるわけにはいかない
分からないことは、教えられないよねw
- 198 :132人目の素数さん:2020/09/22(火) 13:56:18.33 ID:bhCM9tOh.net
- 結局瀬田くんは何一つ示せなかったね
自分がどうしようもないアホだということ以外は
- 199 :132人目の素数さん:2020/09/22(火) 14:11:36.89 ID:jk08YZjf.net
- セタ君のおかしなこと
1.箱の中が確率変数だとしたとき、いかなる自然数nについても
列の決定番号がnとなる確率は求められない
なぜなら列から決定番号への関数が非可測だからである
2.ところが、セタの主張では、非可測性が消えてしまっている
いかなる場合も、一律箱の確率分布で決まるとする これおかしくね?
何が狂ってるか それは>>190にある通り
箱をいったん選んだら、二度と選びなおせない
そういう「狂った」読み方をしてるから、非可測性が全然出てこない
- 200 :132人目の素数さん:2020/09/22(火) 14:16:22.51 ID:jk08YZjf.net
- >>190 再掲
時枝、Pruss、セタ 三者の違い
1.箱の中身に関して
時枝
箱の中身は定数
出題者が箱の中身を入れられるのは最初の一回だけ
Pruss
セタ
箱の中身は確率変数
出題者は毎回、箱の中身を入れ替えられる
2.箱の選択に関して
時枝
Pruss
選択される列の番号は確率変数
回答者は毎回、列を選びなおせる(つまり箱も選び替えられる)
セタ
選択される箱の番号は定数
回答者は最初に列を選び、記事の戦略で箱を選んだら
再び選び替えることはできない(つまり同じ箱で予測する)
3.予測的中確率について
時枝
少なくとも99/100 運が良ければ1
Pruss
計算不能(非可測性&non conglomerabilityにより)
セタ
0(箱の中身の確率分布のみで計算可能)
セタの主張は、「2.箱の選択に関して」で
セタの独善的なルールを適用することによってのみ成立する
セタがこのことを明確に述べないのは
自分でも「箱を選びなおせない」というルールが
独善的だと気付いているからだろう
- 201 :132人目の素数さん:2020/09/24(木) 03:18:09.72 ID:YmbVQKzN.net
- 瀬田にできるのはあるある詐欺だけ。
>証明は100年前に終わっているが、
と証明あるある詐欺w
実際に書けと言っても一切書けないw
- 202 :132人目の素数さん:2020/09/24(木) 06:23:08.56 ID:H6sqOdXp.net
- ◆yH25M02vWFhP の戦果w
正規部分群の定義の誤読で悶死
「箱入り無数目」の誤読で悶死
集合の∈と⊂の誤解で悶死
そして行列式の誤解で悶死
もう四回目だぞ、何回死んだら気が済むんだ?
この🐎🦌タレが!
- 203 :現代数学の系譜 雑談 :2020/10/01(木) 15:15:00.19 ID:7fZLD5Mp.net
- 再録
(引用開始)
1.不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)
(>>169より)
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID(独立同分布)(>>8-9)!
1.独立だから、問題の箱以外を開けても、問題の箱とは無関係
2.同分布だから、どの箱も、別の確率になることはない
さらに、おかしなこと
1.箱の数として、ある確率現象を考える。コイントスの0,1なら確率1/2
サイコロで1〜6の数なら確率1/6
閉区間[0,1]の一様分布の実数1点的中は、確率0(∵零集合だから)
2.ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
どんな確率現象でも、一律99%。これはおかしい
なぜ、こんなおかしな事が?
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です(^^
(積分範囲が、∞になる場合は、裾が1/xつまり、指数でいえば-1乗よりも早く減衰しないと、積分値は発散します。下記 裾の重い分布などご参照)
なお、(>>183より再録)時枝の記事の後半で、おかしなことが書いてある
1)数列のシッポだから、ビタリ風の非可測集合と即断しているが、そもそも可算無限次元のR^∞には、計量が入らない(自乗総和が無限大に発散する)
計量を入れるなら、ヒルベルト空間などに制限する必要があるが、そこの問題ではない
時枝戦略の本質的問題点は、決定番号の分布が非正則分布になり、確率計算ができないことにある
2)確率変数の独立の定義に、イチャモンつけている
しかし、「確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義される」という表現は、コンパクト性定理でも使われている表現で、まっとうなものです
(下記 渕野 などご参照)
時枝氏の書いていることは、ちょっと変です
結局、時枝記事の戦略は成り立ちません!
つづく
- 204 :現代数学の系譜 雑談 :2020/10/01(木) 15:15:53.25 ID:7fZLD5Mp.net
- >>203
つづき
(参考)
https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布(どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid)や独立同一分布(どくりつどういつぶんぷ)とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN AI Trend 2020/04/14 ライター:masa
非正則事前分布とは?〜完全なる無情報事前分布〜
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。
https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである
https://fuchino.ddo.jp/kobe/jyohokiso-2012-compactness.pdf
有限から無限への移行原理としての命題論理 渕野昌 2012
P7
命題論理のコンパクト性定理
定理1 Tのすべての有限部分集合が充足可能なら T も充足可能である
コンパクト性定理は,無限の性質が本質的かかわっている定理である
命題論理のコンパクト性定理は,有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の1つとなる
(引用終り) 以上
- 205 :132人目の素数さん:2020/10/11(日) 12:02:39.82 ID:85hcVO5n.net
- >>203
>1.不成立の証明は、反例を一つ提示すれば、終わる
その通り
> 時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
ならない
箱入り無数目の反例とは数当てできない実数列である
反例の意味さえ理解できないバカに数学は無理なので諦めては?
- 206 :132人目の素数さん:2020/10/11(日) 12:04:03.14 ID:85hcVO5n.net
- The Riddleの成否から逃げ続ける瀬田の負け。
The Riddle不成立と答えたら選択公理と同値類を理解できていないことになるし、
The Riddle成立と答えたら小学校レベルの確率を理解できていないことになる。
だから瀬田は逃げ続けるしかない。
総レス数 548
431 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200