[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
298(2): 2022/09/18(日)15:05 ID:ldv25uGN(11/26) AAS
このように、「具体的に分からない」ことと「実行不可能である」ことは意味が全然違う。
スレ主は両者を混同している。スレ主は「具体的には分からない」＝「実行不可能だ」と思っている。
もしそうなら、上記の信託機械で実行可能であるはずの「チューリングマシンの停止問題が1ステップで解ける」
という能力が、スレ主によれば「本当は実行不可能である」ということになってしまう。ここがスレ主の間違い。
正しくは、
「 上記の信託機械なら "本当に実行可能である" (ただし、具体的な動作原理は知る術がない) 」
ということ。スレ主は両者の違いを理解していない。だからナンセンスな批判ばかりになる。
計算機科学なんて、具体的に記述できてナンボの世界なのに、そんな世界でも、
まるで選択公理のような、オラクルという概念を振り回すことがあるのである。
上下前次1-新書関写板覧索設栞歴
あと 704 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s