0

"Can QTM (Quantum Turing machine) solve halting problem" Why not have an immediate answer "No QTM Can't do this", we know that Turing proved it impossible when DTM , i meant , " Why we cant use the same proof which turing use it" Let H be a program in a quantum turing machine that will solve the issue of halting , why not say that a contradiction will occur Thanks

small
  • 69
  • 8

1 Answers1

3

Because we can simulate QTM with DTM and it is an easier proof method than proving directly for QTM (which we can do). Also, this method of simulating a model with DTM to prove they are equivalent in power is somewhat a standard tool, not just for various TMs, but also for other computaitonal models ($\lambda$-calculus, RAM-machines,$\ldots$)

I think this question and answers address everything else you may be wondering

Sandro Lovnički
  • 1,191
  • 1
  • 6
  • 17
  • I understand from your answer, it can not and DTM equivalent QTM, Right?? Thanks sir @sandro – small Aug 25 '18 at 00:45
  • 1
    Yes, QTM cannot solve Halting problem and QTM is computationaly equivalent to DTM, i.e. both can compute the same class of functions - partial recursive functions. – Sandro Lovnički Aug 25 '18 at 00:49