[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む64 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
795(2): １３２人目の素数さん [sage] 2019/05/05(日) 08:23:13.91 ID:GS1cbBC9(1/6) AAS
何言ってんだこいつ
799: １３２人目の素数さん [sage] 2019/05/05(日) 08:31:10.49 ID:GS1cbBC9(2/6) AAS
時枝氏は確率論と時枝解法が矛盾するなんて言ってない。
時枝解法を否定するためには、新しい独立性の定義が必要
と言ってる。そのような新しい独立性の定義は、一見
直観に合ってるようで、実はZFC下では成立しないってこと。
800(2): １３２人目の素数さん [sage] 2019/05/05(日) 08:59:43.73 ID:GS1cbBC9(3/6) AAS
Game1とGame2の比較は面白い。
Game2は非常に限定されているが
一般化して、有限個のnを除いて
n番目の箱に入るのが函数f(n)で定められるとしよう。
この場合、いくつかの箱を除いてすべての箱を開けて函数fを決定
残りの箱の中の数を高確率で推定できるというのは、直観によく合ってる。
しかし、そもそもfとは何か、有限の記述を持つとはどういうことか
など話が複雑になる。
時枝解法の面白い点は、「実数列は全く任意」でも
「選択函数を使って同値類から代表元を引っ張ってくることができる」
と仮定するだけで、函数値列f(n)と同等のことが言える点。
これは直観に反すると言うが、仮定でやってることが
人間業ではないし、人間業でできる範囲（函数値列f(n)）では
直観と一致している。
826: １３２人目の素数さん [sage] 2019/05/05(日) 14:35:41.78 ID:GS1cbBC9(4/6) AAS
>正直、時枝不成立の証明はいらん。
いらんじゃなくて「証明できない」が真実。
>確率過程論を学べば、不成立は分る
「確率過程論を学べば分かる」というのは
「俺には証明はできないが、俺の言いたいことを汲み取ってくれ」
と懇願しているのと同じ。これはスレ主の常とう手段。
ということでさっさと証明しなさい。できないなら分かった気になってるだけ。
829: １３２人目の素数さん [sage] 2019/05/05(日) 15:11:07.05 ID:GS1cbBC9(5/6) AAS
ZFとCは独立。
つまりZFCから得られる結論がいかに奇妙でも、ZFだけから得られる結論とは矛盾しないということ。
そして、Cを加えることで議論が非常にすっきりする。
時枝解法も非常にすっきりしている。
しかもそれはZFだけから得られる結論と矛盾しない。
852(1): １３２人目の素数さん [sage] 2019/05/05(日) 18:18:20.47 ID:GS1cbBC9(6/6) AAS
>>846
その主張はおかしい。
選択函数が具体的に構成できる場合は、すべて選択公理不要。
周期的であることが本質的ではない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.059s