Sinossi

«La computazione quantistica non è soltanto una promessa tecnologica, ma il test più severo a cui siano mai stati sottoposti i problemi concettuali della meccanica quantistica. Possiamo dire che il gatto di Schrodinger è stato addomesticato e ci guida sui sentieri più affascinanti del mondo fisico. Allo stesso tempo, i problemi che stanno emergendo suggeriscono una profonda riflessione sulle connessioni tra fisica e teoria della computazione. È noto infatti che anche se i problemi di decoerenza fossero risolti, il quantum computing non avrebbe prestazioni qualitativamente diverse da quelle dei computer classici. La domanda da porsi è dunque se il modello di Turing è lo schema più adatto entro cui inquadrare le possibilità dell'informazione quantistica. In altre parole, le Quantum Turing Machines costringono a risposte si/no, mentre la vocazione computazionale dei sistemi quantistici dovrebbe sfruttare la sovrapposizione e la non-località per realizzare oracoli probabilistici e performance oltre la "barriera di Turing"». (Ignazio Licata)