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

スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

299: １３２人目の素数さん [sage] 2022/09/18(日) 15:12:48.08 ID:ldv25uGN では、信託機械と同じノリで、スレ主の>>290の質問に回答しよう。 ・ 可算無限個の対象をそのまま出力できる機械を想定する。 ・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。 このような能力を持った機械を想定する。この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。特に、 ・ 全ての実数の入る可算無限列を、そのしっぽの同値類で分類して、完全代表系を決めることもできる ことになる。芋づる式に、スレ主の懸念であった ＞・ 毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る このような統計までもが「本当に実行可能」になる。 しかし、どうやってそのような芸当をプログラミングしたのか、 そのソースコードに当たる「動作原理」の部分は、我々には分からない。 しかし、その部分は知る必要がない。ただ単に実行可能でありさえすればよい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/299

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.012s