Skip to main content
removed unuseful apology
Source Link
olinarr
  • 394
  • 1
  • 14

First of all, I apologize if this has been asked, but I truly didn't find anything.

I've stumbled across this article. It says that there is a problem that only Quantum Computers can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real method to compute it: build a quantum computer and solve it. But, since a Turing Machine (turing machines are not quantum computers, I think?) can not solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machines, but those are only "theoretic", aren't they? Quantum computers, on the other hand, arecould be physically buildable.

First of all, I apologize if this has been asked, but I truly didn't find anything.

I've stumbled across this article. It says that there is a problem that only Quantum Computers can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real method to compute it: build a quantum computer and solve it. But, since a Turing Machine (turing machines are not quantum computers, I think?) can not solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machines, but those are only "theoretic", aren't they? Quantum computers, on the other hand, are physically buildable.

I've stumbled across this article. It says that there is a problem that only Quantum Computers can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real method to compute it: build a quantum computer and solve it. But, since a Turing Machine (turing machines are not quantum computers, I think?) can not solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machines, but those are only "theoretic", aren't they? Quantum computers, on the other hand, could be physically buildable.

Tweeted twitter.com/StackCompSci/status/1123331323412844548
Became Hot Network Question
grammar
Source Link
olinarr
  • 394
  • 1
  • 14

First of all, I apologize if this has been asked, but I truly didn't find anything.

I've stumbled across this article. It says that there is a problem that only a Quantum ComputerComputers can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real, method to compute thatit: build a quantum computer and solve it. But, since a Turing Machine (turing machinemachines are not quantum computers, I think?) cannotcan not solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machinemachines, but those are only "theoretic", aren't they? Quantum computers, on the other hand, are physically buildable.

First of all, I apologize if this has been asked, but I truly didn't find anything.

I've stumbled across this article. It says that there is a problem that only a Quantum Computer can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real, method to compute that: build a quantum computer and solve it. But, since a Turing Machine (turing machine are not quantum computers, I think?) cannot solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machine, but those are only "theoretic", aren't they? Quantum computers, on the other hand, are physically buildable.

First of all, I apologize if this has been asked, but I truly didn't find anything.

I've stumbled across this article. It says that there is a problem that only Quantum Computers can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real method to compute it: build a quantum computer and solve it. But, since a Turing Machine (turing machines are not quantum computers, I think?) can not solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machines, but those are only "theoretic", aren't they? Quantum computers, on the other hand, are physically buildable.

Source Link
olinarr
  • 394
  • 1
  • 14

Does this article imply that Turing-Computability is not the same as "effectively computable"?

First of all, I apologize if this has been asked, but I truly didn't find anything.

I've stumbled across this article. It says that there is a problem that only a Quantum Computer can solve. In my understanding, this should mean, intuitively, that this problem is "effectively computable", since we have an effective, real, method to compute that: build a quantum computer and solve it. But, since a Turing Machine (turing machine are not quantum computers, I think?) cannot solve it, this is not turing-computable.

Hence, does this mean that "effectively computable" and "turing-computable" are not the same concept? So, is the Church-Turing thesis wrong? My intuition says "no", because in that case, this would be very big news. So, if not, why not?

Also, I am aware that there exist already models of computation that are more powerful than turing machine, but those are only "theoretic", aren't they? Quantum computers, on the other hand, are physically buildable.