[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
949(1): 2022/11/08(火)18:42 ID:+hPdl9m3(1/3) AAS
>>944
＞φ(a)の値を知ることは絶対に必要。
人間にとって、「知る」という概念は本質的に
「構成的な手続きによってそこに到達する」というニュアンスを含んでいるので、
「実際に値を知ることは絶対に必要」
という考え方は、最終的には「構成的な手続きがなければインチキだ」
ということになってしまう。
省1
950(2): 2022/11/08(火)18:44 ID:+hPdl9m3(2/3) AAS
例えば、回答者が1つの箱を開けたときに、その中身の実数が
「チャイティンの定数(ここではαと書く)」
だったとする(出題者は任意の実数を出題できるというルールなので、αを出題することは可能)。
この場合、回答者は α の値をどうやって "知る" のか？
時枝ゲームの前提として、回答者は無限個の箱の中身を "知る" 能力を既に備えている。
よって、αを無限小数展開したときの各桁を、回答者は全て "知る" ことができる。
しかし、α の各桁を列挙するアルゴリズムは存在しない(計算不可能)ことが知られている。
省3
951(1): 2022/11/08(火)18:52 ID:+hPdl9m3(3/3) AAS
これはつまり、チューリングマシンの能力を超えた何らかの神託機械が、
予め回答者に付与されているということを意味する。
すると、この話題に関しては次の2つの立場に分かれる。
(1) チューリングマシンの能力を超えた神託機械を付与している時点でインチキだ。
(2) どうせ信託機械を付与するのなら、
選択関数 φ に a を適用したときの値 φ(a) を自動的に出力してくれるような、
別の神託機械を追加で付与しておけばいい。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s