[過去ログ] スレタイ 箱入り無数目を語る部屋4 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
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.039s