Alan turing

INTRODUÇÃO

Este trabalho se destina a abordar um tema que tem grande relevância para a história da Lógica: A vida de Alan Turing, quem ele foi, o que fez e o qual a relevância de seus estudos para a atualidade. Ao longo desse texto, será possível conhecer um pouco da história desse matemático britânico brilhante que faleceu no início dos anos 50.

1. QUEM FOI ALAN TURING ?

Alan Mathison Turing nasceu em 23 de junho de 1912 em Londres, filho de um oficial britânico, Julius Mathison e Ethel Sara Turing. Seu interesse pela ciência começou cedo, logo que aprendeu a ler e escrever, distraia-se fatorando números de hinos religiosos e desenhando bicicletas anfíbias. A maior parte do seu trabalho foi realizado no serviço de espionagem, durante a 2ª Grande Guerra, levando-o somente por volta de 1975 a ser considerado como um dos grandes nomes na História da Computação.
Em 1928, Alan começou a estudar a Teoria da Relatividade, conhecendo Christopher Morcom, que o influenciou profundamente. Morcom morreu em 1930 e Alan se motivou a fazer o que o amigo não teve tempo. Durante anos trocou correspondências com a mãe de Morcom a respeito das idéias do amigo e se maravilhou com a possibilidade de resolver problemas com a teoria mecânica quântica.Chegou inclusive a escrever sobre a possibilidade do espírito sobreviver após a morte.
Depois de concluir o mestrado em King's College (1935) e receber o Smith's prize em 1936 com um trabalho sobre a Teoria das Probabilidades, Turing se enveredou pela área da computação. Sua preocupação era saber o que efetivamente a computação poderia fazer. As respostas vieram sob a forma teórica com a projeção da Turing Universal Machine, que de acordo com um sistema formal, faria operações computacionais. Mostrou como um simples sistema automático poderia manipular símbolos de um sistema de regras próprias. A máquina teórica de Turing pode indicar que sistemas poderosos poderiam ser construídos. Tornou possível o processamento de