Informatica quantistica: differenze tra le versioni

Versione delle 15:52, 26 set 2015

Versione delle 17:15, 11 dic 2015

Riga 1:

L''''informatica quantistica''' è l'insieme delle tecniche di calcolo e del loro

visualeditor

studio che utilizzano i [[meccanica quantistica|quanti]] per memorizzare ed [[elaborare]] le [[informazione|informazioni]]. Molte sono le differenze con l'[[informatica]] classica, soprattutto nei [[#Principi dell'informatica quantistica|principi fondamentali]].

==Origini==

La [[macchina di Turing]] (MT) utilizza gli [[Assioma|assiomi]] della [[fisica classica]], ossia lo stato del nastro e della testina sono sempre univocamente identificabili, gli spostamenti sono sempre regolati dalle leggi del moto, etc. Quindi la MT è totalmente deterministica (MTD). Una sua variante, che si dimostra equivalente ma più veloce, è la [[macchina di Turing probabilistica]] (MTP). Può risolvere ogni problema che è possibile risolvere tramite la MTD, ma di solito lo fa più velocemente (nel senso della [[teoria della complessità algoritmica]]). Anch'essa, però, è soggetta agli assiomi della fisica classica, e soprattutto nessuna delle due è reversibile, per il [[secondo principio della termodinamica]]. Dato che la [[meccanica quantistica]] è reversibile, una [[macchina di Turing quantistica]] (MTQ) deve essere reversibile. Inoltre deve rispettare i [[postulati della meccanica quantistica|vincoli della meccanica quantistica]], tra cui il [[principio di indeterminazione di Heisenberg]] e l'[[equazione di Schrödinger]].

Lo sviluppo di una MTQ, e quindi di un calcolatore quantistico, ha richiesto, come spesso avviene, diversi passaggi.