Towards A Theory Of Quantum Computability

Stefano Guerrini,Simone Martini,Andrea Masini
DOI: https://doi.org/10.48550/arXiv.1504.02817
2015-04-10
Logic in Computer Science
Abstract:We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obtained as a limit of an infinite computation of a quantum Turing machine. The class of quantum computable functions is recursively enumerable, thus opening the door to a quantum computability theory which may follow some of the classical developments.
What problem does this paper attempt to address?