Alan Mathison Turing (Londres, 23 de junho de 1912 – Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico. Turing foi altamente influente no desenvolvimento da moderna ciência da computação teórica, proporcionando uma formalização dos conceitos de algoritmo e computação com a máquina de Turing, que pode ser considerada um modelo de um computador de uso geral. Ele é amplamente considerado o pai da ciência da computação teórica e da inteligência artificial. Apesar dessas realizações ele nunca foi totalmente reconhecido em seu país de origem durante sua vida por ser homossexual e porque grande parte de seu trabalho foi coberto pela Lei de Segredos Oficiais.
Durante a Segunda Guerra Mundial, Turing trabalhou para a Escola de Código e Cifras do Governo (GC&CS) em Bletchley Park, o centro britânico de criptoanálise que produzia ultra inteligência. Por um tempo ele liderou a Hut 8, a seção responsável pela análise criptográfica naval alemã. Lá ele desenvolveu várias técnicas para acelerar a quebra das cifras alemãs, incluindo melhorias no método de bombardeio polonês antes da guerra, bem como uma máquina eletromecânica que poderia encontrar configurações para a máquina Enigma. Turing desempenhou um papel crucial na quebra de mensagens codificadas interceptadas que permitiram aos Aliados derrotar os nazistas em muitos compromissos cruciais, incluindo a Batalha do Atlântico, e ao fazê-lo os ajudou a vencer a guerra. Devido aos problemas da história contrafactual, é difícil estimar o efeito preciso que a inteligência ultra teve na guerraSee for example and mas foi estimado que este trabalho encurtou a guerra na Europa em mais de dois anos e salvou mais de 14 milhões de vidas.
Após a guerra Turing trabalhou no Laboratório Nacional de Física, onde projetou o Mecanismo de Computação Automática, um dos primeiros projetos para um computador de programa armazenado. Em 1948 Turing ingressou no Laboratório de Máquinas de Computação de Max Newman, na Victoria University de Manchester, onde ajudou a desenvolver os computadores de Manchester e se interessou por biologia matemática. Ele escreveu um artigo sobre as bases químicas da morfogênese e previu reações químicas oscilantes, como a reação de Belousov – Zhabotinsky, observada pela primeira vez na década de 1960.
Turing foi processado judicialmente em 1952 por atos homossexuais: a Emenda Labouchere de 1885 determinara que "atentado ao pudor" era uma ofensa criminal no Reino Unido. Ele aceitou o tratamento de castração química, com dietilestilbestrol, como alternativa à prisão. Turing morreu em 1954, 16 dias antes de seu 42º aniversário, por envenenamento por cianeto. Um inquérito determinou sua morte como suicídio, mas se observou que a evidência conhecida também é consistente com envenenamento acidental. Em 2009, após uma campanha na Internet, o primeiro-ministro britânico Gordon Brown fez um pedido de desculpas público e oficial a Turing em nome do governo britânico pela "maneira terrível como foi tratado". A rainha Elizabeth II concedeu a Turing um perdão póstumo em 2013. A "lei Alan Turing" é agora um termo informal para uma lei britânica de 2017 que retroativamente perdoou homens advertidos ou condenados sob a legislação histórica que proibia atos homossexuais.
Infância e educação Família Turing nasceu em Maida Vale, Londres, enquanto seu pai, Julius Mathison Turing (1873-1947), estava de licença de seu cargo no Serviço Civil Indiano (ICS) em Chatrapur, atual estado de Odisha, na Índia. O pai de Turing era filho de um clérigo, o Rev. John Robert Turing, de uma família escocesa de comerciantes sediada nos Países Baixos e que incluía um baronete. A mãe de Turing, esposa de Julius, era Ethel Sara Turing (1881–1976), filha de Edward Waller Stoney, engenheiro chefe das Ferrovias Madras. Os Stoneys eram uma família de nobres protestantes anglo-irlandeses do condado Tipperary e do condado Longford, enquanto Ethel passara grande parte de sua infância no condado Clare.Phil Maguire, "An Irishman's Diary", p. 5. The Irish Times, 23 de junho de 2012.
O trabalho de Júlio com o ICS levou a família à Índia britânica, onde seu avô fora general do Exército de Bengala. No entanto, Julius e Ethel queriam que seus filhos fossem criados na Grã-Bretanha, então eles se mudaram para Maida Vale, Londres, onde Alan Turing nasceu em 23 de junho de 1912, como registrado por uma placa azul na parte externa da casa de seu nascimento,The Scientific Tourist In London: #17 Alan Turing's Birth Place , Nature. London Blog mais tarde, transformada no Hotel Colonnade. Turing tinha um irmão mais velho, John (o pai de Sir John Dermot Turing, 12º baronete dos baronetes Turing).Sir John Dermot Turing on the Bletchley Park website.
A comissão de serviço público do pai de Turing ainda estava ativa e, durante os anos de infância de Turing, seus pais viajaram entre Hastings, no Reino Unido, e a Índia, deixando seus dois filhos com um casal aposentado do Exército. Em Hastings, Turing ficou no Baston Lodge, Upper Maze Hill, St. Leonards-on-Sea, agora também marcado com uma placa azul. A placa foi revelada em 23 de junho de 2012, o centenário do seu nascimento.
Muito cedo na vida, Turing mostrou sinais da genialidade que mais tarde exibiria com destaque. Seus pais compraram uma casa em Guildford em 1927 e Turing viveu lá durante as férias escolares. O local também é marcado com uma placa azul.
Escola miniatura|180px|Turing em 1928, aos dezesseis anos de idade
Seus pais o matricularam na St. Michael's, uma escola diurna em Charles Road, 20, St. Leonards-on-Sea, aos seis anos de idade. A diretora reconheceu seu talento desde o início, assim como muitos de seus professores. Entre janeiro de 1922 e 1926, Turing foi educado na Hazelhurst Preparatory School, uma escola independente na vila de Frant em Sussex (atualmente East Sussex). Em 1926, aos 13 anos, ingressou na Sherborne School, um internato independente na cidade comercial de Sherborne, em Dorset. O primeiro dia de aula coincidiu com a Greve Geral de 1926, na Grã-Bretanha, mas Turing estava tão determinado a participar, que andou de bicicleta desacompanhado pelos 97 quilômetros que separam Southampton de Sherborne, parando durante a noite em uma pousada.
A sua inclinação natural para a matemática e as ciências não lhe valeu o respeito de alguns dos professores de Sherborne, cuja definição de educação enfatizava mais os clássicos. O diretor escreveu aos pais: "Espero que ele não caia entre dois bancos. Se ele vai permanecer na escola pública, ele deve ter como objetivo ser educado. Se ele vai ser apenas um especialista científico, está perdendo tempo em uma escola pública". Apesar disto, Turing continuou demonstrando notável capacidade nos estudos que amava, resolvendo problemas avançados em 1927 sem ter estudado sequer cálculo elementar. Em 1928, aos 16 anos, entrou em contato com o trabalho de Albert Einstein; não apenas ele o compreendeu, mas é possível que ele tenha conseguido deduzir o questionamento de Einstein das leis de Newton a partir de um texto em que isso nunca foi explicitado.
Christopher Morcom Em Sherborne, Turing formou uma amizade significativa com o colega Christopher Collan Morcom (13 de julho de 1911 – 13 de fevereiro de 1930), que foi descrito como o seu "primeiro amor". O relacionamento deles inspirou os empreendimentos futuros de Turing, mas foi interrompido pela morte de Morcom, em fevereiro de 1930, de complicações da tuberculose bovina, contraída após beber o leite de vaca infectado alguns anos antes.Rachel Hassall, 'The Sherborne Formula: The Making of Alan Turing' 'Vivat!' 2012/13
O evento lhe causou grande tristeza. Ele lidou com sua dor trabalhando com muito mais empenho nos tópicos de ciências e matemática que havia compartilhado com Morcom. Em uma carta para a mãe de Morcom, Frances Isobel Morcom (nascida Swan), Turing escreveu:
Seu relacionamento com a mãe de Morcom continuou muito depois da morte dele, com ela mandando presentes para Turing e ele mandando cartas, normalmente nos aniversários de Morcom. Um dia antes do terceiro aniversário da morte de Morcom (13 de fevereiro de 1933), ele escreveu à Sra. Morcom:
Alguns especularam que a morte de Morcom foi a causa do ateísmo e do materialismo de Turing.Paul Gray, Alan Turing Time Magazine's Most Important People of the Century, p. 2 Aparentemente, neste ponto de sua vida, ele ainda acreditava em conceitos como um espírito, independente do corpo e sobrevivendo à morte. Em uma carta posterior, também escrita para a mãe de Morcom, Turing escreveu:
Universidade e trabalho em computabilidade Depois de Sherborne, Turing estudou de 1931 a 1934 no King's College, Cambridge, onde foi agraciado com honras de primeira classe em matemática. Em 1935, aos 22 anos, foi eleito fellow do King's College com base em uma dissertação na qual provou o teorema central do limite.See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2 Decembre 2009 Journal Electronique d'Histoire des Probabilités et de la Statistique Fato desconhecido pelo comitê, o teorema já havia sido comprovado, em 1922, por Jarl Waldemar Lindeberg. Uma placa azul na faculdade foi revelada no centenário de seu nascimento em 23 de junho de 2012 e agora está instalada no edifício Keynes da faculdade no King's Parade.
Em 1936, Turing publicou seu artigo "Sobre números computáveis, com uma Aplicação ao Entscheidungsproblem". Foi publicado no periódico Proceedings of London Mathematical Society em duas partes, a primeira em 30 de novembro e a segunda em 23 de dezembro.
miniatura|King's College, Cambridge, onde Turing foi estudante em 1931 e tornou-se fellow em 1935. A sala de computadores tem o nome dele.
Embora a prova de Turing tenha sido publicada logo após a prova equivalente de Alonzo Church usando seu cálculo lambda, a abordagem de Turing é consideravelmente mais acessível e intuitiva do que a de Church. Também incluía a noção de uma "Máquina Universal" (agora conhecida como máquina universal de Turing), com a ideia de que essa máquina poderia executar as tarefas de qualquer outra máquina de computação (como de fato o cálculo lambda de Church). De acordo com a tese de Church-Turing, as máquinas de Turing e o cálculo lambda são capazes de computar qualquer coisa que seja computável. John von Neumann reconheceu que o conceito central do computador moderno se devia ao artigo de Turing.Carta de Stanley Frankel a Brian Randell, 1972, citada por Jack Copeland (2004) em The Essential Turing, p. 22.
De setembro de 1936 a julho de 1938, Turing passou a maior parte do tempo estudando na Igreja da Universidade de Princeton, em seu segundo ano como bolsista. Além de seu trabalho puramente matemático, estudou criptologia e também construiu três dos quatro estágios de um multiplicador binário eletromecânico. Em junho de 1938, ele obteve seu PhD no Departamento de Matemática de Princeton; sua dissertação, Sistemas de Lógica Baseada em Ordinais, introduziu o conceito de lógica ordinal e a noção de computação relativa, onde as máquinas de Turing são aumentadas com os chamados oráculos, permitindo o estudo de problemas que não podem ser resolvidos por máquinas de Turing. John von Neumann queria contratá-lo como seu assistente de pós-doutorado, mas ele voltou para o Reino Unido.John Von Neumann: The Scientific Genius Who Pioneered the Modern Computer, Game Theory, Nuclear Deterrence, and Much More, Norman MacRae, 1999, American Mathematical Society, Chapter 8
Carreira e pesquisa