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