Formación académica
Estudió en Cambridge, donde destacó en lógica y matemáticas. Su interés por la mente y la
computación lo llevó a plantear preguntas sobre qué significa “calcular”.
Más tarde realizó su doctorado en Princeton bajo la guía de Alonzo Church.
La Máquina de Turing
En 1936 publicó “On Computable Numbers”, donde introdujo la Máquina de Turing.
Este modelo mostró que cualquier algoritmo puede expresarse con reglas simples y una cinta infinita.
También demostró que existen problemas imposibles de resolver con algoritmos (problema de la parada).
Bletchley Park y Enigma
Durante la Segunda Guerra Mundial trabajó en descifrar los códigos alemanes. Diseñó la “Bombe”,
una máquina que automatizaba el proceso de encontrar claves Enigma.
Su trabajo acortó la guerra y salvó millones de vidas, aunque permaneció secreto durante décadas.