El matemático inglés Alan Turing demostró que existen problemas (en matemáticas y lógica) que no pueden resolverse mediante un proceso algorítmico y concibió la máquina de Turing, la versión abstracta de un programa informático