En 1936 Alan Turing publicó el artículo que fundó la teoría de la computación. Para responder al problema de decisión de Hilbert, construyó un modelo matemático abstracto — la máquina de Turing — capaz de ejecutar cualquier procedimiento calculable. Demostró que existe una máquina universal que puede simular a cualquier otra. La consecuencia fue doble: definió los límites de lo computable (hay problemas que ninguna máquina puede resolver, como el Halting Problem) y proporcionó el marco conceptual sobre el que Von Neumann, Hopper y el equipo de ENIAC construirían las primeras computadoras reales. Turing también contribuyó decisivamente a descifrar Enigma durante la Segunda Guerra Mundial — trabajo documentado en la entrada rejewski-enigma-1932 del corpus.