[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
300(3): 2022/09/18(日)15:16 ID:ldv25uGN(13/26) AAS
さて、今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、
ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。
この (a1, a2, …, a100) が具体的に何なのかは、我々には知る術がない。しかし、知る必要はない。
なぜなら、何らかの (a1, a2, …, a100) が「実際に出力されている」ことに変わりはないからだ。
そして、一番大切なのは
「毎回100％の確率で同じ (a1, a2, …, a100) が出力されている」
という論理的な性質である、この性質がありさえすればよい。
省8
303(2): 2022/09/18(日)18:40 ID:3YOagFMY(6/9) AAS
>>300
>さて、今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、
>ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。
かならずしも、そうはならん
無限列 (√2, √2, √2, …) の成すしっぽの同値類は、無限にあるよ
無限にあるどの列を代表に選ぶかは、任意
そして、決定番号は、選んだ列に依存するから、一意には決まらない
省6
353(3): 2022/09/19(月)16:27 ID:k+EEBfQ5(13/29) AAS
>>352
その点については>>297-300で反論済み。信託機械と同じノリで、
・ 可算無限個の対象をそのまま出力できる機械を想定する。
・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。
このような能力を持った機械を想定すればよい。
この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。
特に、時枝戦術を使って統計を取ることが可能になる。
省3
357(1): 2022/09/19(月)16:37 ID:k+EEBfQ5(15/29) AAS
>>356
それも>>299-300で既に示してあるでしょ。
今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、
ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。
この (a1, a2, …, a100) が具体的に何なのかは、我々には知る術がない。しかし、知る必要はない。
なぜなら、何らかの (a1, a2, …, a100) が「実際に出力されている」ことに変わりはないからだ。
そして、一番大切なのは
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s