更改

===可计算性理论===

===可计算性理论===

经典计算机可以解决的任何[[计算问题]]也可以由量子计算机解决。<ref>Nielsen, p. 29</ref>直觉上，这是因为人们相信，所有物理现象（包括经典计算机的运行），都可以用[[量子力学]]来描述，而这是量子计算机操作的基础。

经典计算机可以解决的任何计算问题也可以由量子计算机解决。<ref>Nielsen, p. 29</ref>直觉上，这是因为人们相信，所有物理现象（包括经典计算机的运行），都可以用[[量子力学]]来描述，而这是量子计算机操作的基础。

相反，量子计算机可以解决的任何问题也可以用经典计算机来解决；或者更正式地说，任何量子计算机都可以用[[图灵机]]模拟量子计算机。换句话说，量子计算机在[[可计算性]]方面没有比传统计算机多提供额外的优势。这意味着量子计算机不能解决像[[停止问题]]一样的[[不可判定问题]]，量子计算机的存在也并不能否定[[丘奇-图灵论点]]。

相反，量子计算机可以解决的任何问题也可以用经典计算机来解决；或者更正式地说，任何量子计算机都可以用[[图灵机]]模拟量子计算机。换句话说，量子计算机在可计算性方面没有比传统计算机多提供额外的优势。这意味着量子计算机不能解决像停止问题一样的不可判定问题，量子计算机的存在也并不能否定[[丘奇-图灵论点]]。