Alan Mathison Turing fue un destacado matemático, lógico e informático británico, considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Es conocido por su influyente formalización de los conceptos de algoritmo y computación, como la máquina de Turing, y formuló la tesis de Church-Turing en 1936, una versión ampliamente aceptada en el campo.
