We explore in the framework of Quantum Computation the notion of Computability, which holds a central position in Mathematics and Theoretical Computer Science. A quantum algorithm for Hilbert's tenth problem, which is equivalent to the Turing halting problem and is known to be mathematically noncomputable, is proposed where quantum continuous variables and quantum adiabatic evolution me employed. If this algorithm could be physically implemented, as much as itis valid in principle-that is, if certain Hamiltonian and its ground state can be physically constructed according to the proposal-quantum computability would surpass classical computability as delimited by the Church-Turing thesis. His thus argued that computability, and with it the limits of Mathematics, ought to be determined not solely by Mathematics itself but also by Physical Principles.
CITATION STYLE
Kieu, T. D. (2003). Quantum Algorithm for Hilbert’s Tenth Problem. International Journal of Theoretical Physics, 42(7), 1461–1478. https://doi.org/10.1023/A:1025780028846
Mendeley helps you to discover research relevant for your work.