-
Creo una forma primitiva de codificación binaria -
Demostró que ninguna maquina de Turing clásica, puede hacer cálculos cuánticos sin que se realice. -
Describió la primera maquina de Turing (MTC) que haría lo que una de Turing clásica no podría. -
describió los circuitos cuánticos como formados por
puertas cuánticas conectadas mediante hilos, demostrando que existía una puerta cuántica universal -
puso a punto el primer
algoritmo de interés práctico, ya que logró plantear un 49
algoritmo eficaz para la factorización, usando los recursos de un ordenador cuántico.