- Início
- 12 de nov. de 193690% DE CONFIANÇAde a fonte
Turing submete On Computable Numbers
Traduzido automaticamente do original
Título original: Turing Submits On Computable Numbers
- Turing submeteu “On Computable Numbers, with an Application to the Entscheidungsproblem” em 12 de novembro de 1936; foi publicado pela primeira vez em 1937[2]
- Foi a segunda prova, depois do teorema de Church, de que o Entscheidungsproblem de Hilbert não tem solução: de que algumas perguntas puramente matemáticas de sim ou não nunca podem ser respondidas por computação[2]
- Turing publicou “A Correction” em 1938[2]
- A máquina abstrata que o artigo define para sustentar o argumento é o modelo de computação com o qual todo computador de programa armazenado desde então é comparado[1][3]
Referências 388% DE CONFIANÇAConfiança geral: 88%Quanto a fonte e as referências do pin sustentam suas datas.Média ponderada de quanto 3 referências, incluindo a fonte, sustentam os horários de início e fim do pin; uma referência conta metade a cada 180 dias a mais em relação à mais recenteMostrar todos os pins com confiança de 75% ou mais
A primeira entrada é sempre a fonte do pin. A confiança geral é uma média ponderada de quanto cada referência sustenta os horários de início e fim usados acima; uma referência conta metade a cada 180 dias a mais em relação à mais recente.
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· Postado em 22 de set. de 2026· Início 12 de nov. de 1936 ✓· 33% da pontuação
O artigo da Wikipédia sobre a prova de Turing data a submissão sem ressalvas: “A prova de Turing é uma prova de Alan Turing submetida em 12 de novembro de 1936 e publicada pela primeira vez em 1937 com o título ‘On Computable Numbers, with an Application to the Entscheidungsproblem’.” O pin é a submissão, que é o ato datado; a edição dos Proceedings of the London Mathematical Society que a traz é datada de 1937.
- [2]90%Turing's proofen.wikipedia.org· Adicionado em 22 de set. de 2026· 33% da pontuação
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".[1]
- [3]85%Alan Turingen.wikipedia.org· Adicionado em 22 de set. de 2026· 33% da pontuação
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
Sugerir uma correção
Falta algo ou há um erro? Diga com suas palavras: um link que sustente este pin, uma data de início ou fim diferente e por quê, ou um fato que falta ou está errado. A IA confere isso com as fontes do pin, procura outras melhores e adiciona qualquer página que dê razão a você. As fontes do próprio pin continuam contando mais. Uma imagem que mostra outra coisa, ou mostra mal, também é analisada e rebaixada ou substituída.
