首页/论文/quant-ph/0304128

arXiv quant-ph/03041282003-04quant-ph

Transcending the Limits of Turing Computability

Vadim A. Adamyan, Cristian S. Calude, Boris S. Pavlov

备注：: 13 pages, 1 figure

英文摘要：

Hypercomputation or super-Turing computation is a ``computation'' that transcends the limit imposed by Turing's model of computability. The field still faces some basic questions, technical (can we mathematically and/or physically build a hypercomputer?), cognitive (can hypercomputers realize the AI dream?), philosophical (is thinking more than computing?). The aim of this paper is to address the question: can we mathematically build a hypercomputer? We will discuss the solutions of the Infinite Merchant Problem, a decision problem equivalent to the Halting Problem, based on results obtained in \cite{Coins,acp}. The accent will be on the new computational technique and results rather than formal proofs.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Finiteness of the universe and computation beyond Turing computability

We clarify the confusion, misunderstanding and misconception that the physical finiteness of the universe, if the universe is indeed finite, would rule out all hypercomputation, the kind of computation that exceeds the Turing computability, while maintaining and defending the validity of Turing computation and the Church-Turing thesis.

2004-03-16quant-ph

An anatomy of a quantum adiabatic algorithm that transcends the Turing computability

We give an update on a quantum adiabatic algorithm for the Turing noncomputable Hilbert's tenth problem, and briefly go over some relevant issues and misleading objections to the algorithm.

2004-07-13quant-ph

Measurability and Computability

The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing thesis. It is argued that any function computable by a quantum algorithm is a recursive function obeying the Church-Turing thesis, whereas any observable can be measured in principle.

1998-09-16quant-ph

Resource dependent undecidability: computability landscape of distinct Turing theories

Can a problem undecidable with classical resources be decidable with quantum ones? The answer expected is no; as both being Turing theories, they should not solve the Halting problem - a problem unsolvable by any Turing machine. Yet, we provide an affirmative answer to the aforesaid question. We come up with a novel logical structure to formulate infinitely many such problems for any pair of distinct Turing theories, including but not limited to the classical and quantum theories. Importantly, a class of other decision problems, such as the Halting one, remains unsolvable in all those theories…

2021-12-26cs.LOmath.LOquant-ph

闭合类时曲线的可计算性理论

Computability Theory of Closed Timelike Curves

本文研究配备无界 Deutschian 闭合类时曲线的图灵机的计算能力，证明寻找可数无限维可计算马尔可夫链和量子通道近似不动点的复杂性恰好为 $Δ_2$，并利用量子马尔可夫映射理论确立上界。

2024-10-14quant-ph

Quantum Principles and Mathematical Computability

Taking the view that computation is after all physical, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique features of quantum mechanics and then outline a quantum mechanical "algorithm" for one of the insoluble problems of mathematics, the Hilbert's tenth and equivalently the Turing halting problem. The key element of this algorithm is the {\em computability} and {\em measurability} of both the values of physical observables and of the quantum-mechanical probability distributions for these values.

2002-11-18quant-ph

更多相关论文收起更多论文

The physical Church-Turing thesis and the principles of quantum theory

Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory. Yet several works have shown how quantum theory as it stands could breach the physical Church-Turing thesis. We draw a clear line as to when this is the case, in a way that is inspired by Gandy. Gandy formulates postulates about physics, such as homogeneity of space and time, bounded density and velocity of information --- and proves that the physical Church-Turing thesis is a consequence of these postulates. We provide a quantum version of the theorem. Thus this approach exhibits a formal no…

2011-02-08cs.DMcs.FLmath-ph

The quantum algorithm of Kieu does not solve the Hilbert's tenth problem

Recently T. Kieu (arXiv:quant-ph/0110136) claimed a quantum algorithm computing some functions beyond the Church-Turing class. He notes that "it is in fact widely believed that quantum computation cannot offer anything new about computability" and claims the opposite. However, his quantum algorithm does not work, which is the point of my short note. I still believe that quantum computation leads to new complexity but retains the old computability.

2001-11-01quant-ph

Quantum Algorithm for Hilbert's Tenth Problem

We explore in the framework of Quantum Computation the notion of {\em 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 are employed. If this algorithm could be physically implemented, as much as it is valid in principle--that is, if certain hamiltonian and its ground state can be physically constructed according to the propo…

2003-10-08cs.LOhep-thmath.LO

量子多项式时间可计算性的概要式定义

A Schematic Definition of Quantum Polynomial Time Computability

本文提出量子多项式时间可计算性的第三种数学模型——量子函数的概要式定义，证明其与量子图灵机、量子电路模型等价，且无需引入良构性、一致性条件，可为量子计算多领域研究开辟新方向。

2020-06-03cs.CCmath.LOquant-ph

Computing the Noncomputable

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 that exploits the quantum adiabatic processes is considered for the Hilbert's tenth problem, which is equivalent to the Turing halting problem and known to be mathematically noncomputable. Generalised quantum algorithms are also considered for some other mathematical noncomputables in the same and of different noncomputability classes. The key element of all these algorithms is the measurability of both the values of…

2003-10-08cs.LOmath.LOquant-ph

On the completeness of quantum computation models

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite "tensorial dimension". Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)

2010-04-07cs.CCcs.LOquant-ph