Hypercomputation with quantum adiabatic processes

Theor. Comput. Sci.(2009)

引用 28|浏览7
暂无评分
摘要
Despite the recursive non-computability of Hilbert's tenth problem, we outline and argue for a quantum algorithm that is based on the Quantum Adiabatic Theorem. It is explained how this algorithm can solve Hilbert's tenth problem. The algorithm is then considered in the context of several "no-go" arguments against such hypercomputation. Logical arguments are usually based on Cantor's diagonal technique used for proving non-computability of the Turing halting problem, which is related to Hilbert's tenth problem. Physical arguments are related to the limited computability of a class of quantum computation based on qubits and dimensionally finite quantum logical gates.
更多
查看译文
关键词
Hypercomputation,quantum adiabatic process,logical argument,Hilbert's tenth problem,quantum computation,Quantum adiabatic computation,Quantum Adiabatic Theorem,limited computability,physical argument,diagonal technique,Turing halting problem,recursive non-computability,finite quantum logical gate,quantum algorithm
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要