Sobre los números computables
tiempo: lun nov 30, 1936
Lugar: Inglaterra
detalles: 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.
Puede contener errores.
Orden aproximado. Algunos eventos pueden aparecer desordenados ya que muchos solo se conocen por el año, pero generalmente pertenecen al mismo periodo.
Relacionado
Cerca
























































































































































































Hoy - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































