アカウント名:
パスワード:
なら、俺も一つ
「宇宙には私たち以外に知的生命体がいないという証明を私に納得させたら 10 万ドル」
10万ドルを払う可能性は少ないと見ている。
量子コンピュータはスケールすると不安定になるってのが既に分っているんだが、そこに含まれる理論的な限界を証明するって話だよ？悪魔の証明と呼ばれる類の話は無限の範囲からその存在を否定しなければならないから(存在自体に矛盾が無い限り)実質証明不可能なんだけど、この話は違う。
証明に必要な材料は実験と物理法則で、存在自体に矛盾が存在するか否かを示せれば良い。量子コンピュータの実用化における問題それぞれについて～の問題は～の技術が～以上になれば解決可能」とか「～の問題は～の技術を幾ら発展させてもクリアできない」とかを証明していけばいつかは「量子コンピュータの実用化」か「量子コンピュータの否定」が得られる。
一度「理論的に不可能である」と否定されたはずのことが後になって実現されてしまうのもよくあることだけどね。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
吾輩はリファレンスである。名前はまだ無い -- perlの中の人
悪魔の証明 (スコア:0)
なら、俺も一つ
「宇宙には私たち以外に知的生命体がいないという証明を私に納得させたら 10 万ドル」
10万ドルを払う可能性は少ないと見ている。
Re:悪魔の証明 (スコア:1)
量子コンピュータはスケールすると不安定になるってのが既に分っているんだが、そこに含まれる理論的な限界を証明するって話だよ？
悪魔の証明と呼ばれる類の話は無限の範囲からその存在を否定しなければならないから(存在自体に矛盾が無い限り)実質証明不可能なんだけど、この話は違う。
証明に必要な材料は実験と物理法則で、存在自体に矛盾が存在するか否かを示せれば良い。
量子コンピュータの実用化における問題それぞれについて～の問題は～の技術が～以上になれば解決可能」とか「～の問題は～の技術を幾ら発展させてもクリアできない」とかを証明していけばいつかは「量子コンピュータの実用化」か「量子コンピュータの否定」が得られる。
クラークの法則 (スコア:0)
一度「理論的に不可能である」と否定されたはずのことが後になって実現されてしまうのもよくあることだけどね。