[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

299(2): 2022/09/18(日)15:12 ID:ldv25uGN(12/26) AAS
では、信託機械と同じノリで、スレ主の>>290の質問に回答しよう。

・ 可算無限個の対象をそのまま出力できる機械を想定する。
・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。

このような能力を持った機械を想定する。この機械を使役することで、
我々は時枝戦術の全てを「本当に実行可能」になる。特に、

・ 全ての実数の入る可算無限列を、そのしっぽの同値類で分類して、完全代表系を決めることもできる

ことになる。芋づる式に、スレ主の懸念であった

＞・ 毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る

このような統計までもが「本当に実行可能」になる。
しかし、どうやってそのような芸当をプログラミングしたのか、
そのソースコードに当たる「動作原理」の部分は、我々には分からない。
しかし、その部分は知る必要がない。ただ単に実行可能でありさえすればよい。

---

上下前次1-新書関写板覧索設栞歴

---

あと 703 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.009s