Kurt Gödel
¿Quién revisó los resultados en los límites de prueba y computación en 1931?
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 artículo seminal de 1936, On Computable Numbers. Turing reformuló los resultados de 1931 de Kurt Gödel en los límites de prueba y computación, reemplazando el lenguaje formal basado en aritmética universal de Gödel con los dispositivos formales y simples hipotéticos que se conocieron como máquinas de Turing. Demostró que alguna máquina de este tipo sería capaz de realizar cualquier cálculo matemático concebible si fuera representable como un algoritmo. Continuó demostrando que no había una solución al Entscheidungsproblem mostrando primero que el problema de parada de las máquinas de Turing es indecidible: En general, no es posible decidir algorítmicamente si una máquina de Turing dada.
question: ¿Quién revisó los resultados en los límites de prueba y computación en 1931?, answer: Kurt Gödel