Quantum-mechanical computers and uncomputability

Publisher Website
Google Scholar
Abstract
The time evolution operator for any quantum-mechanical computer is diagonalizable, but to obtain the diagonal decomposition of a program state of the computer is as hard as actually performing the computation corresponding to the program. In particular, if a quantum-mechanical system is capable of universal computation, then the diagonal decomposition of program states is uncomputable. As a result, in a universe in which local variables support universal computation, a quantum-mechanical theory for that universe that supplies its spectrum cannot supply the spectral decomposition of the computational variables. A ‘‘theory of everything’’ can be simultaneously correct and fundamentally incomplete.

This publication has 6 references indexed in Scilit: