Alan Turing

Alan Turing
Turing no momento da sua eleição para Sociedade do Royal Society
Nascido	Alan Mathison Turing (1912/06/23) 23 de junho de 1912 Maida Vale, Londres, Inglaterra, Reino Unido
Morreu	07 de junho de 1954 (1954/06/07) (idade 41) Wilmslow, Cheshire, Inglaterra, Reino Unido
Residência	Reino Unido
Nacionalidade	Britânico
Campos	Matemática , Criptoanálise, Informática
Instituições	Universidade de Cambridge Código de Governo e Escola Cypher Laboratório Nacional de Física University of Manchester
Alma mater	Faculdade do rei, Cambridge Universidade de Princeton
Tese	System of Logic baseado em ordinais (1938)
Conselheiro doutoral	Alonzo Church
Os estudantes de doutorado	Robin Gandy
Conhecido por	Problema da parada Máquina de Turing Criptoanálise da Enigma Motor Computing automática Turing Award Teste de Turing Padrões de Turing
Prêmios Notáveis	Oficial da Ordem do Império Britânico Fellow da Royal Society

Alan Mathison Turing, OBE, FRS (pron .: / tj ʊər ɪ ŋ / TEWR ing; 23 de junho de 1912 - 07 de junho de 1954), era um britânico matemático , lógico , cryptanalyst, e cientista da computação. Ele foi muito influente no desenvolvimento da ciência da computação , dando uma formalização dos conceitos de " algoritmo "e" computação "com o Turing máquina, que pode ser considerada um modelo de um computador de uso geral. Turing é amplamente considerado o pai da ciência da computação e inteligência artificial.

Durante a Segunda Guerra Mundial , Turing trabalhou para o Código de Governo e Escola Cypher (GC & CS) em Bletchley Park, Grã-Bretanha centro codebreaking. Por um tempo ele foi chefe de Hut 8, a seção responsável pela criptoanálise naval alemã. Ele desenvolveu uma série de técnicas para quebrar Alemão cifras, incluindo o método do bombe, uma máquina eletromecânica que poderia encontrar definições para a máquina Enigma .

Após a guerra, ele trabalhou no National Physical Laboratory, onde projetou o ACE, um dos primeiros modelos de um computador de programa armazenado. Em 1948, Turing se juntou Laboratório de Computação de Max Newman Universidade de Manchester, onde ele ajudou no desenvolvimento do Computadores Manchester e tornou-se interessado em biologia matemática. Ele escreveu um artigo sobre a base química da morfogênese, e previu oscilantes reacções químicas , tais como a Reação Belousov-Zhabotinsky, que foram observadas pela primeira vez na década de 1960.

Turing de homossexualidade resultou em um processo criminal em 1952, quando os atos homossexuais ainda eram ilegal no Reino Unido. Ele aceitou o tratamento com hormônios femininos ( castração química), como alternativa à prisão. Turing morreu em 1954, pouco mais de duas semanas antes de seu 42o aniversário, a partir de envenenamento por cianeto. Um inquérito determinou que sua morte foi suicídio; sua mãe e alguns outros acreditavam que sua morte foi acidental. Em 10 de setembro de 2009, na sequência de um Campanha na Internet, primeiro-ministro britânico Gordon Brown fez um pedido público de desculpas oficial em nome do governo britânico para "a maneira terrível ele foi tratado". A partir de maio de 2012, uma A conta de membro privado era antes da House of Lords , que iria conceder um Turing legal perdoem se promulgada.

Início da vida e carreira

Turing nasceu em Londres, enquanto seu pai estava em licença de sua posição com o Serviço Civil indiano (ICS) em Chhatrapur, Odisha, em Índia britânica. O pai de Turing, Julius Mathison Turing (1873-1947), era filho de um clérigo de uma família escocesa de comerciantes que tinham sido baseada na Holanda e incluiu um baronet. A esposa de Júlio, a mãe de Alan, foi Ethel Sara ( née Stoney; 1881-1976), filha de Edward Waller Stoney, engenheiro-chefe da Madras Railways. Os stoneys foram um Protestante Anglo-Irlandês família pequena nobreza de ambos Condado de Tipperary e County Longford, enquanto Ethel tinha se passou grande parte de sua infância em County Clare. Julius trabalho "com os ICS trouxe a família para a Índia britânica, onde seu avô tinha sido um general no Exército Bengal. No entanto, tanto Julius e Ethel queria que seus filhos sejam educados na Inglaterra, para que eles se mudaram para Maida Vale, Londres, onde Turing nasceu em 23 de junho de 1912, conforme registrado por um placa azul do lado de fora da casa de seu nascimento, mais tarde, o Colonnade Hotel. Ele tinha um irmão mais velho, John (o pai de Sir John Dermot Turing, 12 Baronet do Turing baronetes). Comissão de seu pai serviço público ainda estava ativo, e durante os anos da infância de seus pais Turing viajou entre Hastings, na Inglaterra e na Índia, deixando seus dois filhos para ficar com um aposentado Casal Exército. Muito cedo na vida, Turing mostrou sinais de gênio ele era posterior para exibir de forma destacada.

Seus pais o matricularam em St Michael, um dia de escola em 20 Charles Road, St Leonards-on-Sea, com a idade de seis. A diretora reconheceu o seu talento desde cedo, como fizeram muitos de seus educadores subsequentes. Em 1926, com a idade de 13, ele passou a Sherborne School, uma escola independente bem conhecido na cidade de mercado Sherborne em Dorset. O primeiro dia de mandato coincidiu com o 1926 Greve Geral na Grã-Bretanha, mas tão determinado que ele estava a assistir que ele andava de bicicleta desacompanhada mais de 60 milhas (97 quilômetros) a partir de Southampton para Sherborne, parando durante a noite em uma pousada.

Kings College, em Cambridge , onde a sala de computador tem o nome de Turing, que se tornou um estudante lá em 1931 e Fellow em 1935

Inclinação natural de Turing em direção a matemática ea ciência não ganhar-lhe respeito com alguns dos professores em Sherborne, cuja definição de educação colocada mais ênfase na clássicos. Seu diretor escreveu para seus pais: "Eu espero que ele não vai cair entre duas cadeiras Se ele é ficar na escola pública, deve ter por objectivo tornar-se educado Se ele é ser exclusivamente uma Especialista Científico, ele está desperdiçando seu tempo em.. uma escola pública ". Apesar disso, Turing continuou a mostrar habilidade notável nos estudos que ele amava, resolvendo problemas avançados em 1927 sem ter elementar até estudou cálculo . Em 1928, com 16 anos, Turing encontrou Albert Einstein trabalho 's; ele não só compreendê-lo, mas ele extrapolou questionamento de Einstein Leis de Newton a partir de um texto em que isso nunca foi feito explícito.

No Sherborne, Turing formaram uma amizade importante com o colega Christopher Morcom aluno, que forneceu a inspiração em seus futuros empreendimentos de Turing. No entanto, a amizade foi interrompida pela morte de Morcom em fevereiro 1930 de complicações de tuberculose bovina contratada depois de beber leite de vaca infectada alguns anos antes. Este evento quebrou a fé religiosa de Turing. Ele se tornou um ateu e aprovou a convicção de que todos os fenômenos, incluindo o funcionamento do cérebro humano, deve ser materialista, mas ele ainda acreditava na sobrevivência do espírito após a morte.

Universidade e trabalhar em computability

Alan Turing memorial estátua em Sackville Park, Manchester

Depois de Sherborne, Turing estudada como um estudante na Faculdade do rei , Cambridge 1931-1934, onde ganhou honras de primeira classe em Matemática . Em 1935, na tenra idade de 22, ele foi eleito companheiro no King é sobre a força de uma dissertação em que ele provou o teorema do limite central, apesar do fato de que ele não tinha conseguido descobrir que ele já tinha sido provada em 1922 por Jarl Waldemar Lindeberg.

Em 1928, o matemático alemão David Hilbert tinha chamado a atenção para a Entscheidungsproblem (problema de decisão). Em seu papel importante "sobre números computáveis, com um aplicativo para o Entscheidungsproblem" (apresentado em 28 de Maio 1936 e emitido em 12 de Novembro), Turing reformulado 1.931 resultados de Kurt Gödel sobre os limites da prova e computação, substituindo linguagem baseada em aritmética universal de Gödel formal com os dispositivos hipotéticos formais e simples que se tornou conhecido como Máquinas de Turing. Ele provou que algum tal máquina seria capaz de realizar qualquer cálculo matemático concebível se fosse representável como um algoritmo . Ele passou a provar que não houve solução para o Entscheidungsproblem pelo primeiro mostrando que o problema da parada para as máquinas de Turing é indecidible: em geral, não é possível decidir se um determinado através de algoritmos máquina de Turing nunca irá parar.

Embora a prova de Turing foi publicado pouco depois Prova equivalente de Alonzo Church usando seu lambda calculus, Turing não tinha conhecimento do trabalho da Igreja. A abordagem de Turing é consideravelmente mais acessível e intuitiva do que a Igreja de. Foi também romance em sua noção de uma "máquina universal" (agora conhecido como Universal máquina de Turing), com a idéia que tal máquina poderia assumir as funções de qualquer outra máquina, ou em outras palavras, é comprovadamente capaz de computar qualquer coisa que é computável. Von Neumann reconheceu que o conceito central do computador moderno deveu-se esse papel. Máquinas de Turing são até hoje um objeto central de estudo em teoria da computação.

De setembro de 1936 a julho 1938, ele passou a maior parte de seu tempo estudando sob Church at Universidade de Princeton . Além de seu trabalho puramente matemático, estudou criptologia e também construiu três das quatro fases de um multiplicador de binário electro-mecânica. Em junho de 1938, ele obteve seu doutorado em Princeton; sua dissertação, Sistemas de lógica baseada em ordinais, introduziu o conceito de lógica ordinal ea noção de computação relativa, onde máquinas de Turing são aumentadas com o chamado oráculos, permitindo um estudo de problemas que não podem ser resolvidos por uma máquina de Turing.

Quando Turing retornou a Cambridge, ele participou de conferências dadas por Ludwig Wittgenstein sobre o fundamentos da matemática. Os dois discutiram e discordou, com Turing defender formalismo e Wittgenstein propondo sua visão de que a matemática não descobre qualquer verdades absolutas, mas sim inventa-los. Ele também começou a trabalhar a tempo parcial com o Código e Cypher Escola de Governo (GCCS).

Criptoanálise

Duas casas no quintal estável na Bletchley Park. Turing trabalhou aqui em 1939 e 1940, antes de se mudar para Hut 8.

Durante a Segunda Guerra Mundial, Turing foi um participante liderando a quebra de cifras alemãs Bletchley Park. O historiador e codebreaker de guerra Asa Briggs disse:

Você precisava de talento excepcional, você precisava de gênio em Bletchley e Turing era de que o gênio.

De setembro de 1938, Turing tinha estado a trabalhar a tempo parcial com o Código de Governo e Escola Cypher (GCCS), a organização de código quebra britânico. Ele se concentrou em Criptoanálise da Enigma, com Dilly Knox, um codebreaker sênior GCCS. Logo após a julho de 1939 Varsóvia reunião em que o Polonês Cipher Bureau tinha fornecido os britânicos e franceses com os detalhes da fiação de Rotores Enigma e seu método de decriptografar mensagens da Enigma, Turing e Knox começou a trabalhar em uma abordagem menos frágil para o problema. O método polonês contou com um inseguro procedimento indicador de que os alemães estavam propensos a mudar, o que fizeram em maio de 1940. A abordagem de Turing era mais geral, usando descriptografia baseada no berço para que ele produziu a especificação funcional do bombe (uma melhoria do polonês Bomba).

Em 4 de setembro de 1939, um dia após o Reino Unido declarou guerra à Alemanha, Turing relatado para Bletchley Park, a estação de tempo de guerra de GCCS. Especificando o bombe foi o primeiro de cinco grandes avanços cryptanalytical que Turing feitas durante a guerra. Os outros foram: deduzir o procedimento indicador utilizado pela marinha alemã; o desenvolvimento de um procedimento estatístico para fazer um uso mais eficiente dos bombes dublados Banburismus; o desenvolvimento de um processo de elaboração das definições de came de as rodas do Lorenz SZ 40/42 (Atum) apelidado Turingery e, para o fim da guerra, o desenvolvimento de um sistema portátil scrambler de voz segura em Hanslope Park, que recebeu o codinome Delilah.

Usando técnicas estatísticas para otimizar o julgamento de diferentes possibilidades no processo de quebra de código, Turing fez uma contribuição inovadora ao assunto. Ele escreveu dois artigos que discutem abordagens matemáticas que tinham direito Relatório sobre as aplicações de probabilidade à criptografia e Papel em estatísticas de repetições, que foram de tal valor para GCCS e seu sucessor GCHQ, que não foram liberados para o Arquivos Nacionais do Reino Unido até Abril de 2012, pouco antes do centenário de seu nascimento. Um matemático GCHQ disse na época que o fato de que o conteúdo havia sido restrita para cerca de 70 anos demonstrou a sua importância.

Turing tinha algo de uma reputação de excentricidade em Bletchley Park. Ele era conhecido por seus colegas como "Prof" e seu tratado sobre a Enigma era conhecido como "O Livro dos Prof '. Jack Good, um criptoanalista que trabalhou com ele, é citado por Ronald Lewin como tendo dito de Turing:

na primeira semana de Junho de cada ano ele iria receber um mau ataque de febre do feno, e ele iria ciclo para o escritório vestindo uma máscara de gás serviço para manter o pólen fora. Sua bicicleta tinha uma falha: a cadeia iria sair em intervalos regulares. Em vez de ter que remendado ele iria contar o número de vezes que os pedais deu a volta e iria ficar fora da bicicleta em tempo para ajustar a corrente com a mão. Outra de suas excentricidades é que ele acorrentado a sua caneca para os tubos do radiador para evitar que seja roubado.

Enquanto trabalhava em Bletchley, Turing, um corredor talentoso de longa distância, de vez em quando correu os 40 milhas (64 quilômetros) a Londres, quando ele era necessário para reuniões de alto nível, e ele foi capaz de normas maratona de classe mundial.

Em 1945, Turing foi premiado com o OBE pelo rei George VI por seus serviços em tempo de guerra, mas seu trabalho se manteve em segredo por muitos anos.

Turing-Welchman bombe

Uma réplica completa e de trabalho de um bombe no Centro Nacional de códigos em Bletchley Park

Poucas semanas depois de chegar em Bletchley Park, Turing tinha especificado uma máquina eletromecânica que poderia ajudar a quebrar Enigma de forma mais eficaz do que o polonês bomba kryptologiczna, a partir do qual seu nome foi derivado. O bombe, com uma melhoria sugerida pelo matemático Gordon Welchman, tornou-se uma das principais ferramentas, e a maior delas automatizado, usado para atacar mensagens Enigma-enciphered.

Jack Good opinou:

Contribuição mais importante de Turing, penso eu, era de uma parte do projeto da bombe, a máquina cryptanalytic. Ele teve a idéia de que você poderia usar, com efeito, um teorema na lógica que soa ao ouvido destreinado um pouco absurdo; ou seja, que a partir de uma contradição, você pode deduzir tudo.

O bombe procurou possíveis configurações corretas usados para uma mensagem de Enigma (ou seja, configurações de ordem rotor do rotor e as configurações no quadro de tomadas), usando uma adequada berço: um fragmento de provável texto simples. Para cada configuração possível dos rotores (que tinha da ordem de 10 ¹⁹ estados, ou 10 ²² para os quatro-rotor variante U-boat), o bombe realizada uma cadeia de deduções lógicas com base no berço, implementado eletricamente. O bombe detectado quando uma contradição tivesse ocorrido, e descartou que a criação, de passar para a próxima. A maior parte das configurações possíveis causaria contradições e ser descartada, deixando apenas algumas a ser investigada em detalhe. O primeiro bombe foi instalado em 18 de março de 1940.

No outono de 1941, Turing e seus colegas cryptanalysts Gordon Welchman, Hugh Alexander, e Stuart Milner-Barry foram frustrados. Com base na trabalho brilhante dos poloneses, eles haviam montado um bom sistema de trabalho para descodificar sinais Enigma mas eles só tinha algumas pessoas e algumas bombes para que eles não têm tempo para traduzir todos os sinais. No verão, eles tinham tido um sucesso considerável e transporte perdas haviam caído para menos de 100 mil toneladas por mês, mas eles ainda estavam no fio da navalha. Eles mal necessários mais recursos para manter a par de ajustamentos alemães. Eles haviam tentado conseguir mais pessoas e financiar mais bombes através dos canais apropriados, mas eles estavam chegando a lugar nenhum. Finalmente, quebrando todas as regras, em 28 de outubro que escreveu diretamente para Churchill ortografia das suas dificuldades. Eles enfatizaram o quão pequena sua necessidade foi comparado com a grande despesa de homens e dinheiro por parte das forças e em comparação com o nível de assistência que poderia oferecer às forças.

O efeito foi elétrico, Churchill escreveu um memorando para Geral Ismay que dizia: "ESTE DIA AÇÃO Certifique-se de que eles têm tudo o que querem em extrema prioridade e informar-me que isso foi feito.". Em 18 de novembro, o chefe do serviço secreto informou que todas as medidas possíveis estava sendo levado. Mais de duas centenas de bombes estavam em operação até o final da guerra.

Hut 8 e Naval Enigma

Estátua de Turing por Stephen Chaleira em Bletchley Park, encomendado pelo filantropo americano Sidney Frank.

Turing decidiu atacar o problema particularmente difícil de Alemão naval Enigma "porque ninguém mais estava fazendo nada sobre isso e eu poderia tê-lo para mim mesmo". Em dezembro de 1939, Turing resolveu a parte essencial do naval indicador de sistema, que era mais complexo do que os sistemas de indicadores utilizados pelos outros serviços. Naquela mesma noite, ele também concebeu a idéia de Banburismus, uma técnica estatística sequencial (o que Abraham Wald mais tarde chamado análise sequencial) para ajudar a romper naval Enigma, "embora eu não tinha certeza de que iria funcionar na prática, e não foi, de facto certeza até alguns dias tinha realmente quebrado". Para isso, ele inventou uma medida de peso da evidência que ele chamou de Ban. Banburismus poderia descartar certas sequências dos rotores Enigma, reduzindo substancialmente o tempo necessário para testar configurações nas bombes.

Em 1941, Turing propôs casamento a Hut 8 colega de trabalho Joan Clarke, um matemático e cryptanalyst companheiro, mas sua contratação foi de curta duração. Depois de admitir sua homossexualidade para sua noiva, que era supostamente "imperturbável" pela revelação, Turing decidiu que ele não poderia ir em frente com o casamento.

Turing viajou para os Estados Unidos em novembro de 1942 e trabalhou com cryptanalysts Naval da Marinha dos EUA sobre Enigma e construção bombe em Washington. Ele visitou a sua Laboratório de Computação da máquina em Dayton, Ohio. Sua reação ao projeto americano Bombe estava longe de ser entusiasmado:

É uma pena para eles sair de seu caminho para construir uma máquina para fazer tudo isso de paragem se não for necessário. Agora estou convertido para a extensão de pensar que começar do zero no projeto de um Bombe, este método é quase tão bom quanto o nosso. O programa americano Bombe era produzir 336 Bombes, um para cada ordem de roda. Eu costumava sorrir interiormente com a concepção do ensaio (de comutadores) dificilmente pode ser considerado conclusivo, pois não estavam testando para o salto com parada eletrônica encontrar dispositivos.

Durante esta viagem, ele também ajudou a Bell Labs com o desenvolvimento de dispositivos de voz seguras.

Ele voltou a Bletchley Park, em março de 1943. Durante a sua ausência, Hugh Alexander assumiu oficialmente o cargo de chefe de Hut 8, embora Alexander tinha sido de facto cabeça por algum tempo-Turing ter pouco interesse na gestão do dia-a-dia da seção. Turing tornou-se um consultor geral para a criptoanálise em Bletchley Park.

Alexander escreveu o seguinte sobre sua contribuição:

Não deve haver nenhuma dúvida na mente de ninguém que o trabalho de Turing foi o fator mais importante no sucesso de Hut 8. Nos primeiros dias ele foi o único criptógrafo que pensavam que o problema vale a pena enfrentar e não só ele foi o principal responsável pela principal obra teórica dentro da cabana, mas ele também compartilhado com Welchman e Keen o chefe de crédito para a invenção do Bombe. É sempre difícil dizer que ninguém é absolutamente indispensável mas se alguém era indispensável para Hut 8 foi Turing. O trabalho do pioneiro sempre tende a ser esquecido quando a experiência e rotina depois fazem tudo parecer fácil e muitos de nós em Hut 8 sentiram que a magnitude da contribuição de Turing não foi integralmente realizado pelo mundo exterior.

Turingery

Em julho de 1942, Turing desenvolveu uma técnica denominada Turingery (ou brincando Turingismus) para uso contra o Lorenz mensagens cifra produzidos pela nova Geheimschreiber dos alemães (escritor secreto) da máquina. Este foi um teleimpressor apego rotor cifra codinome Atum em Bletchley Park. Turingery era um método de roda de quebra, ou seja, um procedimento para elaborar as configurações de cames de rodas de Atum. Ele também apresentou a equipe de Atum Tommy Flores que, sob a orientação de Max Newman, passou a construir o Computador Colossus, o primeiro computador digital programável do mundo eletrônico, que substituiu uma máquina mais simples antes (o Heath Robinson), e cuja velocidade superior, permitiu que as técnicas de descriptografia estatísticos a ser aplicada utilmente para as mensagens. Alguns têm erroneamente disse que Turing foi uma figura chave na concepção do Computador Colossus. Turingery ea abordagem estatística de Banburismus sem dúvida alimentado no pensamento sobre criptoanálise da cifra Lorenz, mas ele não estava diretamente envolvido no desenvolvimento Colossus.

Dispositivo discurso seguro (Dalila)

Seguindo seu trabalho na Bell Labs em os EUA, Turing perseguido a ideia de enciphering eletrônico de expressão no sistema telefônico, e na última parte da guerra, ele se mudou para trabalhar para a Rádio Serviço de Segurança do Serviço Secreto (mais tarde HMGCC) a Hanslope Park. Lá ele desenvolveu ainda mais seu conhecimento de eletrônica com a assistência do engenheiro Donald Bayley. Juntos, eles se comprometeram a concepção e construção de um portátil comunicações de voz seguras máquina codinome Delilah. Pretendia-se para diferentes aplicações, sem capacidade para utilizar com transmissões rádio de longa distância, e em qualquer caso, Dalila foi concluído demasiado tarde para ser usado durante a guerra. Embora o sistema funcionou plenamente, com Turing demonstrando a funcionários por criptografar e descriptografar uma gravação de um Winston Churchill fala, Dalila não foi aprovada para uso. O sistema de Delilah não tinha mais de 30 válvula de envelopes em cada unidade, e seria mais 15 anos antes que os sistemas em uso apanhados com ele.

Turing também consultou Bell Labs sobre o desenvolvimento de SIGSALY, um sistema de voz seguro que foi usado nos últimos anos da guerra.

Os primeiros computadores eo teste de Turing

De 1945 a 1947, Turing viveu em Richmond, Londres, enquanto ele trabalhou no projeto do ACE (Automatic Computing Engine) no National Physical Laboratory (NPL). Ele apresentou um documento em 19 de fevereiro de 1946, que foi o primeiro projeto detalhado de um computador de programa armazenado. Von Neumann 's incompleta Primeiro esboço de um relatório sobre o EDVAC tinha antecedeu o artigo de Turing, mas era muito menos detalhada e, de acordo com John R. Womersley, Superintendente da Divisão de Matemática NPL, que "contém uma série de ideias que são próprios do Dr. Turing". Embora ACE era um projeto viável, o segredo que envolve o trabalho de guerra em Bletchley Park levou a atrasos no arranque do projecto e ele tornou-se desiludido. No final de 1947, ele retornou a Cambridge para um ano sabático, durante o qual ele produziu uma obra seminal em Machinery inteligente, que não foi publicado em sua vida. Enquanto ele estava na Universidade de Cambridge, o ACE piloto estava sendo construído na sua ausência. Ele executou seu primeiro programa em 10 de Maio de 1950. Embora a versão completa do ACE de Turing foi construída nunca, um número de computadores ao redor do mundo devem muito a ele, por exemplo, o Inglês Elétrica DEUCE eo norte-americano Bendix G-15.

De acordo com as memórias do pioneiro da computação alemão Heinz faturamento da Instituto Max Planck de Física, publicado pela Genscher, Düsseldorf (1997), houve uma reunião entre Alan Turing e Konrad Zuse. Aconteceu em Göttingen em 1947. O interrogatório tinha a forma de um colóquio. Os participantes foram Womersley, Turing, Porter da Inglaterra e alguns pesquisadores alemães como Zuse, Walther, e Billing. (Para mais detalhes veja Herbert Bruderer, Konrad Zuse und die Schweiz).

Em 1948, ele foi nomeado Leitor na Departamento de Matemática da Universidade de Manchester. Em 1949, ele se tornou vice-diretor do Laboratório de Computação lá, trabalhando em software para um dos primeiros computadores de programa armazenado-o Manchester Mark 1. Durante este tempo ele continuou a fazer o trabalho mais abstrato em matemática, e em " Computadores e inteligência "(Mente, outubro de 1950), Turing abordou o problema da inteligência artificial, e propôs uma experiência que se tornou conhecido como o Teste de Turing, uma tentativa de definir um padrão para uma máquina para ser chamado de "inteligente". A idéia era que um computador poderia ser dito para "pensar" se um interrogador humano não poderia dizer isso à parte, através de conversa, de um ser humano. No papel, Turing sugeriu que ao invés de construir um programa para simular a mente adulta, seria melhor, em vez de produzir uma mais simples para simular a mente de uma criança e, em seguida, submetê-lo a um curso de educação. A forma invertida do teste de Turing é amplamente utilizado na Internet; o CAPTCHA teste destina-se a determinar se o utilizador é um ser humano ou de um computador.

Em 1948, Turing, trabalhando com seu ex-colega de graduação, DG Champernowne, começou a escrever um xadrez programa para um computador que ainda não existia. Em 1950, o programa foi concluído e apelidado de Turbochamp. Em 1952, ele tentou implementá-lo em um Ferranti Mark 1, mas com falta de energia suficiente, o computador foi incapaz de executar o programa. Em vez disso, Turing jogou um jogo em que ele simulou o computador, levando cerca de meia hora por jogada. O jogo foi gravado. O programa perdeu para o colega de Turing Alick Glennie, embora seja dito que ele venceu um jogo contra a esposa de Champernowne.

Sua Teste de Turing foi uma contribuição significativa e caracteristicamente provocativas e duradoura para o debate sobre inteligência artificial, que continua depois de mais de meio século.

Ele também inventou o LU método de decomposição em 1948, usado hoje para resolver equações matriciais.

Formação de padrões e biologia matemática

Turing trabalhou de 1952 até sua morte em 1954 em biologia matemática, especificamente morfogênese. Ele publicou um artigo sobre o assunto chamado A base química da morfogênese em 1952, fazendo brotar a hipótese Turing da formação de padrões. Seu interesse central no campo estava entendendo Fibonacci phyllotaxis, a existência de números de Fibonacci em estruturas da planta. Ele usou equações de reação-difusão que são centrais para o campo da formação de padrões. Trabalhos posteriores foi inédito até 1992, quando Collected Works of AM Turing foi publicado. Sua contribuição é considerado uma peça seminal de trabalho neste campo. A sobre-expressão de genes Hox provoca um aumento do número de dígitos (até 14), em ratinhos, demonstrando um mecanismo de Turing no desenvolvimento da mão.

Condenação por indecência

Em janeiro de 1952, Turing começou um relacionamento com um 19-year-old homem desempregado, Arnold Murray, com quem se encontrou fora do Regal Cinema ao caminhar para baixo do Manchester Oxford Road pouco antes do Natal e tinha convidado para almoçar. Em 23 de Janeiro de casa de Turing foi assaltado. Murray disse Turing que o assaltante era um conhecido seu, e Turing comunicado o crime à polícia. Durante a investigação, ele reconheceu uma relação sexual com Murray. Os atos homossexuais eram ilegais no Reino Unido na época, e ambos foram acusados de atentado violento ao pudor sob Secção 11 do Criminal Law Amendment Act de 1885. Inicial processo comprometedoras para o julgamento ocorreu em 27 de fevereiro, onde Turing de solicitor "reservado a sua defesa". Mais tarde, convencido pelo conselho de seu irmão e outros advogados, Turing entrou um apelo de "culpado", apesar do fato de que ele não sentiu nenhum remorso ou culpa por ter cometido atos criminosos de homossexualidade. O caso, Regina v. Turing e Murray, foi levado a julgamento em 31 de Março de 1952, em que Turing foi condenado, e dada a escolha entre prisão ou liberdade condicional condicional em seu acordo para submeter hormonal tratamento concebido para reduzir libido. Ele aceitou a opção de tratamento através de injecções de estilbestrol, um material sintético estrogênio; este tratamento foi continuado durante o curso de um ano. O tratamento prestado Turing impotente e causou ginecomastia, cumprindo, no sentido literal, a previsão de Turing que "sem dúvida vou sair de tudo um homem diferente, mas bastante que eu não descobri". Murray foi dada uma descarga condicional.

A convicção de Turing levou à remoção de seu certificado de segurança, e barrou-o de continuar com sua consultoria de criptografia para o Governo Communications Headquarters (GCHQ), o britânico sinais agência de inteligência que tinha evoluído de GCCS em 1946. Na época, havia uma ansiedade aguda pública sobre o aprisionamento homossexual de espiões por agentes soviéticos, devido à recente exposição dos dois primeiros membros da Cambridge Five, Guy Burgess e Donald Maclean, como KGB agentes duplos. Turing não foi acusado de espionagem, mas, em comum com todos os que tinha trabalhado em Bletchley Park, foi impedido de discutir seu trabalho guerra pela Lei de Segredos Oficial.

Morte

Em 8 de Junho de 1954, limpador de Turing encontrou morto. Ele havia morrido no dia anterior. A exame post-mortem estabelecido que a causa da morte foi envenenamento por cianeto. Quando seu corpo foi descoberto, uma maçã leigos meio comido ao lado de sua cama, e, embora a Apple não foi testado por cianeto, foi especulado que este foi o meio pelo qual uma dose fatal foi consumidos. Essa suspeita foi reforçada quando o seu fascínio com Branca de Neve e os Sete Anões foi revelado, especialmente a transformação da Rainha para a Feiticeira eo ambiguidade da maçã envenenada. Um inquérito determinou que ele tinha cometido suicídio, e ele foi cremado no crematório Woking em 12 de Junho de 1954. cinzas de Turing foram espalhados em Woking Crematório, Woking, Surrey, Inglaterra, assim como seu pai era.

Hodges e David Leavitt sugeriram que Turing foi reencenando uma cena do 1937 Walt Disney filme Branca de Neve , o seu favorito conto de fadas, ambos observando que (nas palavras de Leavitt), ele tomou "um prazer especialmente interessada na cena em que a Rainha Malvada submerge sua maçã na poção venenosa ". Esta interpretação foi apoiada em um artigo no The Guardian escrito pelo amigo de Turing, o autor Alan Garner, em 2011.

Professor de Filosofia Jack Copeland questionou vários aspectos do histórico veredicto do médico legista, sugerindo a explicação alternativa da inalação acidental de vapores de cianeto de um aparelho para o ouro galvanoplastia colheres, usando cianeto de potássio para dissolver o ouro , que Turing tinha criado em seu minúsculo quarto de reposição. Copeland observa que os resultados da autópsia foram mais consistentes com a inalação do que com a ingestão do veneno. Turing também comemos habitualmente uma maçã antes de dormir, e não era incomum para que possa ser descartado meio comido. Além disso, Turing tinha alegadamente suportadas seus reveses legais e tratamento hormonal (que tinha sido interrompido um ano antes) "com bom humor" e não demonstrou nenhum sinal de desânimo antes de sua morte, de fato, estabelecendo uma lista de tarefas que pretendia para completar após o regresso ao seu escritório depois do fim de semana do feriado. Na época, a mãe de Turing acreditavam que a ingestão foi acidental, causado por armazenamento descuidado de seu filho de produtos químicos de laboratório. Biógrafo Andrew Hodges sugere que Turing pode ter arranjado o experimento cianeto deliberadamente, para dar a sua mãe um pouco negação plausível.

Reconhecimento e homenagens

A marcação azul casa de Turing em placa Wilmslow, Cheshire

Uma biografia publicada pela Royal Society logo após a morte de Turing, enquanto o seu trabalho durante a guerra ainda estava sujeita à Ato de Segredos Oficiais, registradas:

Três trabalhos notáveis escritos pouco antes da guerra, em três assuntos diversos matemáticos, mostrar a qualidade do trabalho que podem ter sido produzidas se ele tivesse se estabeleceram para trabalhar em algum grande problema nesse momento crítico. Por seu trabalho no Ministério do Exterior, ele foi premiado com o OBE.

Desde 1966, o Turing Award foi dado anualmente pela Association for Computing Machinery para as contribuições técnicas ou teóricas para a comunidade de computação. Ele é amplamente considerado como a maior honra do mundo da computação, equivalente ao Prêmio Nobel.

Quebrando o Código é um jogo de 1986 pelo Hugh Whitemore sobre Alan Turing. O jogo correu em West End de Londres a partir de Novembro de 1986 e na Broadway a partir de 15 Novembro de 1987 e 10 de Abril de 1988. Houve também um 1996 BBC produção de televisão (transmitida nos Estados Unidos por PBS). Em todas as três performances Turing foi jogado por Derek Jacobi. A produção da Broadway foi nomeado para três Tony Awards, incluindo Melhor Ator em Play, Melhor Ator caracterizada em um jogo, e Melhor Direção de um jogar, e para dois Drama Desk Awards, de Melhor Ator e Melhor Ator em destaque.

Em 23 de junho de 1998, sobre o que teria sido o aniversário 86 de Turing, seu biógrafo, Andrew Hodges, revelou um funcionário Património Inglês azul placa na sua terra natal e casa de infância em Warrington Crescent, Londres, mais tarde, o Colonnade Hotel. Para marcar o 50º aniversário de sua morte, uma placa memorial foi inaugurada em 7 de Junho de 2004, em sua antiga residência, Hollymeade, em Wilmslow, Cheshire.

Em 13 de Março de 2000, São Vicente e Granadinas emitiu um conjunto de selos postais para comemorar as maiores conquistas do século 20, um dos quais carrega um retrato de Turing contra um fundo de 0s e 1s repetidas, e é legendadas: "1937: A teoria de Alan Turing da computação digital ". Em 1 de Abril de 2003, o trabalho de Turing em Bletchley Park foi nomeado um IEEE Milestone. Em 28 de Outubro de 2004, uma estátua de bronze de Alan Turing esculpida por John W. Mills foi revelado na Universidade de Surrey, em Guildford, marcando o 50º aniversário da morte de Turing; ele retrata-o carregando seus livros em todo o campus. Em 2006, Boston Orgulho nomeados Turing sua Honorário Grande Marechal.

Turing foi um dos quatro matemáticos examinados no documentário da BBC de 2008, intitulada "O conhecimento Dangerous". O Princeton Alumni Weekly chamado Turing o segundo aluno mais significativo na história da Universidade de Princeton , perdendo apenas para o presidente James Madison . Uma estátua de 1,5 toneladas, em tamanho natural de Turing foi apresentado em 19 de Junho de 2007, Bletchley Park. Construído a partir de cerca de meio milhão de peças de Welsh ardósia, que foi esculpida por Stephen Chaleira, tendo sido encomendado pelo bilionário americano tarde Sidney Frank.

Turing foi homenageado em várias maneiras em Manchester , a cidade onde ele trabalhou para o fim de sua vida. Em 1994, um trecho da estrada A6010 (o Manchester City Road anel intermediário) foi nomeado "Alan Turing Way". Uma ponte levando esta estrada foi alargada, e leva o nome Alan Turing Bridge. A estátua de Turing foi revelado em Manchester em 23 de Junho de 2001, em Sackville Park, entre o edifício da Universidade de Manchester em Whitworth Street e do Canal Street aldeia gay. O memorial estátua, descreve o "pai da Ciência da Computação" sentado em um banco em uma posição central no parque.

Turing estátua placa memorial em Sackville Park, Manchester

Turing é mostrado segurando uma maçã-símbolo classicamente usados ​​para representar o amor proibido, o objeto que inspirou Isaac Newton teoria da gravitação 's, e os meios de assumidas própria morte de Turing. O banco bronze fundido carrega em relevo o texto 'Alan Mathison Turing 1912-1954 ", eo lema" Fundador de Ciência da Computação ", como seria se codificado por uma máquina Enigma : 'IEKYF ROMSI ADXUO KVKZC GUBJ'.

Um plinto aos pés da estátua diz 'Pai da ciência da computação, matemático, lógico, codebreaker tempo de guerra, vítima de preconceito ". Há também uma Bertrand Russell cotação que diz 'Matemática, com razão, visto, possui não somente a verdade, mas a beleza-a suprema beleza fria e austera, como a de escultura. " O escultor enterrado seu antigo computador Amstrad, que foi um computador para casa mais cedo popular, sob o pedestal, como um tributo ao "o padrinho de todos os computadores modernos".

Em 1999, a revista Time nomeou Turing como uma das 100 pessoas mais importantes do século 20 e declarou: "O fato é que todo aquele que bate em um teclado, abrindo uma planilha ou um programa de processamento de texto, está trabalhando em uma encarnação de uma máquina de Turing ". Turing é destaque em 1999 Neal Stephenson romance Cryptonomicon .

Em 2002, Turing foi classificado em vigésimo primeiro na pesquisa nacional BBC dos 100 Maiores Britânicos. Em 2006 o escritor e matemático britânico Ioan James escolheu Turing como uma das vinte pessoas que apresentam em seu livro sobre figuras históricas famosas que podem ter tido alguns dos traços da síndrome de Asperger . Em 2010, o ator / dramaturgo Jade Esteban Estrada retratado Turing no musical solo, ícones: A Lesbian and Gay história do mundo, Vol. 4 . Em 2011, no The Guardian série "My Hero", o escritor Alan Turing Garner escolheu como seu herói e descreveu como eles se conheceram enquanto fora de jogging no início de 1950. Garner lembrado Turing como "engraçado e espirituoso" e disse que ele "falava sem parar".

Em fevereiro de 2011, os papéis de Turing desde a Segunda Guerra Mundial foram comprados para a nação com um lance de 11 horas peloFundo Nacional Heritage Memorial, permitindo-lhes ficar em Bletchley Park.

Em novembro de 2011,Channel 4exibiu o docudrama grande Codebreaker da Grã-Bretanhasobre a vida de Turing.

O logotipo da Apple Computer é muitas vezes erroneamente referido como uma homenagem a Alan Turing, com a mordida marcar uma referência ao seu método de suicídio. Tanto o designer do logotipo e da empresa negam que haja qualquer homenagem a Turing no design do logotipo. Stephen Fry tem contou pedindo Steve Jobs se o projeto foi intencional, dizendo que a resposta de Jobs foi: "Deus, queremos que ela foram. "

The Rainbow Festival Turing, realizada emMadurai, Índia em 2012 para celebrar acausa LGBT, foi nomeado em homenagem a Alan Turing.

Pedido de desculpas do governo e apoio perdão

Em agosto de 2009, John Graham-Cumming iniciou uma petição exigindo que o Governo britânico a pedir desculpas póstumo a Alan Turing para processar ele como um homossexual. A petição recebeu milhares de assinaturas. O primeiro-ministro Gordon Brown admitiu a petição, liberando uma declaração em 10 de setembro de 2009 pedindo desculpas e descrevendo o tratamento de Turing como "terrível":

Milhares de pessoas se reuniram para exigir justiça para Alan Turing eo reconhecimento do caminho aterrador ele foi tratado. Embora Turing foi tratada no âmbito da lei do tempo e não podemos colocar o relógio para trás, seu tratamento foi, naturalmente, totalmente injusto e estou contente por ter a oportunidade de dizer o quão profundamente pesaroso que eu e todos nós são para o que aconteceu com ele ... Então, em nome do governo britânico, e todos aqueles que vivem em liberdade graças ao trabalho de Alan Estou muito orgulhoso de dizer: desculpe, você merecia muito mais.

Em dezembro de 2011, William Jones criou um e-petição solicitando o perdão do governo britânico Alan Turing para a sua condenação de "-atentado violento ao pudor":

Pedimos ao Governo de Sua Majestade para conceder um perdão a Alan Turing para a condenação de "atentado violento ao pudor". Em 1952, ele foi condenado por "atentado violento ao pudor" com outro homem e foi forçado a submeter-se a chamada "organo-terapia" - castração química. Dois anos depois, ele se matou com cianeto, envelhecido apenas 41. Alan Turing foi levado a uma terrível desespero e morte precoce pela nação que ele tinha feito muito para salvar. Esta continua a ser uma vergonha para o governo do Reino Unido e da história do Reino Unido. O perdão pode ir para alguma forma de cura deste dano. Ele pode atuar como um pedido de desculpas para muitos dos outros homens gays, não tão bem conhecidas como Alan Turing, que foram submetidos a estas leis.

A petição tem mais de 34 mil assinaturas, mas o pedido foi recusado porLord McNally:

Um perdão póstumo não foi considerado apropriado como Alan Turing foi devidamente condenados do que na época era uma ofensa criminal. Ele teria sabido que sua ofensa foi contra a lei e que ele seria processado. É trágico que Alan Turing foi condenado por um delito que agora parece cruel e absurdo, particularmente pungente dada a sua excepcional contribuição para o esforço de guerra. No entanto, a lei no tempo necessário um processo e, como tal política, de longa data tem sido a de aceitar que tais convicções teve lugar e, em vez de tentar alterar o contexto histórico e para corrigir o que não pode ser corrigido, garantindo antes que nunca mais voltar a esses tempos.

Em 26 de Julho de 2012, uma conta foi introduzida na Câmara dos Lordes para dar um perdão legal de Turing por delitos sob a seção 11 da Lei Criminal Amendment Act 1885 dos quais ele foi condenado em 31 de Março de 1952. No final do ano, em uma carta aoDaily Telegraph,Stephen Hawking, o físico, e 10 outros signatários, incluindoLord Rees, oastrônomo real, SirPaul Nurse,presidente da Royal Society eLady Trumpington, que trabalhava para Turing durante a guerra, chamado em primeiro-ministro britânicoDavid Cameronpara agir sobre o pedido perdão.

Homenagens por universidades

O Alan Turing Edifício da Universidade de Manchester

• O Turing Room at theUniversity of Escola de Informática de Edimburgo abriga um busto de Turing porEduardo Paolozzi, e um conjunto (# 42/50) das suas impressões de Turing (2000).
• O Universidade de Surrey tem uma estátua de Turing em sua praça principal e um dos edifícios da Faculdade de Engenharia e Ciências Físicas é nomeado após ele.
• Istambul Bilgi University organiza uma conferência anual sobre a teoria da computação chamado "Turing Days".
• O Universidade do Texas em Austin tem um programa de honras de ciência da computação chamado os estudiosos de Turing.
• No início de 1960da Universidade de Stanford chamado a sala de aula sola do edifício Polya Salão Matemática "Alan Turing Auditorium".
• Um dos anfiteatros do departamento de Ciência da Computação (LIFL) naUniversidade de Lille, nonorte da França é nomeado em homenagem a Alan Turing M. (o outro anfiteatro é nomeado apósKurt Gödel).
• O Departamento de Ciência da Computação naPontifícia Universidade Católica do Chile, aUniversidade de Buenos Aires, aUniversidade Politécnica de Porto Rico,Los Universidade dos Andes, emBogotá, Colômbia,Faculdade do rei, Cambridge,Universidade de Bangor, em Wales, as Universidades deGand eMons em Bélgica, aUniversidade de Turim (Università degli Studi di Torino), aUniversidade de Porto Rico em Humacao,Universidade Keele, eaUniversidade de Washington tem laboratórios de informática em homenagem a Turing.
• O Universidade de Manchester, aOpen University,Oxford Brookes University eUniversidade de Aarhus (emAarhus, Dinamarca), todos têm as construções nomeadas após Turing.
• Alan Turing Road em Surrey Research Park tem o nome de Alan Turing.
• Carnegie Mellon University tem uma bancada em granito, situado no Hornbostel Mall, com o nome de "AM Turing" esculpida na parte de cima, "Ler" para baixo da perna esquerda, e "Write" para o outro.
• Os École Internationale des Sciences de l'du Traitement Informações nomeou seu terceiro edifício recentemente adquirido "Turing".
• O Universidade de Oregon tem um busto de Turing no lado do Deschutes Hall, o prédio de ciência da computação.
• O École Polytechnique Fédérale de Lausanne tem uma estrada e uma praça em homenagem a Alan Turing (Chemin de Alan Turing e Place de Alan Turing).

Comemorações do centenário

Para marcar o 100º aniversário do nascimento de Turing, o Comitê de Turing Centenary Advisory (TCAC) está coordenando o Ano Alan Turing, um programa de eventos em todo o mundo que honram a vida e as realizações de Turing de um ano. O TCAC, presidida por S. Barry Cooper com o sobrinho de Alan Turing Sir John Dermot Turing na qualidade de Presidente Honorário, está trabalhando com as Universidade de Manchester membros do corpo docente e um amplo espectro de pessoas da Universidade de Cambridge e Bletchley Park.

Em 23 de junho de 2012,o Googleapresentou um interativodo doodle onde os visitantes tiveram que mudar as instruções de uma máquina de Turing, por isso, quando executado, os símbolos na fita iria coincidir com uma seqüência fornecida, caracterizando "Google" nocódigo Baudot-Murray.

O Bletchley Park Confiança colaborou com vencimento Moves para publicar uma edição Alan Turing do jogo de tabuleiro Monopoly . Praças e cartões do jogo foram revistos para contar a história da vida de Alan Turing, a partir de seu local de nascimento em Maida Vale para Hut 8 em Bletchley Park. O jogo também inclui uma réplica de uma placa desenhado mão original criado por William Newman, filho do mentor de Turing, Max Newman, que Turing jogado em na década de 1950.

Celebrações do Reino Unido

OLondon 2012 Olympic Torch chama foi passada na frente da estátua de Turing em Manchester em seu 100º aniversário.

Muitos eventos pedra angular ocorreu. Houve uma conferência de três dias em Manchester, Reino Unido, em junho, uma conferência de dois dias em San Francisco, Califórnia, organizada pela ACM, e uma festa de aniversário e Turing Conferência Centenário em Cambridge organizado pelo Kings College, Cambridge e da Universidade de Cambridge, este último organizado pela associação Computability na Europa.

O Museu da Ciência em Londres lançou uma exposição livre dedicado à vida e realizações de Turing em Junho de 2012, a ser executado até julho de 2013. Em fevereiro de 2012, o Royal Mail emitiu um selo que caracteriza Turing como parte sua "Britânicos de Distinção" série. O London 2012 Olympic Torch chama foi passada na frente da estátua de Turing em Sackville Gardens, Manchester , na noite de 23 de Junho de 2012, o 100º aniversário de seu nascimento.

Em 22 de junho de 2012Manchester City Council, em parceria com aFundação Lesbian & Gay lançou a Alan Turing Memorial Award, que vai reconhecer indivíduos ou grupos que fizeram uma contribuição significativa para a luta contra a homofobia em Manchester.

Celebrações anteriores de vida e as realizações de Turing incluem um evento organizado pelo Logic Colloquium britânico eaSociedade Britânica de História da Matemática, que foi realizada em 5 de Junho de 2000.