Quantum recursion theory