Turing propuso un modelo teórico de una máquina que podía simular cualquier algoritmo computacional. Este concepto de "máquina de Turing" es fundamental en la teoría de la computación y ayuda a definir lo que significa "computar". Sus ideas fueron cruciales para el desarrollo de las computadoras modernas.