Comprobar los eventos más memorables 30 November 1936 d. C..
En 1936, Turing publicó su artículo "Sobre números computables, con una aplicación al Entscheidungsproblem". Fue publicado en la revista Proceedings of the London Mathematical Society en dos partes, la primera el 30 de noviembre y la segunda el 23 de diciembre.
Turing publicó su artículo "Sobre los números computables, con una aplicación al Entscheidungsproblem". Fue publicado en la revista Proceedings of the London Mathematical Society en dos partes, la primera el 30 de noviembre y la segunda el 23 de diciembre. En este artículo, Turing reformuló los resultados de 1931 de Kurt Gödel sobre los límites de la prueba y la computación, reemplazando el lenguaje formal basado en la aritmética universal de Gödel con los dispositivos hipotéticos formales y simples que se conocieron como máquinas de Turing. El Entscheidungsproblem (problema de decisión) fue planteado originalmente por el matemático alemán David Hilbert en 1928. Turing demostró que su "máquina de computación universal" sería capaz de realizar cualquier cálculo matemático concebible si fuera representable como un algoritmo. Continuó demostrando que no había solución al problema de decisión al mostrar primero que el problema de la parada para las máquinas de Turing es indecidible: no es posible decidir algorítmicamente si una máquina de Turing se detendrá alguna vez.
En 1936, Turing publicó su artículo "Sobre números computables, con una aplicación al Entscheidungsproblem". Fue publicado en la revista Proceedings of the London Mathematical Society en dos partes, la primera el 30 de noviembre y la segunda el 23 de diciembre.
Turing publicó su artículo "Sobre los números computables, con una aplicación al Entscheidungsproblem". Fue publicado en la revista Proceedings of the London Mathematical Society en dos partes, la primera el 30 de noviembre y la segunda el 23 de diciembre. En este artículo, Turing reformuló los resultados de 1931 de Kurt Gödel sobre los límites de la prueba y la computación, reemplazando el lenguaje formal basado en la aritmética universal de Gödel con los dispositivos hipotéticos formales y simples que se conocieron como máquinas de Turing. El Entscheidungsproblem (problema de decisión) fue planteado originalmente por el matemático alemán David Hilbert en 1928. Turing demostró que su "máquina de computación universal" sería capaz de realizar cualquier cálculo matemático concebible si fuera representable como un algoritmo. Continuó demostrando que no había solución al problema de decisión al mostrar primero que el problema de la parada para las máquinas de Turing es indecidible: no es posible decidir algorítmicamente si una máquina de Turing se detendrá alguna vez.
