[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
297(2): 2022/09/18(日)15:03 ID:ldv25uGN(10/26) AAS
具体的に書こう。計算機科学には「信託機械」という概念がある。信託機械とは、
チューリングマシンに神託(オラクル)と呼ばれるブラックボックスを付与した機械のこと指す。
このオラクルは、特定の問題を1ステップで決定可能である。よくあるオラクルとしては、
チューリングマシンの停止問題といった、決定不能な問題に対するオラクルが挙げられる。
そのようなオラクルを付与したチューリングマシンでは、チューリングマシンの停止問題が1ステップで解けてしまう。
もちろん、具体的にどうやって解いているのかは我々には分からない。なんたって、
チューリングマシンの停止問題は決定不能問題なのだから、具体的に分かるわけがない。
省2
353(3): 2022/09/19(月)16:27 ID:k+EEBfQ5(13/29) AAS
>>352
その点については>>297-300で反論済み。信託機械と同じノリで、
・ 可算無限個の対象をそのまま出力できる機械を想定する。
・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。
このような能力を持った機械を想定すればよい。
この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。
特に、時枝戦術を使って統計を取ることが可能になる。
省3
355: 2022/09/19(月)16:31 ID:k+EEBfQ5(14/29) AAS
これは>>298の繰り返しになるが、再掲しておく。
「具体的に分からない」ことと「実行不可能である」ことは意味が全然違う。スレ主は両者を混同している。
スレ主は「具体的には分からない」＝「実行不可能だ」と思っているが、ここがスレ主の間違い。
たとえば、>>297で書いた神託機械だと、チューリングマシンの停止問題が1ステップで解ける。
もちろん、具体的にどうやって解いているのかは我々には分からない。なんたって、
チューリングマシンの停止問題は決定不能問題なのだから、具体的に分かるわけがない。
それでも、そのような神託機械では、チューリングマシンの停止問題が1ステップで解けてしまう。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s