King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
CONFIRMADOConfiança da data: CONFIRMADOInformado como definitivoQuão firme a fonte é sobre a data: confirmada, agendada, estimada, adiada ou não verificada.Mostrar todos os pins CONFIRMADO88% 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 maisO 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.[1]
Alan Turing submete “On Computable Numbers, with an Application to the Entscheidungsproblem” à London Mathematical Society. O artigo define a máquina abstrata que virou o modelo de todo computador construído desde então e prova que o Entscheidungsproblem é indecidível.
1.00
Cavendish Laboratory
