Alan Turing ALAN TURING Alan Mathison Turing, nació en Paddington, Londres el 23 de junio de 1912, fue un matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de ultra distancia británico. 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 . Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing . LA MÁQUINA DE TURING En su memorable estudio "Los números computables, Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos dispositivos formales y simples. Turing demostró que dicha máquina ...