Türing, Allan Mathieson

(Inglaterra, 1912-1954), creador de la automatic digital machine, antecesora de las modernas computadoras que, en base a los principios de la lógica matemática desarrollada a partir de los trabajos de Leibniz, Frege y Boole, permitió por primera vez, realizar cálculos mecanizados mediante el empleo de algoritmos. Véase Historia de la lógica.