[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
352: １３２人目の素数さん [] 2022/09/19(月) 16:21:05.27 ID:aLiBZfCJ >>345 >・ 我々は統計を取りたいので、まず出題者の出題を固定した。 だから、>>290に書いたろ？ 「時枝の手法は現実には実行できない」って >>285の「時枝戦術を使って統計を取る」に対して、書いた 統計なんて取れるわけないぞｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/352
353: １３２人目の素数さん [sage] 2022/09/19(月) 16:27:45.90 ID:k+EEBfQ5 >>352 その点については>>297-300で反論済み。信託機械と同じノリで、 ・ 可算無限個の対象をそのまま出力できる機械を想定する。 ・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。 このような能力を持った機械を想定すればよい。 この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。 特に、時枝戦術を使って統計を取ることが可能になる。 しかし、どうやってその機械にそのような芸当をプログラミングしたのか、 そのソースコードは我々には分からない。しかし、その部分は知る必要がない。 ただ単に実行可能でありさえすればよい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/353
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s