Alan Mathison Turing (Londres, 23 de junio de 1912 - Inglaterra, 7 de junio de 1954), fue un matemático, lógico, científico de la computación y filósofo. Durante la segunda guerra mundial, trabajó en descifrar los códigos nazis, particularmente los de la máquina Enigma, era el nombre de una máquina de rotores que permitía usarla tanto para cifrar como para descifrar mensajes. Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing, que será muy importante y veremos en el siguiente apartado.