Verificar os eventos mais memoráveis 30 November 1936 d.C..
Em 1936, Turing publicou seu artigo "On Computable Numbers, with an Application to the Entscheidungsproblem". Foi publicado no periódico Proceedings of the London Mathematical Society em duas partes, a primeira em 30 de novembro e a segunda em 23 de dezembro.
Turing publicou seu artigo "On Computable Numbers, with an Application to the Entscheidungsproblem". Foi publicado no periódico Proceedings of the London Mathematical Society em duas partes, a primeira em 30 de novembro e a segunda em 23 de dezembro. Neste artigo, Turing reformulou os resultados de 1931 de Kurt Gödel sobre os limites da prova e da computação, substituindo a linguagem formal baseada em aritmética universal de Gödel pelos dispositivos hipotéticos formais e simples que ficaram conhecidos como máquinas de Turing. O Entscheidungsproblem (problema de decisão) foi originalmente proposto pelo matemático alemão David Hilbert em 1928. Turing provou que sua "máquina de computação universal" seria capaz de realizar qualquer computação matemática concebível se fosse representável como um algoritmo. Ele provou que não havia solução para o problema de decisão ao mostrar primeiro que o problema da parada para máquinas de Turing é indecidível: não é possível decidir algoritmicamente se uma máquina de Turing irá parar.
Em 1936, Turing publicou seu artigo "On Computable Numbers, with an Application to the Entscheidungsproblem". Foi publicado no periódico Proceedings of the London Mathematical Society em duas partes, a primeira em 30 de novembro e a segunda em 23 de dezembro.
Turing publicou seu artigo "On Computable Numbers, with an Application to the Entscheidungsproblem". Foi publicado no periódico Proceedings of the London Mathematical Society em duas partes, a primeira em 30 de novembro e a segunda em 23 de dezembro. Neste artigo, Turing reformulou os resultados de 1931 de Kurt Gödel sobre os limites da prova e da computação, substituindo a linguagem formal baseada em aritmética universal de Gödel pelos dispositivos hipotéticos formais e simples que ficaram conhecidos como máquinas de Turing. O Entscheidungsproblem (problema de decisão) foi originalmente proposto pelo matemático alemão David Hilbert em 1928. Turing provou que sua "máquina de computação universal" seria capaz de realizar qualquer computação matemática concebível se fosse representável como um algoritmo. Ele provou que não havia solução para o problema de decisão ao mostrar primeiro que o problema da parada para máquinas de Turing é indecidível: não é possível decidir algoritmicamente se uma máquina de Turing irá parar.
