レス書き込み
スレへ戻る
写
レス栞
レス消
スレタイ 箱入り無数目を語る部屋3
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>355 > これは>>298の繰り返しになるが、再掲しておく。 > > 「具体的に分からない」ことと「実行不可能である」ことは意味が全然違う。スレ主は両者を混同している。 > スレ主は「具体的には分からない」=「実行不可能だ」と思っているが、ここがスレ主の間違い。 > > たとえば、>>297で書いた神託機械だと、チューリングマシンの停止問題が1ステップで解ける。 > もちろん、具体的にどうやって解いているのかは我々には分からない。なんたって、 > チューリングマシンの停止問題は決定不能問題なのだから、具体的に分かるわけがない。 > それでも、そのような神託機械では、チューリングマシンの停止問題が1ステップで解けてしまう。 > > もしここで、「具体的には分からない」=「実行不可能だ」が成り立つのであれば、 > この神託機械で実行可能であるはずの「チューリングマシンの停止問題が1ステップで解ける」 > という能力が、「本当は実行不可能である」という意味不明な状況になってしまう。正しくは、 > > 「上記の信託機械なら本当に実行可能である (ただし、具体的な動作原理は知る術がない) 」 > > ということ。スレ主は両者の違いを理解していない。だからナンセンスな批判ばかりになる。
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s