Construyó la primera máquina lógica que tuvo capacidad suficiente para resolver un problema complicado en un menor tiempo que el requerido para resolver ese mismo problema sin la ayuda de la máquina.