Alan Turing

Alan Mathison Turing
Marcondes A. S Filho
Fabrício Alves Rodrigues
Serviço Nacional de Aprendizagem Comercial
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.
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 ideias do amigo e se maravilhou com a possibilidade de resolver problemas com a teoria mecânica quântica.
Em 1936, com a idade de 24 anos, Alan M.Turing consagrou-se como um dos maiores matemáticos do seu tempo quando fez provou aos seus colegas que era possível executar operações computacionais sobre a teoria dos números por meio de uma máquina que tivesse embutidas as regras de um sistema formal. Embora propriamente não existisse tal máquina, Turing enfatizou desde o início que tais mecanismos poderiam ser construídos. Sua descoberta abriu uma nova perspectiva no esforço de formalizar a matemática, e, ao mesmo tempo, marcou fortemente a história da computação.
Em sua brilhante solução para um dos problemas chave discutidos pelos formalistas, Alan Turing descreveu em termos matematicamente precisos como um sistema formal automático, com regras muito simples de operação. Um sistema formal automático é um dispositivo físico que manipula automaticamente os símbolos de um sistema formal de acordo com as regras dele. A máquina teórica de Turing era tanto um exemplo da sua teoria da computação como uma prova de que certos tipos de máquinas computacionais poderiam, de fato, serem construídas.
Quando ele uniu matemática e lógica na forma de uma máquina, Turing tornou possíveis sistemas processadores de símbolos. Propôs ainda que a grande maioria dos problemas inteligíveis poderia