Questo articolo implica che la computabilità di Turing non è uguale a "efficacemente calcolabile"?

Question

Prima di tutto, mi scuso se questo è stato chiesto, ma davvero non ho trovato nulla.

Mi sono imbattuto Questo articolo. Dice che c'è un problema che solo i computer quantistici possono risolvere. Nella mia comprensione, ciò dovrebbe significare, intuitivamente, che questo problema è "efficacemente calcolabile", poiché abbiamo un metodo efficace e reale per calcolarlo: costruire un computer quantistico e risolverlo. Ma, poiché una macchina Turing (le macchine Turing non sono computer quantistici, penso?) Non può risolverlo, questo non è computabile.

Quindi, questo significa che "efficacemente calcolabile" e "Turing-computabile" non sono lo stesso concetto? Quindi, la tesi della chiesa è sbagliata? La mia intuizione dice "no", perché in quel caso, questa sarebbe una notizia molto grande. Quindi, in caso contrario, perché no?

Inoltre, sono consapevole che esistono già modelli di calcolo che sono più potenti delle macchine Turing, ma quelle sono solo "teoriche", vero? I computer quantistici, d'altra parte, sono fisicamente costruibili.