El principio de la computadora moderna fue descrito por primera vez por el matemático y pionero científico de la computación Alan Turing, quien estableció la idea en su papel seminal 1936, en números computable. Turing reformulado los 1931 resultados de Kurt Gödel en los límites de la prueba y el cómputo, reemplazando el lenguaje formal basado en la aritmética universal de gödel con los dispositivos hipotéticos formales y simples que se conocían como máquinas de Turing. demostró que alguna máquina sería capaz de realizar cualquier cálculo matemático concebible si se representables como un algoritmo. Él pasó a demostrar que no había solución a los entscheidungsproblem por primera vez mostrando que el problema de detener para las máquinas de turing es indecidible: en general, no es posible decidir algorítmicamente si una máquina de turing dada alguna vez se detendrá.
Quién escribió el papel "en números computable"?
Alan Turing