CONFIRMADOCerteza de la fecha: CONFIRMADOAnunciado como firmeCon qué firmeza la fuente expresa la fecha: confirmada, programada, estimada, retrasada o sin verificar.Ver todos los pines CONFIRMADO88% DE CONFIANZAConfianza general: 88%Hasta qué punto la fuente y las referencias del pin respaldan sus fechas.Media ponderada de la firmeza con la que 3 referencias, incluida la fuente, respaldan las horas de inicio y fin del pin; una referencia cuenta la mitad por cada 180 días que sea más antigua que la más recienteMostrar todos los pines con un 75% de confianza o más
El artículo de Wikipedia[2][3] sobre la demostración de Turing fecha la presentación sin matices: «La demostración de Turing es una demostración de Alan Turing presentada el 12 de noviembre de 1936 y publicada por primera vez en 1937 con el título ‹On Computable Numbers, with an Application to the Entscheidungsproblem›». El pin es la presentación, que es el acto fechado; el número de Proceedings of the London Mathematical Society que la recoge está fechado en 1937.- Inicio
- 12 nov 193690% DE CONFIANZAfuente
Turing presenta On Computable Numbers
Traducido automáticamente del original
Título original: Turing Submits On Computable Numbers
Alan Turing presenta «On Computable Numbers, with an Application to the Entscheidungsproblem» a la London Mathematical Society. El artículo define la máquina abstracta que se convirtió en el modelo de todos los ordenadores construidos desde entonces y demuestra que el Entscheidungsproblem es indecidible.
- Turing presentó «On Computable Numbers, with an Application to the Entscheidungsproblem» el 12 de noviembre de 1936; se publicó por primera vez en 1937[2]
- Fue la segunda demostración, tras el teorema de Church, de que el Entscheidungsproblem de Hilbert no tiene solución: hay preguntas puramente matemáticas de sí o no que nunca pueden responderse mediante el cálculo[2]
- Turing publicó «A Correction» en 1938[2]
- La máquina abstracta que el artículo define para construir su argumento es el modelo de computación con el que se ha medido todo ordenador de programa almacenado desde entonces[1][3]