[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
469
(1): 2019/08/19(月)19:19 ID:hITUikXI(3/10) AAS
>>439
>下記 P:The Riddle→Q:The Modificationが導かれる
>対偶 Qの否定→Pの否定が導かれる
>Q:The Modificationは、実際現代確率論・確率過程論に矛盾し、否定される
>よって、Pの否定が導かれ、The Riddleは不成立

じゃ、Riddleの否定
「100列とも他の数列より大きな決定番号を持つ(ゆえにあたらない)」
を満たす100列を実際に示してごらん

そんなことは順序の性質に真っ向から反するだろう

も・し、キミの証明が正しいなら
「現代確率論・確率過程論から矛盾が導かれる」
ということになるw

逆にそうではないということなら
1.P:The Riddle→Q:The Modification
2.Q:The Modificationは、実際現代確率論・確率過程論に矛盾し、否定される
のいずれかが否定される

Q:The Modificationで100列は定数だから2.が誤り

誰も100列が確率変数になるとはいってないw
470
(2): 2019/08/19(月)19:21 ID:hITUikXI(4/10) AAS
>>469の続き
100列が確率定数となるRiddleのModificationはさすがに導けない
ただその場合(非可測性から)確率は求まらないのであって
「当たらない(つまり確率0)」という結論も導けない

Prussの
"Symmetry and Brown-Freiling Refutation of the Continuum Hypothesis"
にもちゃんと書いてある

P7
"Given randomness and independence, the probability Pr(p < q) is undefined."

P9
"if we use the product measure, then Pr(p < q) is undefined:
S = {(p, q)/p < q} is not a measurable set."

"the probability Pr(p < q) is undefined, rather than 0."

P13
"In Section 3, we showed that the Lebesgue measure has the first two properties
but that Pr(p < q) is undefined rather than 0."

P15
"probabilities Pr(p < q) and Pr(p < q) are undefined."

実は、時枝記事の結論を、数列が確率変数の場合にも拡張する場合
対称性(symmetry)に依存せざるを得ない

Prussの論文の主旨は対称性により1/2であることが期待される状況でも
測度論に基づけばそのような結論が導けないという主旨のものである

ただPrussもそのような場合にも
”undefined, rather than 0.”「0ではなく未定」
と再三繰り返している
(実際P5の図のS,Tが、非可測である理由をP7で説明している)

したがって、スレ主のいう「確率0」はPrussによっても否定されている
残念だったな 頼みのPrussにも背かれてw
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.034s