Towards A Theory Of Quantum Computability