El trabajo de Alan Turing es considerado precursor de toda la computación moderna que hoy determina nuestra sociedad, nuestras maneras de producir, las relaciones, los medios de transporte, el avances del conocimiento, e incluso nuestra manera de pensar. Sus desarrollos en la formalización de los conceptos de algoritmo y computación mediante la llamada máquina de Turing fueron fundamentales para el avance de las tecnologías de la información.